Please note that this newsitem has been archived, and may contain outdated information or links.
2-6 March 2015, Jaist Logic Workshop Series 2015 "Constructivism and Computability", Kanazawa, Japan
JAIST Logic Workshop Series is a workshop series bringing together researchers from mathematical logic and its application, especially to artificial intelligence and software science. Each workshop has its own focus on a specific area of research in mathematical logic and its application. In 2015, JAIST Logic Workshop Series focuses on 'Constructivism and Computability', aiming at interaction and knowledge transfer between constructive mathematics and computability theory.
For more information, see http://www.jaist.ac.jp/is/labs/ishihara-lab/jlws2015/
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submissions of short abstracts (1 page in PDF format) are accepted through easychair.org. Deadline for abstract submissions: November 30.
Please note that this newsitem has been archived, and may contain outdated information or links.