Summer Schools 2024

• Summer School on real-world crypto and privacy 2024 Vodice, Croatia, June 3-7, 2024

Summer Schools 2023

• AI for Better Medicine 5th Advanced School in Computer Science and Engineering: - Sun, 15/01/2023 to Thu, 19/01/2023 The Hebrew University of Jerusalem All details can be found here:
• CySeP Cybersecurity and Privacy Summer School, June 12-16, 2023, KTH, Stockholm, Sweden
• TAROT 2023 18th International Summer School on Training And Research On Testing, London, July 3-7, 2023
• ARTISAN PHD SUMMER SCHOOL ARTificial Intelligence in Secure ApplicatioNs, 17-20 July 2023, Vienna, Austria
• ESSLLI 2023 34th European Summer School in Logic, Language and Information - 13 July - 11 August, 2023, Univ. of Ljubljana.
• Marktoberdorf 2023 International Summmerschool Marktoberdorf, "Safety and Security through Formal Verification" August 1-12, 2023, Markt-Oberdorf, Germany.
• IFIP Summer School on Privacy and Identity Management Oslo, Norway, August 8-11, 2023
• FOSAD 2023 International School on Foundations of Security Analysis and Design 28 August - 1 September 2023, Bertinoro, Italy.
• Summer School on Reactive Synthesis Udine, August 28-31, together with Workshop on Synthesis, Monitoring and Learning - Udine, August 31-September 1
• VTSA 2023 15th International Sum mer School on Verification Techniques, Systems, and Applications, August 28 to September 1, 2023 in Nancy, France
• Advanced Course on Petri Nets Toruń, Poland, September 3-8, 2023
• Arcadian-IoT summer school Sep 4-8, 2023, Stockholm Sweden
• 2nd Summer School on Security Testing and Verification, 11-12-13 September, Brussels, Belgium

Summer Schools 2022

• MOVEP 2022 15th International Summer School on MOdelling and VErifying parallel Processes, June 13-17, 2022. Aalborg, Denmark
• Digital Humanism Summer School 2022 September 19-23, TU Wien, Austria.
• Summer School on Security Testing and Verification 20-22 September, Leuven, Belgium
• 3rd International Winter School on Blockchain Technology and Applications Hyperledger University of Camerino, Italy (online) 12th - 16th December 2022
• Indian SAT+SMT School 15-17 December 2022, at IIT Madras.

Summer Schools 2021

• CMMRS 2021 The Cornell, Maryland, Max Planck Pre-doctoral Research School 2021, "Emerging Research Trends in Computer Science", August 2-7, 2021 Saarbruecken, Germany
• 20th FOSAD 20th International School on Foundations of Security Analysis and Design 30 August - 3 September 2021, Bertinoro, Italy.

Summer Schools 2020

• Coq Andes Summer School January 6-10, 2020, Cajón del Maipo, Chile
• EWSCS '20 25th Estonian Winter School in Computer Science, Palmse, Estonia, 1-6 March, 2020
• MOVEP 2020 14th International Summer School on MOdelling and VErifying parallel Processes, June 22-26, 2020. Grenoble, France
• ACACES 2020 14th International Summer School on Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems, Fiuggi, Italy, July 12 - 18, 2020
• The Cornell, Maryland, Max Planck Pre-doctoral Research School 2020: "Emerging Research Trends in Computer Science", August 4-9 2020 Saarbruecken, Germany
• Advanced Course on Petri Nets Toruń, Poland, September 6-11, 2020
• Indian SAT/SMC School online, Dec. 11-13, 2020

Summer Schools 2019

