Atlas home || Conferences | Abstracts | about Atlas

Constructivism in Non-Classical Logics and Computer Science - In Memoriam Pierangelo Miglioli

September 30 - October 2, 2000

Mantova, Italy

Mathematics

Homepage: http://homes.dsi.unimi.it/~ferram/comm.html

Organizers: S. Ghilardi (Chairman), A. Marcja, F. Montagna, U. Moscato, D. Mundici, M. Ornaghi, G. Rosolini

Deadline for abstracts: June 01, 2000

Description:
Topics of interest of the conference will include:

Intermediate logics; Modal and non-classical logics; Constructive logics and theories; Extraction of information from non-classical proofs; Abstract data types and program synthesis; Tableau calculi for non-classical logics.

Speakers: G. Mints (Stanford), V. Shehtman (Moscow), M. Zakharyaschev (Leeds), H. Ono (Kanazawa), A. Visser (Utrecht), M. Baaz (Wien), H. Wansing (Dresden), M. Mendler (Sheffield), H. Schwichtenberg (Munchen), F. Pfenning (Pittsburgh)

Date received: February 28, 2000

© 2008 Atlas Conferences Inc.