FICS 2013

September 1st, 2013 ‐ Torino, Italy

Sponsors

FICS 2013 is sponsored by

European Association for Computer Science Logic
INRIA
Université Paris-Est Marne-la-Vallée

Thanks to all of them for helping us make FICS 2013 an interesting and fruitful event.

FICS 2013

Homepage
Programme
Invited speakers
Accepted papers
Committees
Sponsors

Navigation

CSL 2013
FICS history

Valid CSS & XHTML. Template design by Arcsin