| школа |
deadline |
время проведения |
место проведения |
| IV Российская летняя школа по информационному поиску (RuSSIR 2010) |
01.06.2010 |
13–18.09.2010 |
Воронеж, Россия |
| European Summer School in Logic, Language and Information (ESSLLI 2010) |
03.05.2010 |
09–10.08.2010 |
Копенгаген, Дания |
| Biology and Computer Science: Modelling and Computing |
20.04.2010 |
10–17.07.2010 |
Lipari Island |
| Fall school of Logic & Complexity |
15.04.2010 |
20–24.09.2010 |
Прага, Чехия |
| ICCL Summer School 2010 Cognitive Science, Computational Logic and Connectionism |
01.04.2010 |
29.08–11.09.2010 |
Dresden |
| LASER Summer School on Software Engineering: Empirical Software Engineering |
31.03.2010 |
05–11.09.2010 |
Италия |
| 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Quantitative Aspects of Programming Languages |
29.03.2010 |
21–26.06.2010 |
Италия |
| Third International School on Trends in Concurrency |
28.03.2010 |
23–30.05.2010 |
IIIT–Bangalore, India |
| Fifth RISC/SCIEnce Training School in Symbolic Computation |
01.03.2010 |
28.06–09.07.2010 |
Австрия |
| Midlands Graduate School in the Foundations of Computing Science |
01.03.2010 |
28.03–01.04.2010 |
Sheffield, UK |
| Automatic Verification and Analysis of Complex Systems |
28.02.2010 |
15–19.03.2010 |
Германия |
| Microsoft Data Structures and Algorithms School (MIDAS) |
28.02.2010 |
08–14.08.2010 |
Санкт–Петербург, Россия |
| Spring School on Generic and Indexed Programming |
19.02.2010 |
22–26.03.2010 |
Оксфорд |
| Quantitative Model Checking PhD School |
01.02.2010 |
02–05.03.2010 |
Копенгаген, Дания |
| 15th Estonian Winter School in Computer Science (EWSCS) |
15.01.2010 |
28.02–05.03.2010 |
Эстония |
| Winter School in Computer Science |
14.12.2009 |
11.01–19.02.2010 |
Лион, Франция |
| JAIST Advanced School on Formal Specification and Systems Verification 2010 (JAIST–FSSV2010) |
27.11.2009 |
01–05.03.2010 |
Япония |
| Autumn School on Complexity Management in Embedded Tera Systems (COMES) |
14.11.2009 |
16–20.11.2009 |
Лугано, Швейцария |
| Logic Summer School |
06.11.2009 |
7–8.12.2009 |
Австралия |
| FIRST Autumn School on Modal Logic |
19.10.2009 |
10–11.11.2009 |
Дания |
| Verification Technology, Systems & Applications |
30.08.2009 |
12–16.10.2009 |
Франция |
| 4th European Summer School on Aspect–oriented Software Development |
31.07.2009 |
24–28.08.2009 |
Франция |
| 10th Max Planck Advanced Course on the Foundations of Computer Science |
17.07.2009 |
14–18.09.2009 |
Саарбрюкен, Германия |
| 8th Estonian Summer School on Computer and Systems Science |
15.06.2009 |
23–27.08.2009 |
Эстония |
| Baltic Summer School 2009 |
15.06.2009 |
7–22.08.2009 |
Эстония |
| 9th International School on Foundations of Security Analysis and Design |
15.06.2009 |
30.08–04.09.2009 |
Италия |
| NoNA Summer School on Complexity Theory |
30.04.2009 |
12–16.08.2009 |
Санкт–Петербург, Россия |
| Spring School on Fixed Parameter and Exact Algorithms |
23.04.2009 |
25–29.05.2009 |
Корсика, Франция |
| Fifth FRUCT seminar |
20.04.2009 |
29–30.04.2009 |
Санкт–Петербург, Россия |
| Summer School on Theory and Practice of Language Implementation |
17.04.2009 |
23–31.07.2009 |
Орегон, США |
| LASER Summer School on Software Engineering. Software Testing: The Practice And The Science |
15.04.2009 |
06–12.06.2009 |
Италия |
| Fall school of Logic & Complexity |
15.04.2009 |
21–25.09.2009 |
Прага, Чехия |
| 3rd Summer School on Generative and Transformational Techniques in Software Engineering |
03.04.2009 |
06–11.07.2009 |
Португалия |
| Высокопроизводительные и параллельные вычисления в научных исследованиях |
31.03.2009 |
19–25.06.2009 |
Москва, Россия |
| 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Web Services |
16.03.2009 |
01–06.06.2009 |
Италия |
| JASS'09, курс Propositional Proof Complexity |
18.02.2009 |
29.03–07.04.2009 |
Санкт–Петербург, Россия |
| NoNA Spring School on Algorithms |
12.12.2008 |
12–15.03.2009 |
Стамбул, Турция |
| 14th Estonian Winter School in Computer Science (EWSCS) |
16.01.2009 |
01–06.03.2009 |
Палмсэ, Эстония |
| 9th Max–Planck Advanced Course on the Foundations of Computer Science (ADFOCS) |
01.07.2008 |
18–22.08.2008 |
Саарбрюкен, Германия |
| European Summer School in Logic, Language and Information (ESSLLI) |
07.2008 |
04–15.08.2008 |
Гамбург, Германия |
| LASER Summer School on Software Engineering — Concurrency and Correctness |
30.06.2008 |
07–13.09.2008 |
Италия |
| USI — CMU Summer School on Dependable Computer Systems |
02.06.2008 |
30.06 — 04.07.2008 |
Лугано, Швейцария |
| II Российская летняя школа по информационному поиску (RuSSIR) |
01.06.2008 |
01.09 — 05.09.2008 |
Таганрог, Россия |
| Ferienakademie |
16.05.2008 |
21.09 — 03.10.2008 |
Италия |
| Fall school of LOGIC & COMPLEXITY |
15.05.2008 |
22.09 — 26.09.2008 |
Прага, Чехия |
| ICCL Summer School 2008 |
01.04.2008 |
24.08 — 06.09.2008 |
Дрезден, Германия |
| Joint Advanced Student School (JASS) |
02.2008 |
09.03 — 19.03.2008 |
Санкт–Петербург, Россия |
| 13th Estonian Winter School in Computer Science (EWSCS) |
18.02.2008 |
02.03 — 07.03.2008 |
Палмсэ, Эстония |
