relevant links
home - people - papers - links - visiting - research - Möbius

 

available from this page:

 

conferences and special issues with upcoming due dates  


Also see the Uppsala University Department of Computer Science's page of conferences on formal methods and software technology.

PRDC'08: 14th IEEE Pacific Rim International Symposium on Dependable Computing, Taipei, Taiwan, Dec. 15-17, 2008 May 15, 2008
CSET '08: Workshop on Cyber Security Experimentation and Test, San Jose, CA, USA, July 28, 2008 May 15, 2008


upcoming conferences (submission deadlines have passed)

conference
conference dates
EDCC-7: 7th European Dependable Computing Conference, Kaunas, Lithuania
May 7-9, 2008
Resilience 2008: Workshop on Resiliency in High-Performance Computing, Lyon, France May 19-22, 2008
5th IEEE International Conference on Autonomic Computing, Chicago, IL, USA June 2-6, 2008
ACNS: 6th International Conference on Applied Cryptography and Network Security, New York, New York, USA June 3-6, 2008
PADS 2008: 22nd ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation, Rome, Italy June 3-6, 2008
DSN 2008: The 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Anchorage, Alaska, USA June 24-27, 2008
WEIS 2008: Workshop on the Economics of Information Security, Hanover, New Hampshire, USA June 25-27, 2008
DSN 2008 Workshop on Architecting Dependable Systems, Anchorage, Alaska, USA June 27, 2008
NCA08: 7th IEEE International Symposium on
Network Computing and Applications
, Cambridge, Massachusetts, USA
July 10-12, 2008
Secrypt 2008: International Conference on Security and Cryptography, Porto, Portugal July 26-29, 2008
QEST 08: 5th International Conference on Quantitative Evaluation of SysTems, Saint Malo, France Sept. 14-17, 2008
RAID 2008: 11th International Symposium on Recent Advances in Intrusion Detection, Boston, Massachusetts, USA Sept. 15-17, 2008
CCS 2008: 15th ACM Conference on Computer and Communications Security, Alexandria, Virginia, USA Oct. 27-31, 2008

 

 

other related web sites  

The World of Petri Nets at DAIMI, Aarhus, Denmark

All kinds of information related to Petri-nets, tools, the Petri-net E-mail list, the Petri-net Newsletter, etc., at the University of Aarhus in Denmark.

Dependable Computing at LDC, Chalmers University, Göteborg, Sweden

Information about the Laboratory for Dependable Computing at Chalmers University of Technology in Sweden, including links to various pages on dependable computing.

Publications from the Laboratory for Performance Evaluation and Distributed Systems at the Aachen University of Technology, Germany

Papers from, and information about, the Laboratory for Performance Evaluation and Distributed Systems at the Aachen University of Technology, Germany, headed by Boudewijn R. Haverkort.

ACM SIGSIM Webpage

Home page of the ACM Special Interest Group for Simulation.

SIGMETRICS Webpage

Home page of the ACM Special Interest Group for the computer/communication system performance analysis community. Includes information on conferences.

IFIP WG10.4 on Dependable Computing and Fault Tolerance Webpage