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

Jahr