tagungen      

Tagungen

Tagungen zur Theorieentwicklung für Columbo:

Jahr

Monat

Ort

Veranstaltung

Thema

Folien

2014 September Caputh 24. Theorietag Skizze über das Vorhaben FE  
2013 November Hamburg Thesis-Treffen Vortrag über Theorie und Praxis in der Softwareentwicklung  
    Bremen 20. Jahrestagung der LogInf erweiterte den Blickwinkel  
  September Ilmenau 23. Theorietag romantische Umgebung Formales Esperanto
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  
2010 Oktober Baunatal 20. Theorietag Die Columbo-Architektur  
  April Berlin 8. FoMSESS Automaten mit Termalphabeten  
  Mai Bonn Jo60 Joachim von zur Gathen at 60  
2009 September Wittenberg 19. Theorietag Automaten mit Termalphabeten  
  Juli Hamburg, UHH, Geo Seminar Struktur von Ringen  
      Oberseminar Automaten mit Termalphabeten  
  Februar Dortmund 28. TAV Sind Fehler gewollt? Folien
2008 Juni Hamburg, UHH, TGI Oberseminar algebraische Semantik (diskr.)  
    Bad Honnef 27. TAV Werkzeuge IDEs - Überblick  
2007 Februar München 25. TAV TooP Statische Analyse - Überblick  
2005 November Bremen 23. TAV TooP Statische Analyse mit Columbo Folien

                                                                                                                                                                                                                                                                                                                                                                                                     


Neuigkeiten

     Aktuelles
     Motto des Tages

Software

     Downloads
     Quellcodebibliothek

Forschung

     neueste Artikel weltweit
     Artikel über Sicherheit

Muße

     Gedichte
     Musik
     Bilder

Jenseits des Üblichen ....
    

Besucher

Besucher
 




Impressum  | Ethik und Gesetz  | Haftungsausschluß  | Kontakt  | Seitenstruktur  Drucken  | © 2017 Context IT GmbH