May 2014 Archives by subject

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

Starting: Thu May 1 00:36:58 CEST 2014
Ending: Sat May 31 18:36:18 CEST 2014
Messages: 94

• [Om-announce] 1st ACM Workshop on Moving Target Defense (MTD 2014) - Call for Papers   sara.foresti at unimi.it
• [Om-announce] 2014 Australasian Telecommunication Networks and Applications Conference , due in 10 days   Shui Yu
• [Om-announce] [2nd CFP] - SeaClouds - First workshop on seamless adaptive multi-cloud management of service-based applications   fazzolar at di.unipi.it
• [Om-announce] [ADG2014]: Cfp (Extension to May 11, 2014)   Miguel Á. Abánades
• [Om-announce] [CFP] SeaClouds - First workshop on seamless adaptive multi-cloud management of service-based applications   fazzolar at di.unipi.it
• [Om-announce] [CFP] SeaClouds - First workshop on seamless adaptive multi-cloud management of service-based applications   fazzolar at di.unipi.it
• [Om-announce] [CFP] SoNAEdu 2014: August, Beijing, China - Deadline May 15   Carlos Roberto de Oliveira Júnior
• [Om-announce] [fm-announcements] Fourth Summer School on Formal Techniques   Rungta, Neha S. (ARC-TI)[Stinger Ghaffarian Technologies Inc. (SGT Inc.)]
• [Om-announce] [fm-announcements] Fourth Verified Software Competition (VSComp), 14-16 June, 2014   MUNOZ, CESAR (LARC-D320)
• [Om-announce] [ISSAC-ANNOUNCE] ISSAC 2014 Second Call for Participation   Kosaku Nagasaka
• [Om-announce] [ISSAC-ANNOUNCE] VISA Information for ISSAC 2014   Kosaku Nagasaka
• [Om-announce] [logic-programming] 2014 Summer School on Computational Logic   Neng-Fa Zhou
• [Om-announce] [logic-programming] ICLP 2014: Call for Participation   Tom Schrijvers
• [Om-announce] [RS-at-FLoC-14] Reactive Systems workshop in honor of David Harel - July 23   rs-workshop-at-floc14 at weizmann.ac.il
• [Om-announce] AiML-2014: CALL FOR SHORT PRESENTATIONS   Agi Kurucz
• [Om-announce] AiML-2014: FINAL CALL FOR SHORT PRESENTATIONS - deadline: 21 May 2014   Agi Kurucz
• [Om-announce] AlCoB 2014: call for participation   GRLMC
• [Om-announce] ASPOCP 2014: Call for participation   Marco Maratea
• [Om-announce] ATNAC 2014 with 10 Student Travel Grants, Melbourne, Australia.   Shui Yu
• [Om-announce] ATNAC 2014, Melbourne, Australia, Due on 1 June 2014   Shui Yu
• [Om-announce] Attend Summer School in Athens and Submit papers to IEEE/ACM ASONAM 2014 and FOSINT-SI 2014 in China   DK Halabi
• [Om-announce] AVoCS 2014: 3rd Call for Papers   Wojciech Mostowski
• [Om-announce] BWCCA 2014 CFP   2014 bwcca
• [Om-announce] Call for Book Chapters – Networking for Big Data   Shui Yu
• [Om-announce] Call for Paper: Fourth Intern. Symposium on Data-driven Process Discovery and Analysis (SIMPDA2014)   Fulvio Frati
• [Om-announce] Call for Papers - 3rd Joint Workshop on Security in Business Processes (SBP'14)   Giovanni Livraga
• [Om-announce] Call for Papers: CrossFyre Workshop, July 3-4, 2014 - Bochum, Germany [EXTENDED DEADLINE]   CrossFyre'14
• [Om-announce] CANS 2014 - Call for Papers   sara.foresti at unimi.it
• [Om-announce] CFP : EMSICC 2014 (Barcelona, 27-29 August 2014)   Selma boumerdassi
• [Om-announce] CFP : EMSICC 2014 (Barcelona, 27-29 August 2014)   Selma boumerdassi
• [Om-announce] CfP IMBSA: 4th International Symposium on Model-Based Safety and Assessment   Lipaczewski, Michael
• [Om-announce] CFP SBAC-PAD'2014, Paris, France, Oct 22-24, 2014   Kuan-Ching Li
• [Om-announce] CFP Synasc 2014, Timisoara, Romania   SYNASC 2014
• [Om-announce] CfP: 4th INT. WORKSHOP ON ADAPTIVE SERVICES FOR THE FUTURE INTERNET   Juan Boubeta Puig
• [Om-announce] CfP: 4th INT. WORKSHOP ON ADAPTIVE SERVICES FOR THE FUTURE INTERNET   Javier Cubo
• [Om-announce] CFP: Chinacom 2014 (Due May 24)   Guangjie Han
• [Om-announce] CFP: Extended Deadline for 11th International Workshop on Boolean Problems (IWSBP’14)   Miroslav Velev
• [Om-announce] CFP: ICPADS'2014, Hsinchu, Taiwan   Kuan-Ching Li
• [Om-announce] CFP: IJDSN Special Issue on Mobility Support for Next-Generation Wireless Sensor Networks   Guangjie Han
• [Om-announce] CFP: MICAI 2014 - Artificial Intelligence - Springer LNAI + IEEE + journals - Mexico   MICAI 2014
• [Om-announce] CFP: MoSCom'14 in conjunction with U-Science 2014 and ICA3PP 2014   Yu Wang
• [Om-announce] CfP: Ontology and Linked Data Matching. Special call of the Semantic Web journal   Michelle Cheatham
• [Om-announce] CfP: Ontology Design Patterns descriptions. Special call of the Semantic Web journal   Pascal Hitzler
• [Om-announce] CFP: Workshop on Communication Security, September 11-12, 2014, Ancona, Italy   Marco Baldi
• [Om-announce] CICM 2014: Invited Speakers & Call for Work-in-Progress Papers, 1 June 2014   Serge Autexier
• [Om-announce] DBSec’14 Call for Participation   Giovanni Livraga
• [Om-announce] Deadline approaching - 3rd Joint Workshop on Security in Business Processes (SBP'14)   Giovanni Livraga
• [Om-announce] Deadline extended - 3rd Joint Workshop on Security in Business Processes (SBP'14)   Giovanni Livraga
• [Om-announce] Deadline Extension: 2014 IEEE International Workshop on Autonomic Cloud Cybersecurity (ACC 2014)   Fulvio Frati
• [Om-announce] Deadline extension: The 20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2014)   Yuan-Fang Li
• [Om-announce] ESSLLI 2015: Final Call for Course and Workshop Proposals   Achim Jung
• [Om-announce] Final Call for Papers: MathUI'14 (New Deadline: 2014/05/22)   Michael Kohlhase
• [Om-announce] Final Call for Participation: NASSLLI 2014   NASSLLI 2014
• [Om-announce] First Call for Papers: 26. OpenMath Workshop (at CICM 2014; July 7. July 2014)   Michael Kohlhase
• [Om-announce] First Call for Papers: FSEN 2015   FSEN
• [Om-announce] FOCLASA 2014 - Final CfP (The 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems)   FOCLASA 2014
• [Om-announce] GandALF 2014: Call for papers   murano
• [Om-announce] GandALF 2014: Extended deadlines   aniello murano
• [Om-announce] IEEE SpaIoT 2014 CFPs (Paper Submission Deadline: June 10, 2014)   Alam
• [Om-announce] IEEE TrustCom Deadline Extended: May 30, 2014   Haojin Zhu
• [Om-announce] IEEE UbiSafe 2014 CFPs (Paper Submission Deadline: June 10, 2014)   Alam
• [Om-announce] IFIP SEC 2014 - Call for Participation   sara.foresti at unimi.it
• [Om-announce] ISABELLE WORKSHOP and TUTORIAL   Geoff Sutcliffe
• [Om-announce] ITRS 2014, Call for Participation   Luca Paolini
• [Om-announce] Last call for participation: LASER Summer School 2014 -- Leading-Edge Software Engineering   Nadia Polikarpova
• [Om-announce] Last CfP-Extended Deadline: 4th INT. WORKSHOP ON ADAPTIVE SERVICES FOR THE FUTURE INTERNET   Juan Boubeta Puig
• [Om-announce] Logical Methods in CS: ten years   LMCS
• [Om-announce] LOPSTR 2014 - Extended Deadlines   Maurizio Proietti
• [Om-announce] LOPSTR 2014: Deadline Approaching   Maurizio Proietti
• [Om-announce] MIND, MECHANISM AND MATHEMATICS at Columbia University, New York City, May 12-14, 2014 - registration open   S B Cooper
• [Om-announce] MIND, MECHANISM AND MATHEMATICS at Columbia University, New York City, May 12-14, 2014 - registration open   S B Cooper
• [Om-announce] MTD 2014 - Call for Papers   sara.foresti at unimi.it
• [Om-announce] OCL 2014: First Call for Papers   Achim D. Brucker
• [Om-announce] Post-doc position at Convecs team (Inria/LIG)   Wendelin Serwe
• [Om-announce] PPDP 2014: 2nd Call for Papers   Jacob Johannsen
• [Om-announce] Reminder: The European Master's Program in Computational Logic: Application until 31 May 2014   Tobias Philipp
• [Om-announce] Second Call for Papers: Workshops Colocated with SEFM 2014   lina.ye at inria.fr
• [Om-announce] Second CfP: Int. Workshop on Adaptive Services for the Future Internet (WAS4FI 2014) @ ESOCC 2014   Juan Boubeta Puig
• [Om-announce] SECRYPT 2014 - Call for Position Papers   SECRYPT 2014
• [Om-announce] SI CFP on Social Media at New Review on Hypermedia and Multimedia   Daqiang Zhang
• [Om-announce] SLSP 2014: extended submission deadline 14 May   GRLMC
• [Om-announce] SoftCOM 2014 - Deadline Approaching   SoftCOM
• [Om-announce] SoftCOM 2014, Call for Papers   SoftCOM
• [Om-announce] SoNAEdu 2014: Extended Deadline   Carlos Roberto de Oliveira Júnior
• [Om-announce] SoNAEdu 2014: Extended Deadline   Carlos Roberto de Oliveira Júnior
• [Om-announce] SoNAEdu 2014: Extended Deadline   Carlos Roberto de Oliveira Júnior
• [Om-announce] SSTiC 2014: June 7, early registration deadline   GRLMC
• [Om-announce] Symbolic Computation in Software Science - Call for Papers   Geoff Sutcliffe
• [Om-announce] TPNC 2014: 2nd call for papers   GRLMC
• [Om-announce] VSComp 2014 CfP   Leo Freitas
• [Om-announce] VSTTE CfP (Deadline tomorrow) - no prior abstract submission needed   Leo Freitas
• [Om-announce] VTSA 2014: Summer School on Verification Technology, Systems and Applications   Jun PANG
• [Om-announce] WADT 2014 - 1st Call for Papers   2014 wadt
• [Om-announce] Workshop "Human-Oriented Formal Methods" @SEFM 2014   Maria Spichkova

Last message date: Sat May 31 18:36:18 CEST 2014
Archived on: Mon Jun 2 11:55:40 CEST 2014

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