February 2013 Archives by date

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

Starting: Fri Feb 1 16:10:04 CET 2013
Ending: Thu Feb 28 14:40:44 CET 2013
Messages: 47

• [Om-announce] [simu-conf] PADS: call for papers (deadline extension)   vsim-conf at sce.carleton.ca
• [Om-announce] [ISSAC-ANNOUNCE] ISSAC 2013 Call for Posters   William Turner
• [Om-announce] CfP: 15th Workshop on Formal Techniques for Java-like Programs (FTfJP)   Werner Michael Dietl
• [Om-announce] ICECCS 2013 in Singapore -- deadlines extended   Jun PANG
• [Om-announce] MetiTarski 2.1 released!   Lawrence Paulson
• [Om-announce] Call for Papers - 18th European Symposium on Research in Computer Security (ESORICS 2013)   Giovanni Livraga
• [Om-announce] ESSLLI 2013 Student Session 2nd CfP   Margot Colinet
• [Om-announce] WISTP 2013 Deadline Approaching   Claudio Agostino Ardagna (claudio.ardagna)
• [Om-announce] First IEEE Conference on Communications and Network Security (IEEE CNS 2013)   Peter Mueller
• [Om-announce] [DBSec 2013] Deadline Approaching (February 15, 2013)   Claudio Agostino Ardagna (claudio.ardagna)
• [Om-announce] SLSP 2013: 3rd call for papers   GRLMC
• [Om-announce] Semantic Web Journal: Call for Special Issue Proposals   Pascal Hitzler
• [Om-announce] Call for Papers: FMICS 2013   mdierkes at rockwellcollins.com
• [Om-announce] Assistant Position at University of Ulm, Computer Science, Declarative Programming   Jon Sneyers
• [Om-announce] CADE-24 Workshops   Geoff Sutcliffe
• [Om-announce] Foundations of Health Information Engineering and Systems (FHIES 2013) - call for papers   Jeremy.Gibbons at cs.ox.ac.uk
• [Om-announce] TSD 2013 - First Call for Papers   TSD 2013
• [Om-announce] CSL 2013 first call-for-papers   Ronchi Della Rocca Simona
• [Om-announce] [DBSec 2013] Deadline extension to March 1, 2013   Claudio Agostino Ardagna (claudio.ardagna)
• [Om-announce] DICE 2013 - call-for partcipation   Simona Ronchi della Rocca
• [Om-announce] Call for Papers - 15th International Conference on Formal Engineering Methods (ICFEM 2013)   Sebastian Nanz
• [Om-announce] Second Call For Papers: Conf. Intelligent Computer Mathematics (CICM 2013), July 8-12, 2013, Bath, UK   Serge Autexier
• [Om-announce] Call for Papers - 10th International Conference on Security and Cryptography (SECRYPT 2013)   SECRYPT 2013
• [Om-announce] CFP- Method for Modalities 8   Carlos Areces
• [Om-announce] IICAI-13 Call for papers   Venkateswara Rao
• [Om-announce] CFP ICLP 2013: 29th International Conference on Logic Programming, Istanbul, Turkey, August 24-28   peterschueller at sabanciuniv.edu
• [Om-announce] [fm-announcements] Call for Tutorials: RV'13   Klaus Havelund
• [Om-announce] Call for Papers - 18th European Symposium on Research in Computer Security (ESORICS 2013)   Giovanni Livraga
• [Om-announce] [simu-conf] Summer Simulation Conference - Toronto, ON - July 7 2013 - EXTENDED DEADLINE   vsim-conf at sce.carleton.ca
• [Om-announce] SLATE 2013 - Second Call For Papers - Symposium on Languages, Applications and Technologies   Ricardo Rocha
• [Om-announce] CFP: 10th CHR Workshop in Berlin, July 2013   Jon Sneyers
• [Om-announce] 2nd Call for Workshop Proposals ICLP 2013: 29th International Conference on Logic Programming, Istanbul, Turkey, August 24-29   Hans Tompits
• [Om-announce] AI4FM 2013 : First Call For Papers (ITP 2013 workshop)   Ewen Maclean
• [Om-announce] PHD positions in SAT/SMT-based Verification available in Trento   Roberto Sebastiani
• [Om-announce] FMCAD 2013 First Call for Papers   Chao Yan
• [Om-announce] Call for Workshop Proposal, ICFEM 2013   jun sun
• [Om-announce] ICCL Summer School 2013   Bertram Fronhöfer
• [Om-announce] IEEE 2013 Third International Workshop on Security and Privacy Engineering (SPE2013)   Fulvio Frati
• [Om-announce] RTCSA 2013 - Second Call for Papers   Linh Thi Xuan Phan
• [Om-announce] First IEEE Conference on Communications and Network Security (IEEE CNS 2013)   Peter Mueller
• [Om-announce] ESOCC 2013 CFP: European Conference on Service-Oriented and Cloud Computing   Javier Cubo
• [Om-announce] LATA 2013: call for participation   URV - RESEARCH GROUP ON MATHEMATICAL LINGUISTICS
• [Om-announce] IEEE TrustCom/ISPA/IUCC 2013, July 16-18, Melbourne, Australia   Yu Wang
• [Om-announce] LASER Summer School 2013: Software for the Cloud and Big Data   Nadia Polikarpova
• [Om-announce] [DBSec 2013] Deadline Approaching (March 1, 2013)   Claudio Agostino Ardagna (claudio.ardagna)
• [Om-announce] First CFP SYNASC 2013, Timisoara, Romania   SYNASC 2013

Last message date: Thu Feb 28 14:40:44 CET 2013
Archived on: Fri Mar 1 10:06:40 CET 2013

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