Summer Schools 2011

• WSLST 2012 2012 International Winter School in Language and Speech Technologies, Tarragona, Spain, January 23-27, 2012
• WSMBio 2012 2012 International Winter School in Methods in Bioinformatics, Tarragona, Spain, February 20-24, 2012
• EWSCS '12 17th Estonian Winter School in Computer Science, Palmse, Estonia, 26 Feb-2 March 2012
• 2nd International PhD School on Quantitative Model Checking Copenhagen 27 Feb - 1 Mar
• SSFLA 2012 2012 International Spring School in Formal Languages and Applications, Tarragona, Spain, April 2-6, 2012.
• Second International SAT/SMT Summer School Trento, Italy, June 12-15th, 2012
• NASSLLI 2012 Fifth North American Summer School in Logic, Language, and Information, University of Texas at Austin, June 18-22, 2012
• LASER Summer School LASER Summer School on Software Engineering, Innovative Languages for Software Engineering September 2-8, 2012 - Elba Island, Italy,

Summer Schools 2011

• EWSCS'11 16th Estonian Winter School in Computer Science, Palmse, Estonia, 27 Feb-4 March 2011.
• DALT School 2011 First International Spring School on Declarative Agent Languages and Technologies, Bertinoro, Italy, April 10-15, 2011.
• ISCL 2011 Third International ALP/GULP Spring School on Computational Logic, Bertinoro, Italy, April 10-15, 2011.
• SSFLA 2011 2011 International Spring School in Formal Languages and Applications, Tarragona, Spain, April 18-22, 2011.
• PhD School on Discrete Event Systems Cagliari (Italy) from June 6 to June 10, 2011.
• Real-Time Kernels for Microcontrollers ARTIST Graduate School, 13-17 June 2011, Scuola Superiore Sant’Anna, RETIS Lab – CNR Area,
• SFM-11:CONNECT 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Connectors for Eternal Networked Software Systems 13-18 June 2011, Bertinoro Univ. Residential Center - Italy.
• UPMARC Summer School on Multicore Programming, Bosön, Stockholm, Sweden, June 20-23, 2011
• Service Oriented Computing 27th June 2011 till 3rd of July 2011, Crete.
• GTTSE 2011 4rd International Summer School on Generative and Transformational Techniques in Software Engineering, beginning July, 2011, Braga, Portugal.
• International Summer School on Information Security and Protection 4 - 8 July 2011, the Computer Systems Lab at Ghent University.
• Getting Moore from Multi-Cores University of Amsterdam and the Free University Amsterdam, July 4-8, 2012.
• ACACES 2011 Seventh International Summer School on Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems Fiuggi, Italy July 10 - 16, 2011,
• Summer School in Software Engineering and Verification outside of Moscow, Russia, July 17–27, 2011.
• Barcelona Computing Week 2011 "PUMPS: Programming and Tuning Massively Parallel Systems", BSC/UPC, Barcelona, Spain, July 18-22, 2011
• MarktOberdorf Summer School 2011 International Summmerschool Marktoberdorf, "Tools for Analysis and Verification of Software Safety and Security" August 2-14 2011, Marktoberdorf, Germany. ICTAC 2011 School on Software Engineering 22-26 August 2011, Johannesburg, South Africa
• WS-FM 2011 8th International Workshop on Web Services and Formal Methods September 1-2, 2011, Clemont-Ferrand, France
• LASER Summer School on Software Engineering Tools for Practical Software Verification September 4-10, 2011 - Elba Island, Italy.
• VTSA11 Summer School on Verification Technology, Systems & Applications, University of Liège, September 19th to 23th 2011.

Summer Schools 2010

