March 2012 Archives by date

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

Starting: Thu Mar 1 05:27:10 CET 2012
Ending: Fri Mar 30 14:29:31 CEST 2012
Messages: 55

• [Om-announce] Semantic Web Journal: Special Call for Linked Dataset Descriptions   Pascal Hitzler
• [Om-announce] MathUI 2012: first call for papers (Mathematical User Interfaces Workshop)   Paul Libbrecht
• [Om-announce] WADT 2012: Second Call for Papers   WADT 2012
• [Om-announce] ARW 2012 Last Call for Abstracts   Renate Schmidt
• [Om-announce] Deadline Extended - 9th International Conference on Security and Cryptography (SECRYPT 2012)   SECRYPT 2012
• [Om-announce] [simu-conf] Methodologies Track at WinterSim   vsim-conf at sce.carleton.ca
• [Om-announce] PHD position on SAT/SMT applications to requirement engineering in Trento   Roberto Sebastiani
• [Om-announce] PHD position on SMT-based formal verification in Trento   Roberto Sebastiani
• [Om-announce] "Invited researcher" position at LIAFA, Paris, France: Software Analysis   Tayssir Touili
• [Om-announce] Application deadline approaching for LASER Summer School 2012: Innovative Languages for Software Engineering   Nadia Polikarpova
• [Om-announce] Call for Papers - 17th European Symposium on Research in Computer Security (ESORICS 2012)   ESORICS 2012
• [Om-announce] Semantic Web Journal: Special Call for Surveys on Application Areas of Semantic Technologies   Pascal Hitzler
• [Om-announce] CFP: TIME'12   Martin Leucker
• [Om-announce] Turing Centenary Meeting, Chinese Academy of Sciences, Beijing, China   S B Cooper
• [Om-announce] Turing Centenary Meeting, Chinese Academy of Sciences, Beijing, China   S B Cooper
• [Om-announce] [DEADLINE APPROACHING] 6th IEEE Inter. Conf. on Digital Ecosystems Technologies - Complex Environment Engineering (IEEE DEST-CEE 2012)   Fulvio Frati
• [Om-announce] Intersection Types and Related Systems (ITRS 2012) -- 2nd CFP   Luca Paolini
• [Om-announce] SSNC 2012: 2nd announcement   GRLMC
• [Om-announce] Final CfP: ESSLLI 2012 Student Session   ESSLLI 2012 Student Session
• [Om-announce] ICA3PP 2012 Call For Papers   Yu Wang
• [Om-announce] CFP: BOOGIE 2012 - 2nd International Workshop on Intermediate Verification Languages   Zvonimir Rakamaric
• [Om-announce] SSFLA 2012: final announcement   GRLMC
• [Om-announce] [simu-conf] Special Sessions - Methodologies Track - WINTERSIM'12   vsim-conf at sce.carleton.ca
• [Om-announce] Please distribute: Texas Linguistics Society (TLS) 13: Call for Papers   Justin Cope
• [Om-announce] IEEE DEST-CEE 2012: Deadline Extended to April 2, 2012   Fulvio Frati
• [Om-announce] Deadline Approaching - 9th International Conference on Security and Cryptography (SECRYPT 2012)   SECRYPT 2012
• [Om-announce] WING 2012: Second Call for Papers -- 3 weeks to go   Gudmund Grov
• [Om-announce] SEC 2012 - Call for Participation   sara.foresti at unimi.it
• [Om-announce] Deadline Approaching - 9th International Conference on Security and Cryptography (SECRYPT 2012)   SECRYPT 2012
• [Om-announce] FMICS 2012: 3rd call for papers   Ralf Pinger
• [Om-announce] Deadline Approaching - 17th European Symposium on Research in Computer Security (ESORICS 2012)   ESORICS 2012
• [Om-announce] SecTest2012: Call for Participation   avantssar at resin.csoft.net
• [Om-announce] CFP: AiML 2012 (with deadline extension)   Thomas Bolander
• [Om-announce] CfP: Petri Nets and Software Engineering (PNSE'12)   PNSE12
• [Om-announce] CFP - Synasc2012, Timisoara, Romania   Dramnesc Isabela
• [Om-announce] Informatics Europe Curriculum Award 2012 - Embedded and Mobile Computing   Cristina Pereira
• [Om-announce] TPNC 2012: 2nd call for papers   GRLMC
• [Om-announce] 2nd CFP: 18th International Conference on Principles & Practice of Constraint Programming   Association ConstraintProgramming
• [Om-announce] CfP: WAVE 2012, Workshop on Advances in Verification for Eiffel   Scott West
• [Om-announce] Call for Participation: RTA 2012   Georg Moser
• [Om-announce] ESOCC'12: Second call for papers   Ernesto Pimentel Sánchez
• [Om-announce] ICA3PP 2012 Call For Papers   Yu Wang
• [Om-announce] Intersection Types and Related Systems (ITRS 2012) -- Final Call   Luca Paolini
• [Om-announce] Deadline Extended - 17th European Symposium on Research in Computer Security (ESORICS 2012)   ESORICS 2012
• [Om-announce] WADT 2012: Final Call for Papers   WADT 2012
• [Om-announce] CFP - ICISS 2012   Shamik Sural
• [Om-announce] CfP: Math Information Retrieval Worksohp 14. July 2012   m.kohlhase at jacobs-university.de
• [Om-announce] Semantic Web Journal Special Call for Papers: Big Data and the Semantic Web   Pascal Hitzler
• [Om-announce] CFP MICAI-2012, Artificial Intelligence, Springer LNAI, Mexico, Oct-Nov 2012   MICAI-2012
• [Om-announce] ARCOE-12: Second Call for Papers   ARCOE Announcement
• [Om-announce] SEC 2012 Call for Participation (deadline for early registration: April 4, 2012)   sara.foresti at unimi.it
• [Om-announce] The Turing Centenary Conference in Manchester: 2nd Call for Papers and Call For Participation   Geoff Sutcliffe

Last message date: Fri Mar 30 14:29:31 CEST 2012
Archived on: Mon Apr 2 10:30:03 CEST 2012

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