[FOM] Deadline extension: Workshop on Guarded Logics ESSLLI04

Natasha Alechina nza at cs.nott.ac.uk
Mon Mar 8 05:41:30 EST 2004


Workshop on guarded logics: proof techniques and applications
DEADLINE EXTENSION: new deadline the 19th of March 2004

Workshop web page: http://www.cs.nott.ac.uk/~nza/GF04/
We invite submissions of up to 20 pages on guarded logics, 
their applications and on a wider perspective on decidable fragments.



More information about the FOM mailing list