| tagungen |
|
Tagungen
Tagungen zur Theorieentwicklung für Columbo:
Jahr |
Monat |
Ort |
Veranstaltung |
Thema |
Folien |
| 2014 | September | Caputh | 24. Theorietag | Skizze über das Vorhaben FE | Folien |
| 2013 | November | Hamburg | Thesis-Treffen | Vortrag über Theorie und Praxis in der Softwareentwicklung | Folien |
| Bremen | 20. Jahrestagung der LogInf | erweiterte den Blickwinkel | |||
| September | Ilmenau | 23. Theorietag | romantische Umgebung | Folien | |
| 2012 | Oktober | Prag | 22. Theorietag | sehr vielfältig, historisch | k.e.V. |
| 2011 | Oktober | Bielefeld | 9. FoMSess | überraschend | k.e.V. |
| September | Allrode | 21. Theorietag | tiefschürfend | k.e.V. | |
| August | Hamburg, Math. | Seminar zur math. Logik | Beweisverfahren | Kritik ... | |
| Mai | Hamburg, UHH, TGI | Oberseminar | Die Columbo-Architektur | Folien | |
| 2010 | Oktober | Baunatal | 20. Theorietag | Die Columbo-Architektur | Folien |
| April | Berlin | 8. FoMSESS | Automaten mit Termalphabeten | Folien | |
| Mai | Bonn | Jo60 | Joachim von zur Gathen at 60 | ||
| 2009 | September | Wittenberg | 19. Theorietag | Automaten mit Termalphabeten | Folien |
| Juli | Hamburg, UHH, Geo | Seminar | Struktur von Ringen | Folien | |
| Oberseminar | Automaten mit Termalphabeten | Folien | |||
| Februar | Dortmund | 28. TAV | Sind Fehler gewollt? | Folien | |
| 2008 | Juni | Hamburg, UHH, TGI | Oberseminar | algebraische Semantik (diskr.) | Folien |
| Bad Honnef | 27. TAV Werkzeuge | IDEs - Überblick | Folien | ||
| 2007 | Februar | München | 25. TAV TooP | Statische Analyse - Überblick | Folien |
| 2005 | November | Bremen | 23. TAV TooP | Statische Analyse mit Columbo | Folien |