Search results

Create the page "Martin Hofmann" on this wiki! See also the search results found.

• TCS 2008
  Martin Hofmann (Munich)
  5 KB (698 words) - 23:08, 14 October 2008
• Networking 2009
  * [[has PC member::Markus Hofmann]], Bell Labs, USA * [[has PC member::Martin Karsten]], University Waterloo, Canada
  7 KB (981 words) - 03:18, 6 January 2009
• ESOP 2009
  * Martin Hofmann, Ludwig-Maximilians-Universität München (Germany)
  6 KB (824 words) - 23:32, 14 October 2008
• LICS 2018
  |has program chair=Martin Hofmann, Anuj Dawar, Erich Grädel ...Keynote speaker=Thierry Coquand, Javier Esparza, Shafi Goldwasser, Ursula Martin, Val Tannen
  4 KB (537 words) - 14:06, 27 August 2020