Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

5-8 January 2015, Fourteenth Asian Logic Conference (ALC 2015), Mumbai, India

Date: 5-8 January 2015
Location: Mumbai, India
Deadline: 29 September 2014

The Asian Logic Conference series is sponsored by the Association for Symbolic Logic and the meetings are major international events in mathematical logic. The series features the latest scientific developments in the fields in mathematical logic and applications, logic in computer science, and philosophical logics. It also aims at promoting activities of mathematical logic in the Asia-Pacific region and bringing logicians both from within Asia and elsewhere together to exchange information and ideas.

The programme will cover a wide range of topics and will feature plenary lectures presented by leading specialists in every major area of mathematical logic. In addition there will be many contributed talks. The conference topics include, but are not limited to: Set Theory; Model theory; Recursion Theory; Proof theory; Computability Theory; Algebraic Structures; Logical Aspects of Computation; Philosophical Logic.

Conference page: http://www.cse.iitb.ac.in/~alc15/index.html

All the abstracts of contributed talks should be submitted through Easychair by the deadline of September 29th, 2014.

Please note that this newsitem has been archived, and may contain outdated information or links.