Explicit Paradigms
in Logic and Computer Science
About
Contact
Bern, Switzerland
June 4-6, 2012
Program Committee
Gerhard Jäger (Chair)
Roman Kuznets
Thomas Strahm
Thomas Studer
June 4-6, 2012
Bern, Switzerland
Important Dates
Program Committee
Invited Speakers
Abstracts and Slides
Venue
Program