Search results

Create the page "Peter Thiemann" on this wiki! See also the search results found.

• ESOP 2009
  * Peter Sestoft, IT University of Copenhagen (Denmark) * Peter Sewell, University of Cambridge (UK)
  6 KB (824 words) - 23:32, 14 October 2008
• ICTAC 2018
  |has Keynote speaker=Yves Bertot, Tommie Meyer, Gennaro Parlato, Peter Thiemann
  1 KB (196 words) - 07:48, 1 April 2020
• ESOP 2016
  |has program chair=Peter Thiemann
  430 bytes (51 words) - 12:17, 7 April 2020
• PPDP 2018
  |has program chair=Peter Thiemann |Has PC member=Peter Thiemann, Beniamino Accattoli, Sergio Antoy, Roman Barták, Annette Bieniusa, Wei-Ng
  1 KB (192 words) - 11:33, 8 April 2020