I notebooks dello  

 

 

 

Seminari, convegni e scuole

Siti per informazioni generali

Meeting e congressi nel mondo
Pagina curata dalla Association for Symbolic Logic con molti Link

Pagina eventi della SILFS
Elenco di congressi a cura della Societa' Italiana di Logica e Filosofia della Scienza

Logic Announcements
Pagina sulla logica della WWW Virtual Library

Logic-Related Conferences
Elenco per conferenze e per data

Upcoming Conferences
Elenco per nome, per data e per deadline delle conferenze prevalentemente rivolte alla problematica dei linguaggi di programmazione.

Conferences relevant for Deduction
Pagina ancora in costruzione

In Italia

Scuola AILA di logica
Cesena, 21-25 settembre 1998

Operations, sets and types
Castiglioncello (LI), 3-6 ottobre 1998

Model-based Reasoning in Scientific Discovery
Pavia,17-19 dicembre 1998

Logica e Filosofia delle Scienze 1999
convegno triennale SILFS - Cesena e Urbino, 15-20 febbraio 1999

Context 99
Trento, 9-11 settembre 1999

Congresso su Vailati
Progetto di massima, a cura del Centro Studi Vailati, per un congresso da organizzarsi a Crema nel 1999.

Nel mondo

AIMSA '98 - 8th International Conference on Artificial Intelligence: Methodology, Systems, Applications
Sozopol, Bulgaria, 21-23 settembre 1998

Frontiers of Combining Systems
Amsterdam, 2-4 ottobre 1998

Philosophie et histoire de la logique
Ginevra, semestre invernale 1998/99 (corso di perfezionamento post-laurea a cura di Jonathan Barnes, Alain de Libera, Kevin Mulligan)

11th Logic, Methodology and Philosophy of Science
Cracovia, 20-26 agosto 1999