MLA 2019: Mathematical Logic and its Applications Loria Nancy, France, March 11-14, 2019 |
Conference website | https://mla2019.loria.fr/ |
Submission link | https://easychair.org/conferences/?conf=mla2019 |
Submission deadline | January 15, 2019 |
The 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.
The scope includes (but is not limited to) the following topics and their applications:
- Intuitionistic logic
- Type theory
- Proof theory
- Constructive analysis/topology
- Program extraction
- Reverse mathematics
- Computable analysis/topology
- Recursion theory (Computability theory)
- Non-classical logic
- Computational complexity
Important Dates
Submission: January 15, 2019
Notification: February 1st, 2019
Deadline for registration: February 20, 2019
Workshop: March 11-14, 2019
Submission Guidelines
Extended abstracts (1-2 pages) of original work are welcome.
Upload your submission via Easychair: https://easychair.org/conferences/?conf=mla2019
Committees
Program Committee
- Arnold Beckmann (Swansea)
- Ulrich Berger (Swansea)
- Matthew de Brecht (Kyoto)
- Mathieu Hoyrup (Nancy, co-chair)
- Mizuhito Ogawa (JAIST, co-chair)
- Michael Rathjen (Leeds)
- Hajime Ishihara (JAIST)
- Keita Yokoyama (JAIST)
Organizing committee
- Guillaume Bonfante
- Pascal Fontaine
- Mathieu Hoyrup
Venue
The conference will be held at the computer science laboratory Loria in Nancy, France.
Contact
All questions about submissions should be emailed to mathieu.hoyrup@inria.fr or mizuhito@jaist.ac.jp