• EWSCS'10 15th Estonian Winter School in Computer Science, Palmse, Estonia, 28 Feb-5 March 2010.
• QMC 2010 Quantitative Model Checking PhD School, March 2-5, 2010 IT University, Copenhagen, Denmark ARTIST Design / MT-LAB
• AVACS 2010 1st Spring School on Automatic Verification and Analysis of Complex Systems, Oldenburg, Germany, March 15 to 19, 2010.
• Spring School on Generic and Indexed Programming, Wadham College, Oxford, 22nd to 26th March 2010
• ARTIST Summer School South-America 2010 May, 26-28, 2010 -- Gramado, Brazil,
• TiC'10 Third International Summer School on Trends in Concurrency, IIT-Bangalore, India, May 23 - 30, 2010.
• Embedded Real-Time Control Systems: Theory and Practice 14-18 June 2010, Scuola Superiore Sant'Anna.
• ARTIST Graduate Course: Automated Formal Methods for Embedded Systems 2010 June 14-22, 2010 at the DTU Informatics, Technical University of Denmark.
• Petri Net Course June 20-22, 2010 Sentir Falperra Hotel, Braga, Minho, Portugal,
• NASSLLI 2010 Fourth North American Summer School in Logic, Language, and Information, June 20-26, 2010.
• UPMARC Summer School on Multicore Programming, Fagerudd, UPPSALA, Sweden, June 21-24, 2010
• 6th TAROT Summer School on software testing. Graz, Austria June 21-25, 2010.
• SFM-10:QAPL 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Quantitative Aspects of Programming Languages, 21-26 June 2010, Bertinoro Univ. Residential Center - Italy
• MOVEP 2010 10th International Summer School on MOdelling and VErifying parallel Processes, June 28-July 2, Aachen, Germany.
• ISR 2010 5th International School on Rewriting, July 3-8, 2010, Utrecht, The Netherlands,
• 22nd Jacob T. Schwartz International School for Scientific Research Biology and Computer Science: Modelling and Computing, July 10 - July 17, 2010, Lipari Island.
• ARTIST Summer School in Morocco 2010 Embedded & Real-Time Systems, Rabat-Ensias, 11-16 July, 2010
• ACACES 2010 Sixth International Summer School on Advanced Computer Architecture and Compilation for Embedded Systems, Barcelona, Spain Sunday July 11 - Saturday July 17, 2010. th REASONING WEB Summer School (
• PDC Summer School Introduction to High-Performance Computing, Stockholm, Sweden August 16-27, 2010
• RW 2010 "Semantic Technologies for Software Engineering" August 30 - September 3, 2010, Dresden, Germany.
• LASER Summer School on Software Engineering Empirical Software Engineering, September 5 - 11, 2010 Elba Island, Italy
• ARTIST Summer School in Europe Autrans, France, September 5-10 2010.
• SEFM 2010 3rd Int. School on Software Engineering and Formal Methods, Advanced Applications of Model Checking Techniques, 6-10 September 2010 - CNR, Pisa, Italy.
• VTSA 2010 Summer School on Verification Technology, Systems & Applications, 6-10 September 2010 - Univ. of Luxemburg.
• Advanced Qt Programming for Maemo platforms Summer School, September 6 - 10, 2010 EPFL, Lausanne, Switzerland.
• FOSAD 2010 10th International School on Foundations of Security Analysis and Design 6 - 11 September 2010, Bertinoro, Italy.
• RUSSIR 2010 The 4th Russian Summer School in Information Retrieval, September 13-18, 2010 in Voronezh, Russia
• Advanced Course on Petri Nets 5th International Summer School, Sep 13-24, 2010 in Rostock, Germany.
• ADAPT Summer School September 26 - October 2, 2010, Koblenz, Germany.
• Modeling Wizards 1st International Master Class on Model-Driven Engineering Oslo, 30 September - 2 October 2010,
• WISENET Nordic Darkness School 2010 School on wireless sensor networks, Uppsala, Sweden, November 8-9, 2010.

Summer Schools 2009

• COST Action IC0701 Winter School on Verification of Object-Oriented Programs, Viinistu, Estonia, 25-29 January 2009.
• EWSCS'09 14th Estonian Winter School in Computer Science, Palmse, Estonia, 1-6 March 2009.
• MDD4DRES 2009 4th International School on Model-Driven Development for Distributed, Realtime, Embedded Systems. Aussois (France), 20-24 April 2009.
• 2009 HYCON-EECI Graduate School on Control Supelec, South of Paris, from Jan 12 to May 8, 2009
• SFM-09:WS 9th International School on * Formal Methods for the Design of Computer, Communication and Software Systems: Web Services, 1-6 June 2009, Bertinoro Univ. Residential Center - Italy
• Graduate Course on Embedded Control Systems: Theory and Practice Sponsored by the ArtistDesign Network of Excellence 8-12 June 2009 Scuola Superiore Sant´Anna, Pisa, Italy
• UPMARC Summer School on Multicore Programming, Fagerudd, UPPSALA, Sweden, June 15-17, 2009
• FIT 2009 summer school Foundations of Information Technologies, Novi Sad, Serbia, 14-27 June, 2009.
• Georgia Tech Summer School on Cyber-Physical Systems June 22-26, 2009 - Georgia Tech Atlanta Campus.
• GTTSE 2009 3rd International Summer School on Generative and Transformational Techniques in Software Engineering, 6-11 July, 2009, Braga, Portugal.
• ACACES 2009 Fifth International Summer School on Advanced Computer Architecture and Compilation for Embedded Systems L'Aquila, Italy. July 12 - 18, 2009 Organized by the HiPEAC Network of Excellence
• NoNA Summer School on Complexity Theory August 12-16, 2009, St. Petersburg, Russia
• AOSD Fourth Summer School on Aspect-Oriented Software Development 24-28 August 2009, Nantes, France.
• International Summer School on Advances in Programming Languages, 25th-28th August, 2009, Heriot-Watt University, Edinburgh, Scotland.
• FOSAD 2009 9th International School on Foundations of Security Analysis and Design 30 August - 4 Sept. 2009, Bertinoro, Italy
• LASER Summer School on Software Engineering Software Testing: The Practice And The Science, September 6 - 12, 2009 Elba Island, Italy
• ARTIST Summer School in Europe Autrans, France, September 7-11 2009.
• VTSA 2009 Summer School on Verification Technology, Systems & Applications Nancy, France, Oct. 12-16, 2009.
• COMES Complexity Management in Tera-Scale Embedded Systems", USI (Università della Svizzera italiana), Lugano, Switzerland, November 16 - 20, 2009

Summer Schools 2008

• EWSCS'08 13th Estonian Winter School in Computer Science, Palmse, Estonia, 2-7 March 2008
• EASSS 2008 10th European Agent Systems Summer School, New University of Lisbon, Portugal 5 - 9 May 2008.
• AFP'08 6th International Summer School on Advanced Functional Programming 2008 Radboud University Nijmegen and Utrecht University, the Netherlands, May 19-24, 2008.
• SFM-08:Bio 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Computational Systems Biology 2 - 7 June 2008, Bertinoro Univ. Residential Center - Italy
• TiC 2008 The Second International Summer School on Trends in Concurrency Prague, Czech Republic, June 22 - 27, 2008.
• MOVEP 2008 8th International Summer School on MOdelling and VErifying parallel Processes, 23-27 June 2008, Orléans, France.
• USI - CMU Summer School on Dependable Computer Systems University of Lugano, Switzerland June 30 \u2013 July 4, 2008
• ACACES 2008 Fourth International Summer School on Advanced Computer Architecture and Compilation for Embedded Systems L'Aquila, Italy. July 15 - 19, 2008 Organized by the HiPEAC Network of Excellence
• Onassis Summer School in Computer Science Embedded networked Systems: Theory and Applications Heraklion Crete,Greece, July 21-25, 2008.
• ESSCaSS 2008 and NODES 2008 7th Estonian Summer School on Computer and Systems Science in cooperation with the Nordic Network On DEpendable Systems, August 24-29, 2008
• ARTIST2 South-American School for Embedded Systems 2008 Universidade Federal de Santa Catarina, Florianopolis, Brazil, August 25-29, 2008.
• FOSAD 2008 8th International School on Foundations of Security Analysis and Design 25-30 August 2008, Bertinoro, Italy
• WS-FM 2008 5th International Workshop on Web Services and Formal Methods, September 4-5, 2008, Milan, Italy.
• LASER Summer School on Concurrency, September 7 - 13, 2008 Elba Island, Italy
• ARTIST Summer School 2008 on Embedded Systems Design in Europe, September 8-12 2008.
• VTSA 2008 1st Summer School Verification Technology, Systems & Applications, Saarbruecken, Germany, September 15-19, 2008
• GLOBAN 2008 The Global Computing Approach to Analysis of Systems Warsaw, September 22-26, 2008.

Summer Schools 2007

• ARTIST2-MOTIVES ARTIST2 Winter School 2007, MOdelling, TestIng, and Verification for Embedded Systems, Trento, Italy, Feb. 19-23, 2007.
• EWSCS'07 11th Estonian Winter School in Computer Science, Palmse, Estonia, 4­9 March 2007,
• 2007 HYCON-EECI Graduate School on Control From 12 February 2007 to 27 April 2007 10 independent modules, one module per week (21 hours), Supelec (South of Paris).
• ARTIST2 Graduate Course on Embedded Control Lund, May 7-11.
• SFM-07:PE 7th International School on * Formal Methods for the Design of Computer, Communication and Software Systems: Performance Evaluation, 28 May - 2 June 2007, Bertinoro Univ. Residential Center - Italy
• CEFP 2007 2nd Central-European Functional Programming School, Cluj-Napoca, June 23-30, 2007
• ISR'2007 Second International School on Rewriting, July 2-6, 2007, Nancy, France
• GTTSE 2007 2nd International Summer School on Generative and Transformational Techniques in Software Engineering, 02-07 July, 2007, Braga, Portugal
• Advances in Software Engineering Nineteenth International School for Computer Science Researchers, Lipari Island, July 8--July 21, 2007
• RUNES Summer School 9-11 July 2007, London
• USI-CMU Summer School on Dependable Computer Systems University of Lugano 9-13 July 2007, Lugano, Switzerland
• ACACES 2007 Third International Summer School on Advanced Computer Architecture and Compilation for Embedded Systems L'Aquila, Italy. July 15 - 21, 2007 Organized by the HiPEAC Network of Excellence
• MarktOberdorf Summer School 2007 International Summmerschool Marktoberdorf, "Formal Logical Methods for System Security and Correctness" July 31 to August 12 2007, Marktoberdorf, Germany.
• Artist2 / UNU-IIST School Suzhou (near Shanghai), China, Aug 1-10 2007
• ARTES summer school 2007 Aug. 20-24, 2007
• TYPES Summer School 2007 Proofs of Programs and Formalisation of Mathematics, August 19-31 2007, Bertinoro, Italy
• FOSAD 2007 Seventh International School on Foundations of Security Analysis and Design 9-15 September 2007, Bertinoro, Italy
• LASER Summer School on Software Engineering, Applied Software Verification Practical advances towards a Grand Challenge, September 9 - 15, 2007 Elba, Italy
• TTcourse "Computing Architectures for Dependable Distributed Embedded Real-Time Systems", September 10 - 15, 2007 Vienna, Austria.

Summer Schools 2006

• ISS 2006 3rd IFIP TC2 Summer School on Software Engineering and Technology, Gordon's Bay, near Cape Town, South Africa 15-20 January 2006
• EWSCS'06 11th Estonian Winter School in Computer Science, Palmse, Estonia, 5­10 March 2006,
• Spring School on Datatype-Generic Programming , 24-27 April 2006 University of Nottingham, UK
• SFM-06:HV 6th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Hardware Verification 22-27 May 2006, Bertinoro Univ. Residential Center - Italy
• EPIT 2006 Spring School in Theoretical Computer Science, Games in Semantics and Verification, May 29 -- June 2, 2006 Ile de Re, France
• MOVEP 2006 7th International Summer School on MOdelling and VErifying parallel Processes 19-23 June 2006, Bordeaux, France
• 2nd TAROT Summer School on testing of software and communicating systems Toledo, Spain, June 26-30, 2006.
• ISR'2006 International School on Rewriting, July 3-7, 2006, Nancy, France
• Summer School on Language-Based Techniques for Concurrent and Distributed Software July 12-21, 2006 University of Oregon Eugene, Oregon USA
• ACACES 2006 Second International Summer School on Advanced Computer Architecture and Compilation for Embedded Systems L'Aquila, Italy Sunday July 23 - Saturday July 29, 2006 Organized by the HiPEAC Network of Excellence
• TiC'06 First International Summer School on Emerging Trends in Concurrency, Bertinoro, Italy, July 24-29, 2006
• DASMOD Dependable Adaptive Systems and Mathematical Modeling. 1st Summer School July 31 - August 13, 2006 of the Rheinland-Pfalz Cluster of Excellence
• MarktOberdorf Summer School 2006 International Summmerschool Marktoberdorf, "Software System Reliability and Security", August 1-13, 2006, Marktoberdorf, Germany.
• GLOBAN 2006 The Global Computing Approach to Analysis of Systems International Summer School at DTU, August 21-25, 2006
• ARTES summer school 2006 Nässlingen, Stockholm, Sweden. August 21-25, 2006
• MDD4DRES MDD for Distributed Real-time Embedded Systems, 4th-8th September 2006, Brest, France
• FOSAD 2006 Sixth International School on Foundations of Security Analysis and Design, 10-16 September 2006, Bertinoro, Italy
• LASER Summer School on Software Engineering , September 17-23, 2006, Elba Island, Italy.
• Verification of Protocols for Security and Mobility , International PhD School, Copenhagen, Denmark, October 9-13, 2006

Summer Schools 2005

• EWSCS'05 10th Estonian Winter School in Computer Science Palmse, Estonia, 27 February-4 March 2005
• BISS 2005 Bertinoro International Spring School for Graduate Studies in Computer Science, 7-18 March 2005 University of Bologna Residential Center Bertinoro, Italy
• Infinite Games and Their Applications, Spring School, Bonn, Germany, 15th to 19th March 2004.
• Spring School on Security Marseille, France April 25-29, 2005.
• SFM-05:Moby 5th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Mobile Computing. 26-30 April 2005 - Bertinoro (Italy)
• Summer School on Generative and Transformational Techniques in Software Engineering 4 - 8 July, 2005, Braga, Portugal.
• Central-European Functional Programming School 4-16 July, 2005 Eötvös Loránd University, Budapest, Hungary.
• Lipari School Formal Methods: Theory And Practice 17th International School for Computer Science Researchers, Lipari Island, July 10 - July 23, 2005
• Summer School on Reliable Computing, July 20-29, 2005 University of Oregon Eugene, Oregon USA.
• ACACES'2005 First International Summer School on Advanced Computer Architecture and Compilation for Embedded Systems, L'Aquila, Italy Sunday July 24 - Saturday July 30, 2005. Organized by the HiPEAC Network of Excellence sponsored by the 6th European framework programme
• 4th Estonian Summer School in Computer and System Science, Pedase, Estonia, August 7 - 12, 2005,
• MarktOberdorf Summer School 2005 International Summmerschool Marktoberdorf, "Logical Aspects of Secure Computer Systems", August 2 to August 14, 2005, Marktoberdorf, Germany.
• ESSLLI 2005 17th European Summer School in Logic, Language and Information The annual summer school of FoLLI, the Association for Logic, Language and Information. Heriot-Watt University Edinburgh, Scotland 8-19 August, 2005
• TYPES Summer School 2005 Proofs of Programs and Formalisation of Mathematics August 15-26 2005, Goteborg, Sweden.
• APPSEM II The IST-FET Summer School on Applied Semantics, Frauenchiemsee, September 8-12, 2005.
• LASER Summer School on Software Engineering Software engineering for concurrent and real-time systems Elba, Italy, September 11 - 17, 2005
• Architectural Paradigms for Dependable Embedded Systems Vienna, Austria September 12-16, 2005
• FOSAD 2005 Fifth International School on Foundations of Security Analysis and Design 19-24 September 2005, Bertinoro, Italy.
• ARTIST2 Summer School on Component Modelling, Testing and Verification, and Static analysis of embedded software, Sept 28 - Oct 2, 2005, Uppsala, Sweden.

Summer Schools 2004

• EWSCS'04 9th Estonian Winter School in Computer Science, Palmse, Estonia, 29 February-5 March 2004.
• 32nd Spring School on Theoretical Computer Science Centre International de Rencontres Mathématiques Campus de Luminy, Marseille, France. Concurrency theory and applications, April 26-30, 2004
• Logics of Formal Software Specification Languages, Congress Centre "Academia", Stara Lesna. The High Tatras, Slovakia June 6-19, 2004
• 2nd Summer School in Computational Logic University of Texas at Dallas, Richardson, TX 75083, June 14-17, 2004
• ICCL Summer School 2004 Proof Theory and Automated Theorem Proving, Technische Universität Dresden, June 14-26, 2004.
• Summer School on Software Security: Theory to Practice, University of Oregon, Eugene, Oregon (USA),June 17 - 25, 2004
• ARTIST Summer School on Real-Time Scheduling, Catania, Italy, July 5-9, 2004
• Mobile Networks: Algorithms and Systems, 16th International School for Computer Science Researchers, Lipari Island (Italy),July 11 - 24, 2004.
• MarktOberdorf Summer School 2004 International Summmerschool Marktoberdorf, "Engineering Theories of Software Intensive Systems", August 3 to August 15, 2004, Marktoberdorf, Germany.
• ESSCaSS`04 3rd Estonian Summer School on Computer and System Science , Pedase, Estonia, August 8 - 12, 2004
• CTCS'04 Summer school on Category Theory and Computer Science, August 9-11, 2004. IT University of Copenhagen (ITU) Copenhagen, Denmark
• ESSLLI 2004 16th European Summer School in Logic, Language and Information. Nancy, France 9-20 August, 2004.
• AFP 2004 5th International Summer School on Advanced Functional Programming, Tartu (Estonia), August 14 - 21, 2004
• FOSAD 2004 Fourth International School on Foundations of Security Analysis and Design, Bertinoro (Forlì - Cesena, Italy), September 6 - 11, 2004
• LASER Summer School on Software Engineering Practical Techniques of Software Quality, Elba, Italy September 12 - 18, 2004
• SFM-04:RT 4th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Real Time 13-18 September 2004 - Bertinoro (Italy)
• MOVEP'04 MOdelling and VErifying parallel Processes 13-17 December 2004, Brussels, BELGIUM

Summer Schools 2003

• EWSCS'03
  8th Estonian Winter School in Computer Science, Palmse, Estonia, 2-7 March 2003
• Fields Institute Summer School and Workshops Logic and Foundations of Computation University of Ottawa, Canada June 2-20, 2003
• Summer School on the Foundation of Security Eugene, Oregon, USA June 16 - 27 , 2003
• Summer School and Workshop on Proof Theory, Computation and Complexity Technische Universitaet Dresden June 23-July 4, 2003
• EmSys Summer School [embedded systems perspectives and visions] University of Salzburg, Austria 30 June - 2 July 2003
• EEF Global Computing Summer School Edinburgh, Scotland, 7th to 11th July 2003
• ESSES 2003 European Summer School on Embedded Systems. Sweden, July 14 - October 24, 2003
• Advanced School on Mobile Computing Pisa, Italy, 1st to 28th September 2003
• SFM-03:SA 3rd International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architecture. 22-27 September 2003 - Bertinoro (Italy)
• Hardware/Software Codesign November 5-7, 2003, at Linköping University
• Developing Distributed Embedded Systems for Mission Critical Applications Hilton Park Lane, Central London, 20 November, 2003.
• course on SAT-solving IT University, Copenhagen, 24-26 November 2003. given by Lintao Zhang, the main author of ZChaff.

Summer Schools 2002

• EWSCS'02
  7th Estonian Winter School in Computer Science, Palmse, Estonia, 3-8 March 2002
• BISS 2002:
  Bertinoro International Summer School for Graduate Studies in Computer Science 20-31 May 2002 University of Bologna Residential Center Bertinoro (Forli) Italy
• International Summer School on Generative Programming
  Tampere, Finland June 4-7, 2002
• Lipari Software Engineering Summer School
  Lipari, Sicily, 30.6.-13.7. 2002
• MOVEP'02
  5th International Summer School on MOdelling and VErification of Parallel Processes June 17-21, 2002 Nantes, France
• Specification and Verification of Distributed Software
  June 28 - July 5 , 2002 Lebanese American University, Beirut, Nicol Hall 306
• Marktoberdorf 2002
  International Summmerschool Marktoberdorf, "Models, Algebras, and Logic of Engineering Software", July 30 - August 11, Markt-Oberdorf, Germany.
• ESSLLI 2002
  14th European Summer School in Logic, Language and Information, August 5-16 2002, Trento, Italy
• Summer School and Workshop on Advanced Functional Programming
  St Anne's College, Oxford, UK 19th to 24th August 2002. In conjunction with Summer School and Workshop on Generic Programming
• Summer School on Specification, Refinement and Verification Turku, Finland, August 19 -- 30, 2002
• ISCL 2002
  International Summer School on Computational Logic. Maratea (Italy), August 25-30, 2002
• SFM-02:MC
  2nd International School on Formal Methods for the Design of Computer, Communication and Software Systems: Model Checking 9-14 September 2002 - Bertinoro (Italy)
• Model-Driven Approaches for Embedded Systems
  First Summer School. Brest - Brittany in France, from September the 16th to 20th 2002
• FOSAD 2002
  Third International School on Foundations of Security Analysis and Design 23-27 September 2002 - Bertinoro (Italy)

Summer Schools 2001

• EWSCS'01
  6th Estonian Winter School in Computer Science, Palmse, Estonia, 4-9 March 2001
• 6th International Summer School on Distributed Computing Advanced Distributed Algorithms
  May 21--26, 2001 University of Siena Isola d'Elba, Livorno ITALY
• Foundations of Wide Area Network Programming
  13th International School for Computer Science Researchers Lipari Island, July 1-14, 2001
• SFM-01:PA
  1st International School on Formal Methods for the Design of Computer, Communication and Software Systems: Process Algebras 23-28 July 2001 - Bertinoro (Italy)
• International Summer School Marktoberdorf
  Proof and System-Reliability July 24 to August 5, 2001
• Summerschool on Software Architecture
  Turku, Finland, August 13 -- 17, 2001
• ESSLLI 2001
  13th European Summer School in Logic, Language and Information, University of Helsinki FINLAND August 13-24, 2001
• Pattern Mastery through Pattern Writing
  Workshop/Mini Course By James O. Coplien, Bell Laboratories Honna Segel, Nortel Networks, Turku, Finland, August 20 -- 21, 2001
• FOSAD 2001
  Second International School on Foundations of Security Analysis and Design, 17-29 September 2001, Bertinoro, Italy
• Formalware Engineering
  Formal Methods for Engineering Software, Udine, September 24-28, 2001

Summer Schools 2000

• 5th Estonian Winter School in Computer Science (EWSCS)
  Park Hotel Palmse, Lahemaa, Estonia Feb 27 - March 2, 2000
• Design of Intelligent Multi-Agent Systems
  5-day course that is half theory and half practice April 26 - May 2, 2000, Vrije Universiteit Amsterdam
• MOVEP'2k
  4th International Summer School on MOdelling and VErification of Parallel Processes June 19-23, 2000 Nantes, France
• FORMAL METHODS AND PERFORMANCE ANALYSIS
  July 3-7 2000, Nijmegen, the Netherlands
• Engineering Theories of Software Construction
  Marktoberdorf, Germany July 25 to August 6, 1999
• The Linear International Summer School
  Aug. 30 - Sept. 7, S. Miguel, Azores, Portugal
• INTERNATIONAL SCHOOL ON FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN
  18-30 September 2000, Bertinoro, Italy

Summer Schools 1999

• SUMMER SCHOOL IN SEMANTICS OF COMPUTATION
  organized by BRICS (Denmark), TUCS (Finland), IPA (Holland). Place: BRICS, Aarhus University, Denmark. May 3-7, 1999.
• ADVANCED DISTRIBUTED ALGORITHMS
  5th International Summer School on Distributed Computing, June 21-27, 1999, University of Siena, Certosa di Pontignano, Pontignano, SIENA, ITALY

Summer Schools 1998

• FOUNDATIONS OF SECURE COMPUTATION
  Marktoberdorf, Germany July 27 to August 8, 1999
• Fourth Estonian Winter School in Computer Science (EWSCS)
  Lahemaa, Estonia on Feb 28 - March 4, 1999
• European School on Graph Transformation
  Bremen (Germany) March 2-7, 1998
• Timing Analysis of Concurrent Systems"
  A one week advanced course at the Department of Information Technology, DTU, Copenhagen, June 29 - July 3, 1998
• MOVEP'98
  Modelisation et Verification des Processus Parall`eles ECOLE d'ETE 6--9 Juillet, 1998, Nantes, France
• Marktoberdorf 1998
  Calculational System Design July 28 - Aug. 9, 1998, Marktoberdorf, Germany
• School on Specification, Refinement, and Verification
  Turku, Finland, August 10 -- 21, 1998
• ARTES Summer School
  17-21 augusti 1998.
• School on Computational Aspects and Applications of Hybrid Systems
  KIT Workshop on Verification of Hybrid Systems Grenoble, France, October 19-21, 1998
• Design of Intelligent Multi-Agent Systems
  5-day course that is half theory and half practice October, 21-27, 1998. Vrije Universiteit Amsterdam
• Advanced Course on the Principles of Program Analysis
  Schloss Dagstuhl, Germany, Nov. 9-13, 1998. (F. Nielson, H.R. Nielson, C. Hankin, lecturers)

Old Summer Schools 1997 [an error occurred while processing this directive]