[TYPES/announce] (CFP) Certified Programs and Proofs 2013 - First Call for Papers

paper is expected to present it at the conference. Organisation :Program Co-Chairs: Georges Gonthier (Microsoft Research Cambridge) & Michael Norrish (NICTA) :General Chair: Peter Schachte, University of Melbourne Program Commi

[TYPES/announce] (CFP) Certified Programs and Proofs 2013 - Second Call for Papers

Cambridge) & Michael Norrish (NICTA) :General Chair: Peter Schachte, *University of Melbourne* :Website: http://cpp2013.forge.nicta.com.au Program Committee ^ = === Derek Dreyer MPI-SWS William Fa

[TYPES/announce] (CFP) Certified Programs and Proofs 2013 - Final Call for Papers

conference. Organisation :Program Co-Chairs: Georges Gonthier (Microsoft Research Cambridge) & Michael Norrish (NICTA) :General Chair: Peter Schachte, *University of Melbourne* :Website: http://cpp2013.forge.nicta.com.au Program Commi

[TYPES/announce] (CFP) Certified Programs and Proofs 2013 - Weekend Extension on Final Submissions

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Due to author request, we have extended the final submission deadline until Monday, 17 June. Thanks for submitting to CPP 2013! -- Michael

[TYPES/announce] Workshop on Mechanizing Metatheory

y) or Postscript that is interpretable by Ghostscript and printable on US Letter or A4 sized paper. Conference Organization Program Committee + Karl Crary, Carnegie Mellon University + Gerwin Klein, National ICT Australia + Michael Norrish, National ICT Aust

[TYPES/announce] Workshop on Mechanising Metatheory (WMM07): submission deadline approaches

y) or Postscript that is interpretable by Ghostscript and printable on US Letter or A4 sized paper. Conference Organization Program Committee + Karl Crary, Carnegie Mellon University + Gerwin Klein, National ICT Australia + Michael Norrish, National ICT Aust

[TYPES/announce] Call for FLoC 2010 Workshops

ng seven conferences will participate in FLoC: - International Conference on Computer-Aided Verification (CAV). Workshop Chair: Tomas Vojnar . - International Conference on Interactive Theorem Proving (ITP). Workshop Chair: Michael Norrish . - International Conference o

[TYPES/announce] (2nd) Call for FLoC 2010 Workshops

Edinburgh. The following seven conferences will participate in FLoC: - International Conference on Computer-Aided Verification (CAV). Workshop Chair: Tomas Vojnar . - International Conference on Interactive Theorem Proving (ITP). Workshop Chair: Michael Norrish . - Internat