The European Educational Forum (EEF) is a joint initiative of seven interuniversitary research schools in computer science:

BRICS logo BRICS
Basic Research in Computer Science,
Denmark
IPA logo IPA
Institute for Programming Research and Algorithmics,
The Netherlands
TUCS logo TUCS
Turku Centre for Computer Science,
Finland
UKII logo UKII
The UK Institute of Informatics,
United Kingdom
IP logo IP
Italian interuniversitary Partnership,
Italy
GEFI logo GEFI
German Educational Forum in Informatics,
Germany
  FI
French consortium

EEF involves 43 universities in Denmark, The Netherlands, Finland, Italy, Germany and the United Kingdom. The common denominator of the research schools is the training of Ph.D. students and young researchers. The aim of the EEF is to organize training activities directed at Ph.D. students and young researchers from all over Europe. The research in computer science promoted by all research schools concerns Basic Research and its Applications.

It is the intention of the EEF to organize educational training activities covering a broad spectrum of Basic Research and Applications. The form of the activities may vary a lot: it may take form of a workshop, a school, a topic-focussed conference or a conference presenting a number of topics that are relevant in Basic Research and Applications at the given moment.

The activities of the EEF are coordinated by the Steering Committee, consisting of scientists from the research schools. The Steering Committee consists of

 




Coming activities

Bertinoro international Spring School for Graduate Studies in Computer Science (BiSS 2009) , 2-13 March 2009, Bertinoro (Forli), Italy.

Past activities

8th International School on Formal Methods for the Design of Computer, Communication and Software Systems (FOSAD 2008) , 25-30 August 2008, Bertinoro, Italy.
6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems: Hardware Verification (SFM-06:HV), 22-27 May 2006, Bertinoro, Italy.
11th Estonian Winter School in Computer Science (EWSCS'06), 5-10 March 2006, Palmse, Estonia.
5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems: Mobile Computing (SFM-05:Moby), 26-30 April 2005, Bertinoro, Italy.
10th Estonian Winter School in Computer Science (EWSCS'05), 27 February-4 March 2005, Palmse, Estonia.
Spring School on Infinite Games and their Applications, 15-19 March 2005, Bonn, Germany.
4th International School on Formal Methods for the Design of Computer, Communication, and Software Systems: Real Time , 13-18 September 2004, Bertinoro, Italy.
Fourth International School on Foundations of Security Analysis and Design, 6-11 September 2004, Bertinoro, Italy.
32nd Spring School in Theoretical Computer Science, 26-30 April 2004, Marseille, France.
3rd Int.School on Formal Methods for the Design of Computer, Communication and Software Systems:Software Architecture, 22-27 September 2003, Bertinoro, Italy.
EEF Trends School on Mobile Computing , 7 - 11 July 2003, Edinburgh, United Kingdom.
EEF Foundations School on Concurrency , 19 - 30 May 2003, Heeze, The Netherlands.
Bertinoro International Summer School for Graduate Studies in Computer Science , 3-14 March 2003, Bertinoro, Italy.
2nd Int. School on Formal Methods for the Design of Computer, Communication and Software Systems: Model Checking, 9 - 14 September 2002, Bertinoro, Italy.
EEF Foundations School on Specification, Refinement and Verification , 19 - 31 August 2002, Turku, Finland.
EEF Trends School on Massive Data Sets , 27 June - 1 July 2002, Aarhus, Denmark.
Bertinoro International Summer School for Advanced Studies in Computer Science, 20 - 31 May 2002, Bertinoro, Italy.
Seventh Italian Conference on Theoretical Computer Science, 4th - 6th October 2001, Torino, Italy.
Workshop: Pattern Mastery through Pattern Writing, 20 - 21 August 2001, Turku, Finland.
EEF Trends School on Software Architecture, 13 - 17 August 2001, Turku, Finland.
13th International School on Foundations of Wide Area Network Programming, 1-14 July 2001, Lipari Island, Italy.
EEF Foundations School on Logical Methods, 25 June - 6 July 2001, Aarhus, Denmark.
International School on Foundations of Security Analysis and Design, 18-30 September 2000, Bertinoro, Italy.
EEF Trends School on Formal Methods and Performance Analysis, 3-7 July 2000, Nijmegen, the Netherlands.
EEF Foundations School in Deduction and Theorem Proving, Heriot-Watt University, Edinburgh, 6-16 April 2000.
Summer School in Semantics of Computation, Aarhus, Denmark, May 3-7 1999.
School in Logic and Computation, Heriot-Watt University, Edinburgh, 10-13 April, 1999.
Summer School on Specification, Refinement, and Verification, 10 - 21 August 1998, Turku, Finland.
Summer School in Cryptology and Data Security, July 20-24 1998, Unviersity of Aarhus, Denmark.
Summer School on Natural Computation, 25 - 29 August 1997, Mauno Koivisto Centre, Turku, Finland.
School on Computational and Syntactic Methods, 11 - 22 August 1997, Conference centre de Brug, Mierlo, The Netherlands.
School on Embedded Systems in Veldhoven, The Netherlands, 25-29 November 1996.

Contact information

Mail address

EEF Office
Department of Mathematics and Computing Science
Technische Universiteit Eindhoven
Postbus 513
5600MB Eindhoven
The Netherlands

Direct Contact

Telephone: +31 40 2474124
Fax: +31 40 2475361
E-mail: eef@tue.nl

Visiting Address

Technische Universiteit Eindhoven
Room HG 7.22
Den Dolech 2
Eindhoven
The Netherlands