January 2013 Archives by subject
Starting: Wed Jan 2 19:22:55 CET 2013
Ending: Thu Jan 31 12:34:08 CET 2013
Messages: 40
- [Om-announce] 4th CFP for TASE 13, 1 - 3 July 2013, Birmingham, UK
TASE 2013
- [Om-announce] 5th CFP for TASE 13, 1 - 3 July 2013, Birmingham, UK (DEADLINE EXTENSION!)
TASE 2013
- [Om-announce] [fm-announcements] Call for Papers: Runtime Verification 2013
Klaus Havelund
- [Om-announce] [ISSAC-ANNOUNCE] ISSAC 2013 Call for Software Presentations
William Turner
- [Om-announce] [simu-conf] CFP: ACM SIGSIM Principles of Advanced Discrete Event Simulation
vsim-conf at sce.carleton.ca
- [Om-announce] ARiSVe 2013 call for papers
Andrei Paskevich
- [Om-announce] British Colloquium on Theoretical Computer Science
Professor James Davenport
- [Om-announce] CADE-24 Workshop CFPs
Geoff Sutcliffe
- [Om-announce] CALCO 2013: Second Call for Papers
Alexandra Silva
- [Om-announce] Call for papers WWV 2013
Josep Silva Galiana
- [Om-announce] Call for Workshop Proposals: International Conference on Logic Programming (ICLP 2013)
Hans Tompits
- [Om-announce] CFP: 27th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSec '13)
Claudio Agostino Ardagna (claudio.ardagna)
- [Om-announce] CFP: IEEE iThings, IEEE CPSCom & IEEE GreenCom
Dr. Mauro Conti
- [Om-announce] CFP: International Workshop on Secure Smart Objects (SSO'2013)
maryline laurent
- [Om-announce] CFP: NSS 2013 (Submission Deadline Extended to January 15, 2013)
Yu Wang
- [Om-announce] CFP: Seventh Workshop in Information Security Theory and Practice (WISTP 2013)
Claudio Agostino Ardagna (claudio.ardagna)
- [Om-announce] CFP: Seventh Workshop in Information Security Theory and Practice (WISTP 2013)
Dr. Mauro Conti
- [Om-announce] CFP: The 2013 IEEE International Conference on Cyber, Physical and Social Computing (CPSCom 2013)
Dr. Mauro Conti
- [Om-announce] European Master's Program in Computational Logic
Bertram Fronhöfer
- [Om-announce] FroCoS 2013 Second Call for Papers
Renate Schmidt
- [Om-announce] GandALF 2013 - Preliminary Call for Papers
Pietro Sala
- [Om-announce] ICECCS 2013 -- Call for Papers
ICECCS at unknown.domain
- [Om-announce] ICECCS 2013 in Singapore -- Last Call for Papers
Jun PANG
- [Om-announce] IEEE DEST 2013 (Digital Ecosystem Technologies), July 24-26, 2013, Palo Alto (USA)
Fulvio Frati
- [Om-announce] IEEE TSC special issue on "Processes meet Big Data"
Fulvio Frati
- [Om-announce] NFSP 2013 (joint with ICDCS) – Deadline extended to January 31.
Yu Wang
- [Om-announce] Postdoc positions in SAT/SMT-based Verification available in Trento
Roberto Sebastiani
- [Om-announce] PxTP 2013 - Call for Papers
Josef Urban
- [Om-announce] RTA 2013: last call for papers
Sophie Tison
- [Om-announce] SCP Special Issue on Invariant Generation - Final Call for Papers [1 month to go]
Gudmund Grov
- [Om-announce] SLATE 2013 - First Call For Papers - Symposium on Languages, Applications and Technologies
Ricardo Rocha
- [Om-announce] SLSP 2013: 2nd call for papers
GRLMC
- [Om-announce] SSTiC 2013: 1st announcement
GRLMC
- [Om-announce] TAP 2013: Final Call for Papers
Margus Veanes
- [Om-announce] TLCA 2013 Last Call for Papers
Luca Paolini
- [Om-announce] TOPI 2013: 3rd Workshop on Developing Tools as Plug-ins
Martin Nordio
- [Om-announce] Update: IEEE TrustCom/ISPA/IUCC 2013, July 16-18, Melbourne, Australia
Yu Wang
- [Om-announce] WISTP 2013 Extended Deadline -- Feb 7, 2013
Claudio Agostino Ardagna (claudio.ardagna)
Last message date:
Thu Jan 31 12:34:08 CET 2013
Archived on: Fri Feb 1 12:46:08 CET 2013
This archive was generated by
Pipermail 0.09 (Mailman edition).