• BigDat 2019 5th International Winter School on Big Data, Cambridge, United Kingdom, January 7-11, 2019
• First VMCAI Winter School Lisboa, Portugal, January 9-12, 2019
• EWSCS '19 21st Estonian Winter School in Computer Science, Palmse, Estonia, 3-8 March, 2019
• ForMaL DigiCosme Spring School on Formal Methods and Machine Learning, ENS Paris-Saclay, Cachan, France, 4th-7th June 2019
• CySeP Cybersecurity and Privacy Summer School, June 10-14, 2019, KTH, Stockholm, Sweden
• ISSSE 2019 14th International Summer School on Software Engineering, June 17-21, 2019 University of Salerno, Italy
• OPLSS 2019 OPLSS 2019 - Oregon Programming Languages Summer School - June 17-29 2019, the University of Oregon in Eugene.
• TAROT 2019 15th International Summer School on Training And Research On Testing, University Clermont Auvergne (UCA), France, July 1-5th, 2019
• VTSA 2019 UniGR Summer School on Verification Technology, Systems and Applications, July 1-5, Belval, Luxembourg
• Racket School 2019 The 2019 Racket Summer School of Programming Languages, July 8-12, Salt Lake City,
• DeepLearn 2019 3rd International Summer School on Deep Learning, Warsaw, Poland July 22-26, 2019
• MarktOberdorf Summer School 2019 International Summmerschool Marktoberdorf, "Safety and Security of Software Systems: Logics, Proofs, Applications", July 31- August 8, 2019, Marktoberdorf, Germany.
• The Cornell, Maryland, Max Planck Pre-doctoral Research School 2017: "Emerging Research Trends in Computer Science", August 6-11 2019 Saarbruecken, Germany
• 14th IFIP Summer School on Privacy and Identity Management 19-23 August 2019 in Brugg/Windisch, Switzerland
• FOSAD 2019 19th International School on Foundations of Security Analysis and Design 26-30 August 2019, Bertinoro, Italy.
• FoPPS 2019 Nominal Techniques, 3rd Summer School on Foundations of Programming and Software Systems, 10-15 September, Warsaw, Poland
• summer school on security & correctness Graz, Austria, September 16 - 20, 2019.
• CPS Summer School 2019 Designing Cyber-Physical Systems – From concepts to implementation, Porto Conte Ricerche - Alghero - Sardinia - Italy September 23-27, 2019
• The Mathematics of Quantum Computation The 4th Advanced School in Computer Science and Engineering, Hebrew University, December 15-19, 2019,

Summer Schools 2018

• PIT 2018 Software Verification Spring School, May 7-11, 2018, Centre Paul-Langevin in Aussois, France
• HSST 2018 8th Halmstad Summer School on Testing, June 11-14, 2018 - Halmstad University, Sweden
• UPMARC Summer School 2018 on Multicore Programming, Uppsala, Sweden, June 18-20, 2018
• FoPSS 2018 2nd School on Foundations of Programming and Software Systems, Nominal Techniques Oxfod, UK, 1-6 July 2018
• ACACES 2018 14th International Summer School on Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems, Fiuggi, Italy July 8 - July 14, 2018
• MOVEP 2018 13th International Summer School on MOdelling and VErifying parallel Processes, ENS Paris-Saclay, Cachan, France, July 16 - 20, 2018
• Summer School on Security & Correctness in the IoT, Graz, Austria, Sept. 3-9
• CPS Summer School 2018 Designing Cyber-Physical Systems – From concepts to implementation Alghero - Sardinia - Italy September 17-21, 2018
• Winter School in Computer Science and Engineering on Blockchains and Cryptocurrencies Israeli Inst. for Advanced Studies, 16-21 Dec. 2018

Summer Schools 2017

