January 2014 Archives by thread

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

Starting: Thu Jan 2 05:42:01 CET 2014
Ending: Fri Jan 31 10:46:55 CET 2014
Messages: 57

• [Om-announce] CFP NFSP with ICDCS14, Madrid, Spain, June 30-July 3.   Shui Yu
• [Om-announce] IFIP SEC 2014 - Deadline approaching   sara.foresti at unimi.it
• [Om-announce] Call for Papers: FormaliSE 2014 (3 June 2014, Hyderabad, India)   Nico Plat
• [Om-announce] CiE 2014: Language, Life, Limits - Budapest, 23-27 June 2014 - 3rd CfP   S B Cooper
• [Om-announce] CiE 2014: Language, Life, Limits - Budapest, 23-27 June 2014 - 3rd CfP   S B Cooper
• [Om-announce] Special Session on Multi-Agent Macroeconomics - DCAI 2014   CIE (S B Cooper)
• [Om-announce] First Call for Papers: FMICS 2014   Wendelin Serwe
• [Om-announce] 1st CFP, Intersection Types and Related Systems 2014   Luca
  • [Om-announce] Joint 25th RTA & 12th TLCA: Final CALL FOR PAPERS   Luca Paolini
    • [Om-announce] Joint 25th RTA & 12th TLCA: Last reminder   Luca
      • [Om-announce] Joint 25th RTA & 12th TLCA: Deadline extension   Luca
• [Om-announce] 1st CFP: 14th International Conference on Runtime Verification September 22 – 25, 2014 Toronto, Canada   Nadia Polikarpova
• [Om-announce] SECTEST 2014 - Deadline Extension   Matthias Buechler
• [Om-announce] Call for Papers - 28th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSec'14)   Giovanni Livraga
• [Om-announce] WISTP 2014 - Call for papers   sara.foresti at unimi.it
• [Om-announce] DEADLINE: January 31, 2014   Bertram Fronhöfer
• [Om-announce] Second CFP: The 7th International Conference for Entrepreneurship, Innovation and Regional Development (ICEIRD 2014)   Announce Announcements
• [Om-announce] Call for Papers: SETTA 2014, August 14-17, Nanjing, China   zhanglijun79 at gmail.com
• [Om-announce] ESSS workshop 2014 (co-located with FM 2014 in Singapore) -- 2nd call for papers   Jun PANG
• [Om-announce] SAFECOMP'14 Call For Papers   Francesco Flammini
• [Om-announce] MEDI 2014: First Call for Papers   Announce Announcements
• [Om-announce] CFP AROSA 2014 including JSS special issue   Slim Kallel
• [Om-announce] ICSOB 2014: Industry Day - Final Call for Papers   Announce Announcements
• [Om-announce] SSTiC 2014: January 18, 2nd registration deadline   GRLMC
• [Om-announce] KICSS 2014: Preliminary Call for Papers   Announce Announcements
• [Om-announce] SEFM 2014: Second Call for Papers and Workshop Proposals   lina.ye at inria.fr
• [Om-announce] IJCAR 2014 - Deadline Extended and Final Call for Papers   Geoff Sutcliffe
• [Om-announce] IJCAR 2014 - Deadline Extended and Final Call for Papers   Morgan Deters
• [Om-announce] 4th IEEE International Workshop on Data Center Performance (DCPerf'14)   Peter Mueller
• [Om-announce] PhD positions at ETH Zurich in concurrency & verification (ERC advanced investigator project)   Sebastian Nanz
• [Om-announce] CFP NFSP Workshop with ICDCS14, Spain, Due on Feb. 28, 2014.   Shui Yu
• [Om-announce] Call for papers: IEEE Conference on Communications and Network Security (CNS 2014)   sara.foresti at unimi.it
• [Om-announce] CfP: TASE'2014, Theoretical Aspects of Software Engineering, Changsha, China   Martin Leucker
• [Om-announce] Postdoc positions in SAT/SMT-based Verification available in Trento   Roberto Sebastiani
• [Om-announce] Last Mile: Fifth International Conference on Software Business (ICSOB 2014)   Announce Announcements
• [Om-announce] IFIP SEC 2014 - Deadline extended!!   sara.foresti at unimi.it
• [Om-announce] ICTAI 2014: First Call for Papers   Announce Announcements
• [Om-announce] Call for Papers: ICFEM 2014, Luxembourg, 3-7 November 2014   Liu Yang (Asst Prof)
• [Om-announce] 9th IEEE International Conference on Global Software Engineering (ICGSE)   Nordio Dario Martin
• [Om-announce] SAT 2014: Last Call for Papers   Carsten Sinz
• [Om-announce] Herbrand Award Nominations, 2014   Geoff Sutcliffe
• [Om-announce] Call for Papers: FormaliSE 2014 [Final deadline 31 January 2014]   Nico Plat
• [Om-announce] GandALF 2014: Preliminary call for papers   murano at na.infn.it
• [Om-announce] Call for Paper: IEEE 2014 Fourth International Workshop on Security and Privacy Engineering (SPE2014)   Fulvio Frati
• [Om-announce] Call for Papers - 28th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSec'14)   Giovanni Livraga
• [Om-announce] ICEIRD 2014: *** Submission Deadline Extension ***   Announce Announcements
• [Om-announce] 2nd Call for Papers: ICECCS 2014, Tianjin, China, 4-7 Aug 2014   Liu Yang (Asst Prof)
• [Om-announce] SLSP 2014: 1st call for papers   GRLMC
• [Om-announce] [simu-conf] Call for Papers - SummerSim 2014 - Moterrey, CA   vsim-conf at sce.carleton.ca
• [Om-announce] CFP: 1st International Workshop on Cloud for Bio (C4Bio 2014) at CCGrid 2014   Javier Garcia Blas
• [Om-announce] IEEE Intl. Workshop on Data Center Performance (DCPerf'14)   Peter Mueller
• [Om-announce] FINAL CALL - The 2014 International Conference on Collaboration Technologies and Systems (CTS 2014)   Waleed Smari
• [Om-announce] ICECCS 2014: IEEE International Conference on Engineering of Complex Computer Systems   ICECCS at unknown.domain
• [Om-announce] Vienna Summer of Logic Announcement   Geoff Sutcliffe
• [Om-announce] Vienna Summer of Logic Announcement   Morgan Deters
• [Om-announce] 1st CFP SYNASC 2014, 22-25 September, Timisoara, Romania   SYNASC 2014
• [Om-announce] Post-doc position at Convecs team (Inria/LIG)   Wendelin Serwe

Last message date: Fri Jan 31 10:46:55 CET 2014
Archived on: Mon Feb 3 10:58:49 CET 2014

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