EEF Foundations Summer School
on
Logical Methods
at
BRICS
Aarhus, June 25-July 6, 2001

Organized by computer science research centers

	BRICS Basic Research in Computer Science, Denmark
	IPA Institute for Programming Research and Algorithmics, The Netherlands
	TUCS Turku Centre for Computer Science, Finland
	UKII The UK Institute of Informatics, United Kingdom
	IP Italian interuniversitary Partnership, Italy
	GI A new german consortium is going to appear here

Who Should Attend?

Grants

Registration:

List of Participants.

Pages for Participants: Questionnaire and Pictures.

Topics and Speakers:

• Marc Bezem (Bergen):
  Type Theory (abstract)

• Roy L. Crole (Leicester):
  Categorical Logic (abstract)

• Ulrich Kohlenbach (Aarhus):
  Computational Content of Proofs (abstract)

• Orna Kupferman (Jerusalem):
  Model Checking (abstract)

• Johann Makowsky (Haifa):
  Model theoretic methods in combinatorics and complexity (abstract)

• Andre Scedrov (Philadelphia):
  Logic in Computer Security (abstract)

• Carsten Schuermann (Yale):
  Logical Frameworks (abstract)

• John Tucker (Swansea):
  Computable functions on many sorted algebras

• Andrei Voronkov (Manchester):
  Proof Theory and Model Theory of Automated Deduction (abstract)

• Igor Walukiewicz (Warsaw):
  Automata and Logic (abstract)

Travel Information

Organizing Committee at BRICS

• Janne Kroun Christensen(Secretary)
  
• Ulrich Kohlenbach
  
• Mogens Nielsen
  
• Glynn Winskel.

Contact