AILA - Associazione Italiana di Logica e sue Applicazioni

Eventi di logica

Seminari, workshop, conferenze, scuole di interesse per gli studiosi di logica. Per segnalare un evento, scrivere a hykel.hosni [at] sns.it

ManyVal'10 Beyond algebraic semantics: bridging intended and formal interpretations of many-valued logics May 3-5, 2010, Varese, Italy.

ManyVal is a series of international workshops on the logical and algebraic aspects of many-valued reasoning. The aim of the workshops is to gather both established and young researchers sharing an interest for a specific topic. Accordingly, each edition has a sharp focus. The attendance is limited in order to facilitate close and informal interaction. There are no parallel sessions. Contributed talks are allocated ample time. Please see the conference website for further information: http://manyval.dsi.unimi.it

One Hundred Years Since Gerhardt Gentzen’s Birthday

3 April 2009, Department of Philosophy of the University of Florence, via Bolognese 52, Firenze. For information, please contact cantini@philos.unifi.it or moriconi@fls.unipi.it

Philosophy and Foundations of Mathematics - Epistemological and Ontological Aspects (dedicated to Per Martin-Löf on the occasion of his retirement)

May 5-8, 2009, Uppsala, Sweden

Algebra and Probability in Many-Valued Logics

May 7-9, 2009 Darmstadt, Germany.

Philosophy of Mathematics

June 3-5, 2009, New York University

ESI workshop on large cardinals and descriptive set theory

June 14-27 2009, Erwin Schrödinger Institute (ESI), Vienna, Austria

WoLLIC 2009 - 16th Workshop on Logic, Language, Information and Computation

Tokyo, June 21st to 24th, 2009

ECSQARU 2009 - 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty

1-3 July 2009, Verona (Italy)

Logic and Mathematics 2009 - The interaction between ideas or techniques from mathematical logic and other areas of mathematics

3 – 7 August 2009, University of York

Mal'tsev Meeting 2009International conference on algebra, mathematical logic, and applications - dedicated to the 100th anniversary of Anatolii Ivanovich Mal'tsev (1909-1967)

August 24-28, 2009, Novosibirsk (Russia)

Fall school of Logic & Complexity

September 21-25 2009, Prague.

M4M-6 6th Workshop on Methods for Modalities

November 12-14, 2009, Copenhagen

The Alan Turing Year - A Centenary Celebration of the Life and Work of Alan Turing

2012 - Cambridge, Manchester and Bletchley Park.

Eventi a cadenza regolare

Logic Colloquium (ASL European Summer Meeting)

European Summer School in Logic, Language, and Information (ESSLLI)

MATHLOGAPS Training Workshops

MODNET Workshops and Summer Schools

Eventi passati

Trends in Logic VI Logic and the foundations of physics: space, time and quanta

Belgium, Brussels, 11-12 December 2008.