Universit?t Bamberg
Suche ?ffnen
Sie befinden sich hier:

Fakult?t Wirtschaftsinformatik und Angewandte Informatik

Grundlagen der Informatik

  1.  Otto-Friedrich-Universit?t Bamberg
  2. Fakult?ten
  3. Wirtschaftsinformatik und Angewandte Informatik
  4. Professuren und Lehrstühle
  5. Informatik
  6. Grundlagen der Informatik
  7. Team
  8. Michael Mendler
  9. Workshops

Workshops

  • IMLA'99 -- Workshop on Intuitionistic Modal Logics and Applications (LICS'99 affiliated)
  • SFEDL'02 -- Workshop on Semantic Foundations of Engineering Design Languages (ETAPS'02 affiliated)
  • IMLA'02 -- Workshop on Intuitionistic Modal Logics and Applications (LICS'02 affiliated)
  • SFEDL'04 -- Workshop on Semantic Foundations of Engineering Design Languages (ETAPS'04 affiliated)
  • SLA++P'07 -- Model-driven High-level Programming of Embedded Systems (ETAPS'07 affiliated)
  • SYNCHRON 2007 -- International Open Workshop on Synchronous Programming
  • IMLA'08 -- Workshop on Intuitionistic Modal Logics and Applications (LICS'08 affiliated)
  • Workshop on Logical Dialogue Games 2015 -- Vienna, September 28 - 30, 2015 (joint with University of Vienna)
  • SYNCHRON 2016 -- International Open Workshop on Synchronous Programming
  • SYNCHRON 2024 -- International Open Workshop on Synchronous Programming