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-6 April 2001, Workshop 'Tableaux for Dynamic and Modal Logics'

5-6 April 2001, Workshop 'Tableaux for Dynamic and Modal Logics'
Title: Tableau for Dynamic And Modal Logics.
Date and Time: Thursday April 5 and Friday April 6, 2001, starting at 10:00.
Location: (Thursday) Euclides Building, Plantage Muidergracht 24, Room P.016; (Friday) Roetersstraatcomplex, Roetersstraat 15, Room A.102

The Computational Logic and Dissemination of Logic groups at ILLC, University of Amsterdam are holding a small informal workshop on 'Tableau Methods With Applications To Dynamic And Modal Logics. The aim of the workshop is explore links between recent local work and recent work elsewhere and to exchange ideas. The workshop is to be held in Amsterdam, at ILLC, on Thursday April 5 and Friday April 6.

'We would like to invite you to come over and take part in this event. Thanks to sponsorship from the Spinoza project Logic in Action, we can cover your local expenses and part of your travel expenses. Also, if you wish, we can book your hotel for you. We realize this is rather short notice, but please note that this is an informal event.'

Further details, with a schedule of the program and electronic links to draft papers, can be found at: http://www.cwi.nl/~jve/tableaux/. This workshop is sponsored by the Spinoza project Logic in Action.

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