March 2014 Archives by thread
Starting: Sun Mar 2 09:03:51 CET 2014
Ending: Mon Mar 31 18:54:23 CEST 2014
Messages: 87
- [Om-announce] 13th International Conference on Cryptology and Network Security (CANS 2014) - Call for Papers
sara.foresti at unimi.it
- [Om-announce] ChinaCom 2014 August 14th-16th, 2014 Maoming, China
Shui Yu
- [Om-announce] Call for Paper: IEEE 2014 Fourth International Workshop on Security and Privacy Engineering (SPE2014)
Fulvio Frati
- [Om-announce] Call for workshop proposal, PICom 2014, Dalian, China
Shui Yu
- [Om-announce] 2nd Call for Paper: ICFEM 2014, Luxembourg, 3-7 November 2014
Liu Yang (Asst Prof)
- [Om-announce] Call for paper: 2014 IEEE International Workshop on Autonomic Cloud Cybersecurity (ACC 2014)
Fulvio Frati
- [Om-announce] MetiTarski 2.3 released!
Lawrence Paulson
- [Om-announce] Call for Papers ICTAC 2014, 17-20 Sept, Bucharest, Romania
Gabriel Ciobanu
- [Om-announce] CFP Synasc 22-25 September 2014, Timisoara, Romania
SYNASC 2014
- [Om-announce] Deadline Extended: TASE 2014
Martin Leucker
- [Om-announce] ASPOCP 2014: Second Call for papers.
Marco Maratea
- [Om-announce] Call for Papers - 3rd Joint Workshop on Security in Business Processes (SBP'14)
Giovanni Livraga
- [Om-announce] ESOCC 2014 - Call for Papers
Simone
- [Om-announce] TSD 2014 - Second Call for Papers
TSD 2014
- [Om-announce] CiE 2014: Language, Life, Limits - Grants, and Call for Presentations
S B Cooper
- [Om-announce] CiE 2014: Language, Life, Limits - Grants, and Call for Presentations
S B Cooper
- [Om-announce] DBSec'14 - Deadline in a few days (March 10, 2014)
Giovanni Livraga
- [Om-announce] IEEE CNS 2014 - Abstract due on March 7, 2014
sara.foresti at unimi.it
- [Om-announce] CFP ICTAC 2014 (a related event to SYNASC 2014)
SYNASC 2014
- [Om-announce] CFP: Workshop on Enhancing Parallel Scientific Applications with Accelerated HPC
Javier Garcia Blas
- [Om-announce] CfP SYNASC 2014, 22-25 Sept (an event related to ICTAC 2014)
Gabriel Ciobanu
- [Om-announce] AiML 2014: Call for Papers
Agi Kurucz
- [Om-announce] [simu-conf] SummerSim 2014: Paper Submission Deadline Approaching
vsim-conf at sce.carleton.ca
- [Om-announce] PAAR 2014 Call for Papers
Geoff Sutcliffe
- [Om-announce] Call for Participation: FM 2014, Singapore, May 12-16
jun sun
- [Om-announce] WISTP 2014 - deadlline extented to March 14, 2014
sara.foresti at unimi.it
- [Om-announce] SSTiC 2014: March 15, 4th registration deadline
GRLMC
- [Om-announce] CMCS 2014: call for participation
Alexandra Silva
- [Om-announce] Call for Participation: NASSLLI 2014 at UM, College Park
NASSLLI 2014
- [Om-announce] ESOCC 2014 Call for Workshops
Guadalupe Ortiz
- [Om-announce] CfParticipation: European Dependable Computing Conference in Newcastle
Alexander Romanovsky
- [Om-announce] SEFM 2014: Final Call for Papers
lina.ye at inria.fr
- [Om-announce] Call for Papers - 11th International Conference on Security and Cryptography (SECRYPT 2014)
SECRYPT 2014
- [Om-announce] FOCLASA 2014 - First CfP (The 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems)
FOCLASA 2014
- [Om-announce] ESSLLI 2015 --- First Call for Proposals
Achim Jung
- [Om-announce] WING 2014: Invariant Generation
Carlo Alberto Furia
- [Om-announce] IEEE CNS 2014 - deadlline extented to March 21, 2014 -- 11:59pm PDT
sara.foresti at unimi.it
- [Om-announce] WoLLIC 2014 - Call for Papers (DEADLINE APPROACHING)
Ruy de Queiroz
- [Om-announce] AiML 2014: *** Deadline EXTENSION *** to 9 April 2014
Agi Kurucz
- [Om-announce] WoLLIC 2014 - Call for Papers (DEADLINE APPROACHING)
Ruy de Queiroz
- [Om-announce] ISNCC 2014 - Deadline Approaching
Tarek Bejaoui
- [Om-announce] Call for Papers - 9th European Symposium on Research in Computer Security (ESORICS 2014)
Giovanni Livraga
- [Om-announce] Call for Papers: PNSE'14 Petri Nets and Software Engineering
PNSE14
- [Om-announce] TSD 2014 - Last Call for Papers
TSD 2014
- [Om-announce] ESSLLI 2014 Student Session Final CfP
Ronald de Haan
- [Om-announce] AVoCS 2014: 2nd Call for Papers
Wojciech Mostowski
- [Om-announce] SEFM 2014: Extended Deadlines
lina.ye at inria.fr
- [Om-announce] Last Call for Papers ICTAC 2014 (a related event to SYNASC 2014)
SYNASC 2014
- [Om-announce] J.UCS Special Issue Extended Deadline: SPECIAL ISSUE OF THE JOURNAL OF UNIVERSAL COMPUTER SCIENCE ON ADAPTIVE SERVICES FOR THE FUTURE INTERNET
Guadalupe Ortiz
- [Om-announce] [fm-announcements] NFM 2014: Second Call for Participation
Kristin Yvonne Rozier
- [Om-announce] [fm-announcements] RV 2014: 3rd Call for Papers, Deadline in 3 weeks
Klaus Havelund
- [Om-announce] Artificial Intelligence and Symbolic Computation AISC 2014
Geoff Sutcliffe
- [Om-announce] WoLLIC 2014 - Call for Papers (DEADLINE APPROACHING)
Ruy de Queiroz
- [Om-announce] European PhD Program in Computational Logic (EPCL): Call for Applications
Bertram Fronhoefer
- [Om-announce] CfP: Ontology Design Patterns descriptions. Special call of the Semantic Web journal
Pascal Hitzler
- [Om-announce] Call for Paper: IEEE 2014 Fourth International Workshop on Security and Privacy Engineering (SPE2014)
Fulvio Frati
- [Om-announce] Call for Papers - QUATIC 2014
Quatic
- [Om-announce] SLSP 2014: 2nd call for papers
GRLMC
- [Om-announce] CFP: The International Workshop on Social Networks and its Applications on Education (SoNAEdu)
Carlos Roberto de Oliveira Júnior
- [Om-announce] The 8th International Conference on Network and System Security (NSS 2014) Xi'an, China, October 15-17, 2014
Yu Wang
- [Om-announce] Second Call for Papers: FMICS 2014
Wendelin Serwe
- [Om-announce] ASPOCP 2014: Last call for papers
Marco Maratea
- [Om-announce] CALL FOR PAPERS: FHIES/SEHC 2014: Abstracts due today!
Laurie Williams
- [Om-announce] Call for Paper: The 6th IEEE International Workshop on Security Aspects of Process and Services Engineering (SAPSE2014)
Fulvio Frati
- [Om-announce] CfP MathUI 2014, Coimbra: Mathematical User Interfaces Workshop 2014
Paul Libbrecht
- [Om-announce] The European Master's Program in Computational Logic: Application until 31 May 2014
Tobias Philipp
- [Om-announce] AI4FM 2014: Call for Participation
Iain Whiteside
- [Om-announce] Call for Papers - 19th European Symposium on Research in Computer Security (ESORICS 2014)
Giovanni Livraga
- [Om-announce] RP 2014 -- First Call for Papers
Joel Ouaknine
- [Om-announce] Call for Abstracts and Papers: ICMS 2014
Chee Yap
- [Om-announce] Call for papers - 13th International Conference on Cryptology and Network Security (CANS 2014)
sara.foresti at unimi.it
- [Om-announce] MOD* 2014: Logics and MODel-checking for self-* systems (CfP)
MOD*
- [Om-announce] Call for Papers - 3rd Joint Workshop on Security in Business Processes (SBP'14)
Giovanni Livraga
- [Om-announce] SAT/SMT Summer School 2014 (part of Vienna Summer of Logic)
Georg Weissenbacher
- [Om-announce] Deadline Extension: Springer WWWJ - Special Issue on Large-scale Web Applications in Virtualized Environments
Fulvio Frati
- [Om-announce] ICOOOLPS 2014 call for papers
Olivier Zendra
- [Om-announce] [SPE 2014] Submission deadline extended (April 12, 2014)
Claudio A. Ardagna
- [Om-announce] ITRS 2014 - DEADLINE EXTENSION
Luca
- [Om-announce] RAMiCS 2014 Marienstatt Westerwald 28 April - Mai 1: 2nd CfPart
Peter Höfner
- [Om-announce] Call for Participation: FM 2014
jun sun
- [Om-announce] SSTiC 2014: April 12, 5th registration deadline
GRLMC
- [Om-announce] Call For Participation: FormaliSE 2014, Hyderabad, India, 3 June 2014
Nico Plat
- [Om-announce] International Journal of Information Technology and Web Engineering (IJITWE) Volume 8, Issue 4 Announcement
Fulvio Frati
- [Om-announce] ESSLLI 2014 Student Session Deadline Extension
Ronald de Haan
- [Om-announce] CFP: TECHNIQUES AND APPLICATIONS FOR SUSTAINABLE ULTRASCALE COMPUTING SYSTEMS (TASUS 2014)
Jesus Carretero
- [Om-announce] [fm-announcements] RV 2014: LAST Call for Papers, Deadline in 1 week
Klaus Havelund
- [Om-announce] FLoC workshops - Interpolation, Vampire
Geoff Sutcliffe
Last message date:
Mon Mar 31 18:54:23 CEST 2014
Archived on: Wed Apr 2 10:23:00 CEST 2014
This archive was generated by
Pipermail 0.09 (Mailman edition).