April 2017 Archives by subject

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

Starting: Sat Apr 1 01:40:38 CEST 2017
Ending: Sat Apr 29 17:35:36 CEST 2017
Messages: 75

• [Om-announce] (Second Call for Participation) First School on Foundations of Programming and Software Systems -- Probabilistic Programming   Renato Neves
• [Om-announce] 2nd CFP - Only Two Weeks Left: International Workshop on OCL and Textual Modeling (OCL 2017)   Achim D. Brucker
• [Om-announce] 4th Vampire Workshop - Call for Papers   Geoff Sutcliffe
• [Om-announce] [CfP extension] Workshop on Driver- and Driverless Cars: Competition or Coexistence? (DDC 2017)   riccardo.lazzeretti at math.unipd.it
• [Om-announce] [CFP] 16th International Conference on Information Technology (ICIT2017)   Fulvio Frati
• [Om-announce] [CFP] 7th Int. Symposium on Data-driven Process Discovery and Analysis (SIMPDA2017)   Fulvio Frati
• [Om-announce] [CFP] 7th International Symposium on Secure Virtual Infrastructures -- Cloud and Trusted Computing (C&TC 2017)   Fulvio Frati
• [Om-announce] [CfP] ATC workshops - last day submission   riccardo.lazzeretti at math.unipd.it
• [Om-announce] [CfP] ICCST-2017: 51st IEEE International Carnahan Conference on Security Technologies   riccardo.lazzeretti at math.unipd.it
• [Om-announce] [CfP] ICCST-2017: 51st IEEE International Carnahan Conference on Security Technologies   riccardo.lazzeretti at math.unipd.it
• [Om-announce] [CfP] Last days: Workshop on Trusted Computing in Distributed and Hybrid Systems   riccardo.lazzeretti at math.unipd.it
• [Om-announce] [CfP] Workshop on Trusted Computing in Distributed and Hybrid Systems   riccardo.lazzeretti at math.unipd.it
• [Om-announce] [Deadline Extended] Call for Submissions: IEEE/ACM ASONAM 2017 Tracks, Workshops and Co-Located Events   ASONAM 2017
• [Om-announce] [Deadline extended] CFP: Twenty-second European Symposium on Research in Computer Security (ESORICS 2017)   Cristina Alcaraz
• [Om-announce] [fm-announcements] ISSTA 2017 Demonstrations - Call for Papers   Havelund, Klaus (348B)
• [Om-announce] [fm-announcements] RV 2017 - Deadline Extension: full submissions May 8   Havelund, Klaus (348B)
• [Om-announce] [fm-announcements] RV and RV-CuBES 2017 - Call for papers and tutorials   Havelund, Klaus (348B)
• [Om-announce] [ICLP 2017] Final Call for Papers   Tommaso.Urli at data61.csiro.au
• [Om-announce] [ISSAC-ANNOUNCE] ISSAC 2017: FIRST CALL FOR POSTERS AND SOFTWARE PRESENTATIONS   Michael Sagraloff
• [Om-announce] [ISSAC-ANNOUNCE] PASCO 2017 Workshop (Satellite of and adjacent to ISSAC 2017)   Matthew England
• [Om-announce] [ISSAC-ANNOUNCE] SC-Square 2017 Workshop (Satellite of and adjacent to ISSAC 2017)   Matthew England
• [Om-announce] [LPNMR 2017 Workshops] Extended Deadline   Peter Schüller
• [Om-announce] [simu-conf] DEADLINE EXTENDED - WinterSim 2017   vsim-conf at sce.carleton.ca
• [Om-announce] [simu-conf] UPCOMING DEADLINE - WinterSim 2017   vsim-conf at sce.carleton.ca
• [Om-announce] AlCoB 2017: call for posters   GRLMC
• [Om-announce] ARCADE - 2nd Call for Papers   Geoff Sutcliffe
• [Om-announce] ASPOCP 2017 -- Deadline Extension -- April 10 submission deadline   Organizers Aspocp
• [Om-announce] ASPOCP 2017 -- Deadline Extension -- May 1 submission deadline   Organizers Aspocp
• [Om-announce] Call for Papers, IEEE IUCC 2017, Guangzhou, China, December 12-15, 2017   Alam
• [Om-announce] Call for Papers: CD-MAKE 2017   res.mb.conference
• [Om-announce] Call for Participation: International Conference on Logic Programming and Non-monotonic Reasoning, Finland, 3-6 July 2017   Peter Schüller
• [Om-announce] Call for Workshop Paper: ARES 2017   res.mb.conference
• [Om-announce] Call for Workshop Proposals, IEEE ISPA 2017, November, Guangzhou, China   Shui Yu
• [Om-announce] Call for Workshops - 10th Conference on Intelligent Computer Mathematics - CICM 2017 - Deadline: April 17th, 2017   Serge Autexier
• [Om-announce] CFP: CSS 2017, Xi'an, China, October 23-25, 2017   Conference Contact
• [Om-announce] CFP: EAI Mobile Networks and Management, December 15–17, 2017 | Melbourne, Australia   Shui Yu
• [Om-announce] CFP: IEEE Globecom 17, Singapore, Due on April 15 (Extended, Firm)   Shui Yu
• [Om-announce] CFP: IET Networks, Special Issue on 5G Security, due on 30/6/2017   Wei Quan
• [Om-announce] CfP: Reliability, safety and security of railway systems (RSSRail 2017)   Alexander Romanovsky
• [Om-announce] CFP: Special Issue on "Security and Privacy in Cloud-Assisted Cyber-Physical Systems" in Computer Networks Journal (Elsevier)   Cristina Alcaraz
• [Om-announce] CFP: Twenty-second European Symposium on Research in Computer Security (ESORICS 2017)   Cristina Alcaraz
• [Om-announce] CFP: Twenty-second European Symposium on Research in Computer Security (ESORICS 2017)   Cristina Alcaraz
• [Om-announce] CiE 2017: call for informal presentations   CIE2017
• [Om-announce] CiE 2017: call for participation   CIE2017
• [Om-announce] CRITIS 2017 Call for Papers   Cristina Alcaraz
• [Om-announce] CRITIS 2017 Call for Papers   Cristina Alcaraz
• [Om-announce] DaLi 17 - second call for papers   Alexandre Madeira
• [Om-announce] Deadline extended - 5th IEEE Conference on Communications and Network Security (IEEE CNS 2017)   Giovanni Livraga
• [Om-announce] Deadline Extension: International Workshop on OCL and Textual Modeling (OCL 2017)   Achim D. Brucker
• [Om-announce] DeepLearn 2017: early registration April 21   GRLMC
• [Om-announce] DL 2017 - Last Call for Papers   Geoff Sutcliffe
• [Om-announce] Formal Methods in Computer-Aided Design - Call for Papers   Geoff Sutcliffe
• [Om-announce] Formal Methods in Computer-Aided Design - Final Call for Papers   Geoff Sutcliffe
• [Om-announce] FORMATS 2017 - Submission 21 April 2017   Thao Dang
• [Om-announce] FORMATS 2017 - Submission deadline 21 April   Thao Dang
• [Om-announce] FORMATS'17 submission extended to 3 May/5 May 2017   Thao Dang
• [Om-announce] IEEE IUCC 2017: Call for Workshop Proposals (CFWP)   Qin Liu
• [Om-announce] IFIP TC-11 SEC 2017 - Preliminary Call for Participation   IFIP SEC 2017
• [Om-announce] LOPSTR 2017: 1st Call for Papers   John Patrick Gallagher
• [Om-announce] MEMOCODE-2017 (Call for Papers)   Klaus.Schneider at informatik.uni-kl.de
• [Om-announce] MFCS 2017: Second Call for Papers   Giorgio Bacci
• [Om-announce] NFM 2017 - 2nd Call For Participation   Rody Kersten
• [Om-announce] Postdoc Position Available in Singapore University of Technology and Design   jun sun
• [Om-announce] SLSP 2017: 1st call for papers   GRLMC
• [Om-announce] SmartIoT2017, August 25th-27th, 2017 at Dalian, China   SmartIoT 2017
• [Om-announce] SmartWorld 2017: Call for Poster & Demo (P&D) Papers   Qin Liu
• [Om-announce] SMT 2017 CFP   Liana Hadarean
• [Om-announce] SMT 2017 workshop : 2nd CFP, Deadline 1st/8th May   Martin Nyx Brain
• [Om-announce] Summer School on Verification Technology   Geoff Sutcliffe
• [Om-announce] SYNASC 2017 - Second Call for Papers   SYNASC 2017
• [Om-announce] TABLEAUX 2017 - Deadline Extension   Geoff Sutcliffe
• [Om-announce] TIME 2017 Final call for papers   Stéphane DEMRI
• [Om-announce] Update: LASER summer school 2017: Software for Robotics, Elba Island, September 9-17   se-events at lists.inf.ethz.ch
• [Om-announce] VSTTE 2017 - Deadline Extension   Andrei Paskevich
• [Om-announce] VSTTE 2017 - Second Call for Papers   Andrei Paskevich

Last message date: Sat Apr 29 17:35:36 CEST 2017
Archived on: Mon May 1 17:01:11 CEST 2017

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