December 2014 Archives by subject

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

Starting: Mon Dec 1 06:43:17 CET 2014
Ending: Wed Dec 31 15:46:07 CET 2014
Messages: 17

• [fg-arc] 20th Intl. Symposium on Formal Methods (FM 2015), Oslo. 2nd CFP   Martin Steffen
• [fg-arc] [fm-announcements] First CFP: CRV15 - 2nd Competition on Runtime Verification   Klaus Havelund
• [fg-arc] AlCoB 2015: 2nd call for papers   GRLMC
• [fg-arc] Ausschreibung W2-Professur Angewandte Softwaretechnik, Uni Hamburg, bis 29.1.2015   Riebisch, Matthias
• [fg-arc] BigDat 2015: registration deadline 23 December   GRLMC
• [fg-arc] Call for papers TTCS'15 (Tehran, Iran)   Mahdi Jaghoori
• [fg-arc] Deadline Extension: FESCA at ETAPS 2015   Happe, Lucia (IPD)
• [fg-arc] EDOC 2015 - Call for Papers   Muzaffar Igamberdiev (IEE)
• [fg-arc] First call for papers LOPSTR 2015 -- 25th International Symposium on Logic-Based Program Synthesis and Transformation -- Siena, Italy   FALASCHI MORENO
• [fg-arc] FM 2015: Final Call for Papers (20th Intl. Symposium on Formal Methods, Oslo)   Martin Steffen
• [fg-arc] Frühbucher für SE/SWM 17.3-20.32015 in Dresden   Uwe Assmann
• [fg-arc] ICAC 2015, Call for Papers   Shaolei Ren
• [fg-arc] InfoSec 2015: 1st announcement   GRLMC
• [fg-arc] InfoSec 2015: registration deadline 3 January   GRLMC
• [fg-arc] PPDP 2015 Call for papers -- 17th International Symposium on Principles and Practice of Declarative Programming -- Siena, Italy   FALASCHI MORENO
• [fg-arc] Preliminary Program - IEOM 2015 Dubai Conference   Ahad Ali
• [fg-arc] Präsentieren Sie Ihre Gründungsidee im Startup-Programm der SE 2015 | Software Engineering   Andreas Zeller

Last message date: Wed Dec 31 15:46:07 CET 2014
Archived on: Sun Jan 4 10:55:51 CET 2015

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