• Spring school on Security & Correctness in the Internet of Things 2017 Graz, Austria, May 8-12, 2017
• School on Foundations of Programming and Software systems Probabilistic programming. Braga, Portugal, May 29th - June 4th 2017.
• HSST 2017 7th Halmstad Summer School on Testing, June 12-15, 2017 - Halmstad University, Sweden
• UPMARC Summer School 2017 on Multicore Programming, Uppsala, Sweden, June 14-16, 2017
• TAROT 2017 13th International Summer School on Software Testing, Verification, and Validation, Naples, Italy, June 26-30, 2017
• OPLSS 2017 16th annual Oregon Programming Languages Summer School, June 26th to July 8th, 2017, University of Oregon, Eugene
• ISR 2017 9th International School on Rewriting, July 3-7, 2017, Eindhoven, The Netherlands
• ACACES 2017 13th International Summer School on Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems, Fiuggi, Italy July 9 - July 15, 2017
• The Racket School of Semantics and Languages July 10-14, 2017 Salt Lake City, Utah, USA
• DeepLearn 2017 International Summer School on Deep Learning, Bilbao, Spain, July 17-21, 2017
• CPS 2017 7th Halmstad Summer School on Cyber-Physical Systems July 17-21, 2017 - Halmstad University, Sweden
• WoLLIC 2017 24th Workshop on Logic, Language, Information and Computation July 18-21, 2017 University College London (UCL), London, UK
• 10th International Summer School on Verification Technology, Systems & Applications July 31st to August 4th, 2017 on Saarland Informatics Campus,
• SC2 Summer School 2017 Satisfiability Checking (SAT/SMT) and Symbolic Computation, July 31-August 4, 2017, MPI Informatics, Saarbrücken, Germany,
• MarktOberdorf Summer School 2017 International Summmerschool Marktoberdorf, "Logical Methods for Safety and Security of Software Systems" August 2-11, 2017, Marktoberdorf, Germany.
• NLS 2017 Third Nordic Logic Summer School 2017, Stockholm, August 7 - 11, 2017
• The Cornell, Maryland, Max Planck Pre-doctoral Research School 2017: "Software Systems, Social Systems, Security and Privacy", August 8-13, 2017 Saarbruecken, Germany
• FOSAD 2017 17th International School on Foundations of Security Analysis and Design 28 August - 2 September 2017, Bertinoro, Italy.
• CPS Summer School 2017 "Designing Cyber-Physical Systems – From concepts to implementation" Porto Conte Ricerche, Alghero (Italy) September 25-30, 2017
• Advanced Winter School on Formal Verification Jerusalem, Israel December 17 - 21, 2017.

Summer Schools 2016

• EWSCS '16 21st Estonian Winter School in Computer Science, Palmse, Estonia, 28 Feb-4 March, 2016
• The First IPM Advanced School on Computing Formal Methods for Design and Analysis of Computer Systems Tehran, Iran, 11-15 January 2016
• MGS 2016 Midlands Graduate School in the Foundations of Computing Science, 11-15 April 2016, University of Birmingham
• UPMARC Summer School on Multicore Programming, Uppsala, Sweden, June 7-10, 2016
• HSST 2016 6th Halmstad Summer School on Testing, June 13-16, 2016 - Halmstad University, Sweden
• Summer School in Advanced Scientific Computing June 20 to June 23, in Braga, Portugal
• SFM-16:QUANTICOL 16th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Quantitative Evaluation of Collective Adaptive Systems 20-24 June 2016, Bertinoro Univ. Residential Center - Italy.
• International SAT/SMT/AR Summer School Instituto Superior Técnico (IST/UL), University of Lisbon Lisbon, Portugal, June 22-25, 2016
• 2nd International Summer School on Behavioural Types Limassol, Cyprus, 27th JUNE - 1st JULY 2016
• MOVEP 2016 12th International Summer School on MOdelling and VErifying parallel Processes, 27 June-1 July 2016, Genova, Italy
• TAROT 2016 12th International Summer School on Software Testing, Verification, and Validation, Paris, France July 4-8th, 2016
• ACACES 2016 12th International Summer School on Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems, Fiuggi, Italy July 10 - July 16, 2016
• WebST 2016 International Summer School on Web Science and Technology, Bilbao, Spain July 18-22, 2016
• MarktOberdorf Summer School 2016 International Summmerschool Marktoberdorf, "Dependable Software Systems Engineering" August 3-12, 2016, Marktoberdorf, Germany.
• ESSLLI 2016 28th European Summer School in Logic, Language and Information - 15-26 August, 2016 Faculty of Computer Science, Free University of Bozen-Bolzano, Italy in collaboration with University of Trento, Italy
• FOSAD 2016 16th International School on Foundations of Security Analysis and Design 29 August - 3 September 2016, Bertinoro, Italy.
• 4th Summer School in Computer Security and Privacy Building Trust in the Information Age, Pula (Cagliari), Italy, September 5-9 2016
• BSR winter School Big Software on the Run: Where Software Meets Data, October 23-28, 2016, Ede, the Netherlands

Summer Schools 2015

