March 2018 Archives by thread

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

Starting: Thu Mar 1 04:29:16 CET 2018
Ending: Sat Mar 31 21:39:43 CEST 2018
Messages: 34

• [fg-arc] KR 2018 Call for Papers ** INVITED SPEAKERS ANNOUNCED **   Marcello Balduccini
• [fg-arc] [ESSoS'18] International Symposium on Engineering Secure Software and Systems (Deadline in 8 days!)   Raoul Strackx
• [fg-arc] Eighth Summer School on Formal Techniques, Atherton, California, May 19-25, 2018   Natarajan Shankar
• [fg-arc] FOCLASA 2018 - First call for papers   Jacopo Soldani
  • [fg-arc] FOCLASA 2018 - First call for papers   Jacopo Soldani
• [fg-arc] CfP: SummerSoC - symposium and summer school for service-oriented computing and more   Oliver Kopp
• [fg-arc] HighPer 2018: early registration March 7   GRLMC
• [fg-arc] DeepLearn 2018: early registration March 12   GRLMC
• [fg-arc] QBFEVAL'18 - Call for Contributions   Luca Pulina
• [fg-arc] VerifyThis 2018: Call for Participation and Travel Grants   Andrei Paskevich
• [fg-arc] [ESSoS'18] International Symposium on Engineering Secure Software and Systems (Deadline in 2 days!)   Raoul Strackx
• [fg-arc] 2018 European Conference on Ambient Intelligence (AmI 2018): Second Call for Papers   Announce Announcements
• [fg-arc] LATA 2018: call for participation   IRDTA
• [fg-arc] Second call for Papers: HVCS'18 - 5th Workshop on Horn Clauses for Verification and Synthesis   German Vidal
• [fg-arc] Call for Papers F-IDE 2018   Rosemary Monahan
• [fg-arc] Research Centre on Interactive Media, Smart System and Emerging Technologies (RISE): Research Vacancies   Announce Announcements
• [fg-arc] 10th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2018): Second Call for Contributions   Announce Announcements
• [fg-arc] AlCoB 2018: call for posters   IRDTA
• [fg-arc] LOPSTR 2018 Final CFP   Fred Mesnard
• [fg-arc] LOPSTR 2018: Final Call for Papers   Fred Mesnard
• [fg-arc] 15th European Mediterranean & Middle Eastern Conference on Information Systems (EMCIS 2018): Second Call for Papers   Announce Announcements
• [fg-arc] SLSP 2018: 2nd call for papers   IRDTA
• [fg-arc] 24th International Symposium on Methodologies for Intelligent Systems (ISMIS 2018): Third Call for Papers   Announce Announcements
• [fg-arc] ETAPS 2019 - 2nd Call for Satellite Events   Bara Buhnova
• [fg-arc] CFP: Formal Methods for Intelligent Systems @ ISMIS 2018   Marco Roveri
• [fg-arc] Noch 4 Tage: CfP 9. Workshop „Design for Future – Langlebige Softwaresysteme“ (DFF 2018) - Teil des WSRE 20.0   Stefan Sauer
• [fg-arc] LAST CFP: VL/HCC 2018 - IEEE Symposium on Visual Languages and Human-Centric Computing   Rui Pereira
• [fg-arc] 14th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob 2018): Second Call for Papers and Workshop Proposals   Announce Announcements
• [fg-arc] PhD position   Gwen Salaün
• [fg-arc] HighPer 2018: early registration March 30   IRDTA
• [fg-arc] 2018 European Conference on Ambient Intelligence (AmI 2018): Call for Workshop Proposals   Announce Announcements
• [fg-arc] QBFEVAL'18 -- Registration closes in 1 week   Luca Pulina
• [fg-arc] WADT 2018 - 2nd Call for Papers   WADT 2018
• [fg-arc] Call for Papers - MIWAI 2018 @Hanoi, Vietnam, 18-20 Nov. 2018   Nicolas Schwind

Last message date: Sat Mar 31 21:39:43 CEST 2018
Archived on: Sun Apr 1 10:49:19 CEST 2018

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