BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//LORIA - ECPv4.9.5//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:LORIA
X-ORIGINAL-URL:http://www.loria.fr
X-WR-CALDESC:Events for LORIA
BEGIN:VTIMEZONE
TZID:"Europe/Paris"
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20190331T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20191027T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;VALUE=DATE:20190311
DTEND;VALUE=DATE:20190315
DTSTAMP:20190819T161858
CREATED:20190208T101437Z
LAST-MODIFIED:20190208T101437Z
UID:6527-1552262400-1552607999@www.loria.fr
SUMMARY:MLA 2019
DESCRIPTION:The Third Workshop on Mathematical Logic and its Applications will take place at Loria between March 11th and March 14th. \nMore information : mla2019.loria.fr \nWorkshop Description\nThe workshop brings together researchers of mathematical logic and its related areas\, and would provide a forum for interplay between these areas. This workshop\, organised by Loria\, will be held as a part of the JSPS Core-to-Core Program “Mathematical Logic and its Applications”\, which is led by Japan Advanced Institute of Science and Technology (JAIST) in cooperation with several institutes both in Japan and abroad. Anyone\, not restricted to the members of the project\, is welcome to participate. \nScope\nThe scope includes (but is not limited to) the following topics and their applications: \n\nIntuitionistic logic\nType theory\nProof theory\nConstructive analysis/topology\nProgram extraction\nReverse mathematics\nComputable analysis/topology\nRecursion theory (Computability theory)\nNon-classical logic\nComputational complexity\n\nSubmission\nExtended abstracts (1-2 pages) of original work are welcome.\nThe deadline is January 28\, 2019.\nUpload your submission via EasyChair. \nImportant dates\nSubmission: January 28\, 2019\nNotification: February 1st\, 2019\nDeadline for registration: February 20\, 2019\nWorkshop: March 11-14\, 2019 \n
URL:http://www.loria.fr/event/mla-2019/
LOCATION:A008
CATEGORIES:Séminaires
END:VEVENT
END:VCALENDAR