• BigDat 2015 International Winter School on Big Data, Tarragona, Spain, January 26-30, 2015
• EWSCS '15 20th Estonian Winter School in Computer Science, Palmse, Estonia, 1-6 March 2015
• UPMARC Summer School on Multicore Programming, Uppsala, Sweden, June 8-10, 2015
• HSST 2015 5th Halmstad Summer School on Testing, June 8-11, 2015 - Halmstad University, Sweden
• InfoSec 2015 International Summer School on Information Security, Tarragona, Spain, July 6-10, 2015
• SFM-15:MP 15th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Multicore Programming 15-19 June 2015, Bertinoro Univ. Residential Center - Italy.
• TAROT 2015 11th International Summer School on Training And Research On Testing, University of Cádiz, Spain, June 29 - July 2, 2015
• PLT Redex: The Summer School University of Utah, Salt Lake City, July 27 - 31, 2015
• MarktOberdorf Summer School 2015 International Summmerschool Marktoberdorf, "Verification and Synthesis of Correct and Secure Systems" August 4-16, 2015, Marktoberdorf, Germany.
• SyDe Summer School on Modeling and Verification of Cyber-Physical Systems Bremen, Germany, September 9-11, 2015
• IOT 360 Summer School on the Internet of Things¸ Oct 27-30, 2015 - Rome, Italy

Summer Schools 2014

• The Fourth Halmstad Summer School on Testing Halmstad University, Sweden, June 9 - June 12, 2014
• ACP Summer School 2014 Practical Constraint Programming, Bologna, 16-20 June 2014.
• SFM-14:ESM 14th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Executable Software Models 16-20 June 2014, Bertinoro Univ. Residential Center - Italy.
• The Swedish Summer School in Computer Science 2014 June 29 -July 5 in Stockholm
• TAROT 2014 10th International Summer School on Training And Research On Testing Porto, June 30 - July 4, 2014
• First International Summer School on Behavioural Types Lovran, Croatia, 30th June - 4th July 2014
• MOVEP 2014 11th International Summer School on MOdelling and VErifying parallel Processes, 7 -- 11 July 2014, Nantes, France
• SSTiC 2014 2014 International Summer School on Trends in Computing, Tarragona, Spain, July 7-11, 2014
• LASER Summer School LASER Summer School on Software Engineering, Leading-Edge Software Engineering September 7-13, 2013 - Elba Island, Italy,
• CPS Summer School Summer School on Cyber-Physical Systems, Grenoble (France) July 7-11, 2014
• SAT/SMT Summer School July 10-12 in Semmering, Austria
• ACACES 2014 Tenth International Summer School on Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems, Fiuggi, Italy Sunday July 13 - Saturday July 19, 2014
• First EATCS Young Researchers School on Automata, Logic and Games, Telč, Czech Republic, July 27 - August 1, 2014
• UPMARC Summer School on Multicore Programming, Uppsala, Sweden, July 28-29, 2014 (colocated with ECOOP 2014).
• ECOOP Summer School on Multicore Programming, Uppsala, Sweden, July 30 - Aug. 1, 2014
• FOSAD 2014 14th International School on Foundations of Security Analysis and Design 1-6 September 2014, Bertinoro, Italy.
• Building Trust in the Information Age 3rd Summer School in Computer Security and Privacy Cagliari, Italy, September 16-19 2014.
• SPES_XT Summer School at AVoCS'14 Model-based design and analysis of cyber-physical systems. Twente, The Netherlands Sept. 17-23, 2014
• Resource-aware Machine Learning International Summer School 2014 29th of September to 2nd of October, the TU Dortmund University,
• VTSA 2014 Summer School on Verification Technology, Systems and Applications, October 27-31, 2014, University of Luxembourg, Luxembourg
• IOT 360 Summer School on the Internet of Things, Oct 29 - Nov 1, 2014 - Rome, Italy

Summer Schools 2013

