BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//LORIA - ECPv4.9.2//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:VEVENT
DTSTART;VALUE=DATE:20190311
DTEND;VALUE=DATE:20190315
DTSTAMP:20190522T205115
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