News

• [31/03/15] Conference Photos are added. The slides are available from Timetable.
• [16/02/15] Information of local restaurants are added.
• [06/02/15] Information of banquet and contributed speakers are added.
• [14/01/15] List of accommodations are available
• [29/10/14] Template and Sample files are now available
• [22/10/14] Submission & Registration Open.
• [01/10/14] JAIST Logic Workshop Series 2015 web page opened!!

Conference Photos

Click the group photo below to view the photos from the conference (only available to participants).

Description

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. Previous workshops have been held in Kanazawa:

• 3rd Workshop on Proof Theory and Rewriting (2013)
• Workshop on Proofs as Processes (2014)
• Kanazawa Workshop for Epistemic Logic and its Dynamic Extensions (2014)

In 2015, JAIST Logic Workshop Series focuses on Constructivism and Computability aiming at interaction and knowledge transfer between constructive mathematics and computability theory. The workshop is held being affiliated with EU FP7 Marie Curie Actions IRSES projects COMPUTAL and CORCON, but is open to all researchers in the areas.

We also have organized the following workshops on constructive mathematics:

• Workshop on Constructivism: Logic and Mathematics (2008)
• Workshop on Constructive Aspects of Logic and Mathematics (2010)

Scope

Constructive mathematics and computability, and related areas including but not limited to:

• intuitionistic logic and type theory
• proof theory
• constructive analysis and topology
• program extraction from proofs
• recursion theory
• computable analysis and topology
• classical/constructive reverse mathematics
• algorithmic randomness
• real number computation
• etc.