• Semantics and tools for low-level programming January 14-18, 2013, ENS Lyon
• EWSCS '13 18th Estonian Winter School in Computer Science, Palmse, Estonia, 3-8 March 2013
• Third Summer School on Formal Techniques May 20 - May 24, 2013 Menlo College, Atherton, CA
• The Third Halmstad Summer School on Testing Halmstad University, Halmstad, Sweden, June 3 - June 5, 2013
• SFM-13:DS 13th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Dynamical Systems 17-22 June 2013, Bertinoro Univ. Residential Center - Italy.
• Third International SAT/SMT Summer School Aalto University, Otaniemi Campus, Espoo, Finland, July 3-5th, 2013
• PERSYVAL-Lab Summer School on Cyber-Physical Systems, Grenoble (France) July 8-12, 2013
• ACACES 2013 9th International Summer School on Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems Fiuggi, Italy Sunday July 14 - Saturday July 20, 2013
• SSTiC 2013 2013 International Summer School on Trends in Computing, Tarragona, Spain, July 22-26, 2013
• MarktOberdorf Summer School 2012 International Summmerschool Marktoberdorf, "Software Systems Safety", July 301- August 11, 2013, Marktoberdorf, Germany.
• BTIA 2013 Building Trust in the Information Age, Summer School in Computer Security and Privacy Cagliari, Italy, September 2-6 2013
• FOSAD 2013 13th International School on Foundations of Security Analysis and Design 2 - 7 September 2013, Bertinoro, Italy.
• LASER Summer School LASER Summer School on Software Engineering, Software for the Cloud and Big Data, September 8-14, 2013 - Elba Island, Italy,
• Nano-Tera/ARTIST International School 2012 September 9-13, 2013, Aix-les-Bains, France
• BCI 2013 Joint Third FVG International Summer School on Bioinformatics Eighth International Summer School on Biology, Computation and Information, September 09-13, 2013, Trieste, Italy

Summer Schools 2012

• 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.
• 3rd ACM/DAPA International Summer School on Information Security and Protection/ May 21-25, Tucson, AZ
• Second International SAT/SMT Summer School Trento, Italy, June 12-15th, 2012
• UPMARC Summer School on Multicore Programming, Uppsala, Sweden, June 18-20, 2012
• NASSLLI 2012 Fifth North American Summer School in Logic, Language, and Information, University of Texas at Austin, June 18-22, 2012
• SFM-12:MDE 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Model-Driven Engineering 18-23 June 2012, Bertinoro Univ. Residential Center - Italy.
• ISSSE 2012 9th International Summer School on Software Engineering, June 25-28, 2012 University of Salerno, Italy
• Essential Abstractions in GCC IIT Bombay, 30 June to 3 July 2012.
• 8th TAROT Summer School on software testing. Besançon/Métabief, France July 2 - 6, 2012.
• PUMPS 2012 Programming and tUning Massively Parallel Systems Summer School, July 2-6, at BSC/UPC, Barcelona
• ACACES 2012 8th International Summer School on Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems Fiuggi, Italy July 8 - 14, 2012.
• Cooperation of Robots and Sensor Networks July 22-27, 2012, Ebernburg, Germany
• SSLF12 Summer School on Language Frameworks Sinaia, Romania, July 23-31, 2012.
• MarktOberdorf Summer School 2012 International Summmerschool Marktoberdorf, "Engineering Dependable Software Systems", July 31- August 12, 2012, Marktoberdorf, Germany.
• Modern Computational Science: Optimization 4th Int. Summer School August 20-31, 2012, Oldenburg, Germany
• LASER Summer School LASER Summer School on Software Engineering, Innovative Languages for Software Engineering September 2-8, 2012 - Elba Island, Italy,
• VTSA 2012 Summer School on Verification Technology, Systems and Applications, Max Planck Institute for Informatics, Saarbruecken, Germany September 03-07, 2012.
• Resource-aware Machine Learning International Summer School 2012, Dortmund, Sept. 4-7, 2012.
• Nano-Tera/ARTIST Summer School in Europe 2012 September 17-22, 2012, Aix-les-Bains, France
• HATS-FMOC 2012 HATS International School on Formal Models for Objects and Components, Bertinoro, Italy, September 24-28, 2012
• NASA/NIA PVS Class October 9-12, 2012, Hampton, Virginia:
• ROCKS autumn school RigorOus dependability analysis using model ChecKing techniques for Stochastic systems, October 22-26, 2012 in the monastery "Abbazia di Novacella (Kloster Neustift)" in Vahrn, Italy
• MOVEP 2012 12th International Summer School on MOdelling and VErifying parallel Processes, December 3 -- 7 2012, Marseille, France

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]