November 2010 Archives by author

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...

Starting: Mon Nov 1 13:13:59 CET 2010
Ending: Tue Nov 30 17:25:57 CET 2010
Messages: 16

• [Om-announce] Master Course Computational Logic   Bertram Fronhöfer
• [Om-announce] TAP 2011: Tests and Proofs   Carlo Alberto Furia
• [Om-announce] ICECCS 2011: Engineering of Complex Computer Systems   Carlo Alberto Furia
• [Om-announce] [fm-announcements] NASA Formal Methods Symposium - NFM 2011 : Third Call for Papers   Havelund, Klaus (317J)
• [Om-announce] Semantic Web Journal: Call for Special Issue Proposals   Pascal Hitzler
• [Om-announce] Second Call for Papers - Special Issue of Journal of Symbolic Computation on Reasoning about Loops   Laura Kovacs
• [Om-announce] MetiTarski 1.7 released!   Lawrence Paulson
• [Om-announce] WoLLIC 2011, Philadelphia, May 18-21, 2011 - Call for Papers   Ruy de Queiroz
• [Om-announce] CAV 2011 CALL FOR PAPERS   Sandip Ray
• [Om-announce] Interactive Theorem Proving - ITP 2011: Preliminary call for papers   Julien Schmaltz
• [Om-announce] 1 CFP Test And Proof   Burkhart Wolff
• [Om-announce] Second Call for Papers: DisCoTec 2011, Reykjavik, Iceland (COORDINATION + DAIS + FMOODS/FORTE)   DisCoTec2011 at publicizing.org
• [Om-announce] [simu-conf] Symposium of Theory of Modeling & Simulation (TMS/DEVS'11) - DEADLINE APPROACHING   vsim-conf at sce.carleton.ca
• [Om-announce] [simu-conf] Symposium of Theory of Modeling & Simulation (TMS/DEVS'11) - DEADLINE EXTENDED   vsim-conf at sce.carleton.ca
• [Om-announce] [simu-conf] PADS 2011 - CFP   vsim-conf at sce.carleton.ca
• [Om-announce] LATA 2011: 2nd call for papers   carlos.martin at urv.cat

Last message date: Tue Nov 30 17:25:57 CET 2010
Archived on: Wed Dec 1 10:07:49 CET 2010

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...