Inhalt des Dokuments
Aktuelles
Dagstuhl Seminar – Eingeladener Vortrag
Dienstag, 02. April 2013
Eingeladener Vortrag von Uwe Nestmann mit dem Titel "Verifying Consensus ... using Process Calculi, State Machines, and Proof Checkers" beim Dagstuhl Seminar Formal Verification of Distributed Algorithms.
Wiederwahl zum Studiendekan der Fakultät IV
Montag, 01. April 2013
Uwe Nestmann wurde in der Sitzung des FKR vom 27.03.2012 für die Periode 01.04.2013-31.03.2015 erneut zum Studiendekan gewählt.
Artikel akzeptiert (ESOP 2013)
Samstag, 15. Dezember 2012
Artikel "On Distributability in Process Calculi" akzeptiert für ESOP 2012 (Co-Autoren Kirstin Peters, Uwe Nestmann, Ursula Goltz)
METHOD 2013 - Programmkommittee
Mittwoch, 28. November 2012
Uwe Nestmann wurde zum Programmkommittee des
"2nd IEEE International Workshop on Methods for Establishing Trust with Open Data" (METHOD 2013) eingeladen.
FMOODS/FORTE 2013 - Programmkommittee
Donnerstag, 08. November 2012
Uwe Nestmann wurde zum Programmkommittee von FMOODS/FORTE 2013 eingeladen.
IFIP WG 2.2 Meeting 2012 - Eingeladener Vortrag
Mittwoch, 26. September 2012
Eingeladener Vortrag von Uwe Nestmann beim jährlichen Treffen der IFIP WG 2.2 Formal Description of Programming Concepts, dieses Mal am CWI in Amsterdam.
Artikel akzeptiert (IFIP TCS 2012)
Montag, 25. Juni 2012
Artikel "Formal Verification of Distributed Algorithms – From Pseudo Code to Checked Proofs" akzeptiert für IFIP TCS 2012 (Co-Autoren Philipp Küfner, Uwe Nestmann, Christina Rickmann)
Artikel akzeptiert (TLA 2012)
Samstag, 16. Juni 2012
Artikel "Automated Generation of Refinement Mappings" akzeptiert für TLA 2012 (Co-Autoren Paul-David Brodmann, Hannes Lau, Uwe Nestmann)