December 2014 Archives by date
Starting: Mon Dec 1 01:59:07 CET 2014
Ending: Wed Dec 31 18:33:02 CET 2014
Messages: 43
- [Om-announce] CfP: Semantic Web journal special call for Tools/Systems papers
Pascal Hitzler
- [Om-announce] Open PhD Position at Dresden, Germany -- Topic: SAT Solving
tobias.philipp at tu-dresden.de
- [Om-announce] CICM 2015: Call for Workshops
Serge Autexier
- [Om-announce] Call for Papers , Post-conference Proceedings, ADG 2014
Miguel Á. Abánades
- [Om-announce] The European Master's Program in Computational Logic
Tobias Philipp
- [Om-announce] Call for Workshop Proposal ATVA 2015, Shanghai
jun sun
- [Om-announce] Call for Papers SETTA 2015
jun sun
- [Om-announce] [CFP] 11th Intl. Conf. on Open Source Systems (OSS2015)
Fulvio Frati
- [Om-announce] Call for Papers: FormaliSE 2015
Nico Plat
- [Om-announce] The First International Workshop on Security Aspects of Cyber-Physical Systems (SACPS'15)
Samir OUCHANI
- [Om-announce] 17th International Symposium on Principles and Practice of Declarative Programming (PPDP 2015) - first Call for Papers
Maurizio Proietti
- [Om-announce] LOPSTR 2015: 25th International Symposium on Logic-Based Program Synthesis and Transformation - First Call for Papers
Maurizio Proietti
- [Om-announce] IEEE INFOCOM 15 Workshop of BigSecurity with Special Issue Information
Shui Yu
- [Om-announce] IEEE CSS 2015 CALL FOR PAPERS
CSS 2015
- [Om-announce] [simu-conf] SummerSim'15 CFP - Chicago, IL
vsim-conf at sce.carleton.ca
- [Om-announce] Free Elementary Differential Equations and Real Analysis Textbooks by William F. Trench
William Trench
- [Om-announce] InfoSec 2015: 1st announcement
GRLMC
- [Om-announce] CFP 11th Information Security Practice and Experience Conference (ISPEC 2015), 5-8 May 2015, Beijing, China
Conference Contact
- [Om-announce] SCORE Student Contest @ ICSE 2016
Carlo Alberto Furia
- [Om-announce] TSD 2015 - Preliminary Call for Papers
TSD 2015
- [Om-announce] CICM Call for Papers
Geoff Sutcliffe
- [Om-announce] WoLLIC 2015 - Second Call for Papers
Ruy de Queiroz
- [Om-announce] 1st CFP: 31st International Conference on Logic Programming (ICLP 2015)
Ian Miguel
- [Om-announce] CfP: ESSLLI Student Session 2015, Barcelona, August 3-14 2015
Schulz, Philip
- [Om-announce] Call for papers TTCS'15 (Tehran, Iran)
Mahdi Jaghoori
- [Om-announce] BigDat 2015: registration deadline 23 December
GRLMC
- [Om-announce] [logic-programming] 1st CFP: 31st International Conference on Logic Programming (ICLP 2015)
Ian Miguel
- [Om-announce] IEEE INFOCOM 15 Workshop of BigSecurity extended to December 31, 2014
Shui Yu
- [Om-announce] Smart World 2015 Call for Papers and Participations
swc2015
- [Om-announce] TASE 2015 -- First Call for Papers
Jun PANG
- [Om-announce] [logic-programming] 1st CFP: 21st International Conference on Principles and Practice of Constraint Programming (CP 2015)
Ian Miguel
- [Om-announce] LASER Summer School 2015 --- Concurrency: the next frontiers
Julian Tschannen
- [Om-announce] CANA 2015 - CALL FOR PAPERS
Federated Conference on Computer Science and Information Technologies
- [Om-announce] Call for Abstracts (PhDs in Logic VII)
PhDs in Logic VI
- [Om-announce] [ISSAC-ANNOUNCE] ISSAC 2015 FINAL CALL FOR PAPERS
Kazuhiro Yokoyama
- [Om-announce] [fm-announcements] First CFP: CRV15 - 2nd Competition on Runtime Verification
Klaus Havelund
- [Om-announce] EpsilonWriter: free tools for teaching algebra, new version
Aristod
- [Om-announce] AlCoB 2015: 2nd call for papers
GRLMC
- [Om-announce] [simu-conf] SpringSim 2015 - Work in Progress session
vsim-conf at sce.carleton.ca
- [Om-announce] Preliminary CFPs: IEEE PRDC 2015 at Zhangjiajie, China [Deadline: May 15, 2015]
Md Zakirul Alam Bhuiyan
- [Om-announce] IFIP SEC 2015 - CALL FOR PAPERS / deadline Jan 15, 2015
Dominik Herrmann
- [Om-announce] CFP: The 2015 International Conference on Collaboration Technologies and Systems (CTS 2015)
Waleed Smari
- [Om-announce] InfoSec 2015: registration deadline 3 January
GRLMC
Last message date:
Wed Dec 31 18:33:02 CET 2014
Archived on: Tue Jan 6 11:31:43 CET 2015
This archive was generated by
Pipermail 0.09 (Mailman edition).