UU |
Dept. of Computer Systems |
Research |
Education |
Information |
Staff |
Students

Formal Methods and Software Technology
Interesting Conferences
This page includes conferences in many subjects, also those of very
faint relation to Software Technology.
Here is a page with conferences
that have already taken place.
February 2010
-
MODPROD 2010
4th MODPROD Workshop on Model-Based Product Development, Linköping
University, February 9-10, 2009.
-
2PARMA
Parma Workshop on Parallel Programming and Run-Time
Management Techniques for Many-Core Architectures,
Hannover, Monday, Feb. 22, 2010.
-
ARCS 2010
23rd International Conference on Architecture of Computing Systems
- Heterogeneous Systems -
Hannover, Germany.
February 22nd - 25th, 2010.
-
ABZ 2010
Int. Conf. on ASM, Alloy, B and Z,
Orford, Québec, Canada,
February 22-25, 2010.
-
TGC 2010
Fifth International Symposium on
Trustworthy Global Computing,
LMU, Munich, February 26-26, 2010
March 2010
-
STACS 2010
27th International Symposium on Theoretical Aspects of Computer Science,
March 4-6, 2010, Nancy, France.
-
DATE 2010
Design, Automation, and Test in Europe,
Dresden, Germany,
March 8-12, 2010
-
CAL'2010
4th Conference on Software Architectures, Pau, March 9-11, 2010.
-
ASPLOS 2010
Fifteenth International Conference on
Architectural Support for Programming Languages and Operating Systems,
Pittsburgh, PA, March 13-17 2010.
-
ETAPS 2010
European Joint Conferences on
Theory And Practice of Software,
March 20 - 28, 2010
Paphos, Cyprus
Including
-
CC 2010
Int. Conf. on Compiler Construction
-
ESOP 2010
European Symposium On Programming
-
FASE 2010
Fundamental Approaches to Software Engineering
-
FOSSACS 2010
Foundations of Software Science and Computation Structures
-
TACAS 2010
Tools and Algorithms for the Construction and Analysis of Systems
-
PLACEs 2010
Programming Language Approaches to Concurrency and Communication-cEntric Software, March 21.
-
SAC'10
ACM Symposium on Applied Computing,
March 22-26, Lausanne, Switzerland
-
ICECCS 2010
The fifteenth IEEE International Conference on
Engineering of Complex Computer Systems,
March 22-26, 2010
University of Oxford, UK
-
ISPASS-2010
2010 IEEE International Symposium on Performance Analysis of Systems and Software, March 28-30, 2010, White Plains, NY.
-
LATW 2010
11th IEEE Latin-American Test Workshop,
March 28-31, 2010
Punta del Este, Uruguay.
April 2010
-
ICST 2010
Third IEEE International Conference on Software Testing, Verification
and Validation, April 6-9 2010, Paris, France
-
RTRTS 2010
1st International Workshop on
Rewriting Techniques for Real-Time Systems,
Longyearbyen, Spitsbergen, Norway, April 6-9, 2010.
-
DEVS 2010
Symposium on Theory of Modeling and Simulation,
April 12-15 2010. Orlando, FL.
-
CPSWEEK 2010
Cyber Physical Systems Week,
Stockholm, Sweden
April 12-16, 2010,
including
-
IPSN 2010
International Conference on Information Processing in Sensor Networks
April 16-19,
-
RTAS 2010
16th IEEE Real-Time and Embedded Technology and Applications Symposium,
April 13-16
-
HSCC 2010
Hybrid Systems: Computation and Control,
13th Int. Workshop,
April 12-16
-
CPSC 2010
Hybrid Systems: Computation and Control,
13th Int. Workshop,
San Francisco, CA.
April 13-16.
-
LCTES 2010
ACM SIGPLAN/SIGBED Conference on Languages, Compilers
and Tools for Embedded Systems
April 12-16.
-
FLOPS 2010
Tenth International Symposium on Functional and Logic Programming
April 19-21, 2010
Sendai, Japan
May 2010
-
ICSE 2010
ACM/IEEE 32nd International Conf. on Software Engineering,
May 2-8, 2010, Cape Town, South Africa,
-
ISORC 2010
the 13th IEEE Int'l Symposium on
Object/component/service-oriented Real-time Distributed Computing, Carmona, Spain, May 4, 2010.
-
ELS 2010
3rd European Lisp Symposium,
May 6-7, 2010, Fundacao Calouste Gulbenkian, Lisbon, Portugal
-
ICA3PP 2010
10th International Conference on Algorithms and Architectures for Parallel Processing,
May 21-23, 2010, Busan, Korea
-
EuSEC 2010
European Conference on Systems Engineering,
Stockholm, Sweden, May 23-26, 2010.
-
LATA 2010
4th International Conference on Language and Automata Theory and Applications,
Trier, Germany, May 24-28, 2010.
-
NOTERE 2010
10th annual int. conf. on New Technologies of Distributed Systems,
Tozeur, Tunisia, May 31 - June 2, 2010.
-
ICST 2010
Int. Conf. on Computational Science,
May 31- June 2, 2010, University of Amsterdam, The Netherlands,
containing (sample)
-
PAPP 2010
Seventh International Workshop on
Practical Aspects of High-level Parallel Programming,
May 31- June 2, 2010, University of Amsterdam, The Netherlands.
June 2010
-
ISMM 2010
International Symposium on Memory Management 2010
Toronto, June 5-6, 2010
-
PLDI 2010
ACM SIGPLAN Conference on Programming Language Design and Implementation,
Toronto, Canada, June 5-10.
-
DisCoTec 2010
5th International federated conference on Distributed Computing Techniques
Amsterdam, Netherlands, June 7-9, 2010, containing
-
FMOODS/FORTE 2010
12th Formal Methods for Open Object-Based Distributed Systems and 20th
Formal Techniques for Networked and Distributed Systems,
June 7-9.
-
DAIS 2010
10th IFIP international conference on Distributed Applications and Interoperable Systems, June 7-9
-
Coordination 2010
Languages, Models, and Architectures for
Concurrent and Distributed Software,
12th International Conference,
June 7-9.
-
SSIRI 2010
The Fourth IEEE International Conference on
Secure Software Integration and Reliability Improvement,
Singapore,
9-11 June, 2010
-
IFIPTM 2010
The 4th IFIP International Conference on Trust Management
Morioka, Iwate, Japan, June 14-18, 2010.
-
ECMFA 2010
Sixth European Conference on Modelling Foundations and Applications,
June 15-18 2010,
University of Pierre & Marie Curie (UPMC), Paris, France.
-
IFIPTM 2010
Fourth IFIP International Conference on Trust Management,
Morioka, Japan, June 16-18, 2010.
-
ISCA-37
the 37th Annual International Symposium on Computer Architecture,
June 19 - 23, 2010
Saint-Malo, France
-
OWASP Appsec Research 2010
OWASP AppSec Research
conference, June 21-24, 2010 in Stockholm, Sweden,
-
ACSD 2010
10th International Conference on Application of Concurrency to System Design
21-25 June 2010
Braga, Portugal.
-
Petri Nets 2010
21-25 June 2010
Braga, Portugal.
-
ECOOP 2010
24th European Conference on Object-Oriented Programming,
June 21-25, 2010,
Maribor, Slovenia.
-
ISARCS 2010
First International Symposium on Architecting Critical Systems,
Prague, Czech Republic, June 23-25 2010
-
SCOPES 2010
13th International Workshop on
Software and Compilers for Embedded Systems,
June 29-30, 2010,
Schloss Rheinfels, St. Goar, Germany.
-
SC 2010
International Conference on Software Composition,
June 28-July 2 2010 - Malaga, Spain,
-
TOOLS 2010
Federated conferences,
June 28-July 2 2010 - Malaga, Spain, containing
- Tools Europe 2010
48th International Conference
Objects, Models, Components, Patterns.
- SC 2010International Conference on Software Composition,
- ICMT 2010
International Conference on Model Transformation.
June 28-July 2.
- TAP 2010
4th International Conference on Tests & Proofs.
July 2010
- ICALP 2010
37th International Colloquium on Automata, Languages and Programming,
July 5-12, 2010,
Bordeaux, France.
-
ECRTS 10
22nd Euromicro Conference on Real-Time Systems,
Brussels, Belgium, July 6-9, 2010.
-
ASAP'10
21st IEEE International Conference on
Application-specific Systems, Architectures and Processors,
July 7-9, 2010,
Rennes, Brittany, France.
- SIES 2010
IEEE Symposium on Industrial Embedded Systems,
July 7-9, 2010, University of Trento, Trento, Italy
- FLoC 2010
Federated Logic Conference,
July 9 - 21, 2010
Edinburgh, United Kingdom,
containing
- RTA 2010
21st International Conference on Rewriting Techniques and Applications
July 11-13.
- SAT 2010
International Conference on Theory and Applications of Satisfiability Testing
July 11-14.
- LICS 2010
25th Annual IEEE Symposium on Logic in Computer Science,
July 11-14.
- ITP 2010
Conference on Interactive Theorem Proving,
July 11-14.
- CAV 2010
22nd International Conference on Computer Aided Verification,
July 15 - 19.
- ICLP 2010
26th International Conference on Logic Programming,
July 16 - 19.
- IJCAR 2010
5th International Joint Conference on Automated Reasoning,
July 16 - 19.
- CSF 2010
Computer Security Foundations Symposium,
July 17 - 19.
- DEBS 2010
4th ACM International Conference on Distributed Event-Based Systems,
July 12-15, 2010, King's College, Cambridge, United Kingdom.
- ISSTA 2010
International Conference on Software Testing and Analysis,
Trento, Italy - July 12-16, 2010
- QSIC 2O1O
10th International Conference on Quality Software,
July 14-15, 2010,
Zhangjiajie, China
- SAMOS X
International Conference on Embedded Computer Systems:
Architectures, Modeling, and Simulation,
Samos, Greece, July 20-23, 2010
- ICSOFT 2010
5th International Conference on Software and Data Technologies,
July 22 - 24, 2010
Athens, Greece.
- PODC 2010
29th ACM SIGACT-SIGOPS Symposium on Principles of Distributed
Computing, July 25-28, 2010, Zurich, Switzerland
- MEMOCODE 2010
eighth ACM-IEEE International Conference on Formal Methods and
Models for Codesign,
July 26-28, 2010, Grenoble, France.
August 2010
- MFCS and CSL 2010
35th International Symposium on Mathematical Foundations of Computer Science,
and 19th EACSL Annual Conference on Computer Science Logic,
Brno, Czech Republic.
August 23-27, 2010
- AiML-2010
8-th International Conference on Advances in Modal Logic,
Moscow, August 25-29, 2010
- CONCUR 2010
21st International Conference on Concurrency Theory,
August 31 - September 3, 2010, Paris, France.
September 2010
- DSD'2010
13th Euromicro Conference on Digital System Design
Architectures, Methods and Tools
Polytech'Lille, Lille, 1st-3rd September, 2010.
- TIME 2010
Seventeenth International Symposium on
Temporal Representation and Reasoning,
Paris, France, 6-8 September 2010
- PROMISE 2010
The 6th International Conference on
Predictive Models in Software Engineering,
Timisoara, Romania,
Sept 12-13, 2010.
- ICSM 2010
26th IEEE International Conference on Software Maintenance
12th-18th September 2010,
Timisoara, Romania,
- SCAM 2010
Tenth IEEE International Working Conference
on Source Code Analysis and Manipulation,
12th-13th September 2010,
Timisoara, Romania,
- WCC
IFIP World Computer Congress, Brisbane, Australia, September 20-23,
including (very sparse selection)
- DIPES 2010
7th IFIP Conference on Distributed and Parallel Embedded Systems,
September 20-23,
- ATVA 2010
8th International Symposium on Automated Technology
for Verification and Analysis (ATVA 2010),
Singapore 21 - 24 Sept. 2010.
- SPIN 2010
17th International SPIN Workshop on Model Checking of Software,
University of Twente, Enschede (The Netherlands),
Sept. 27-29, 2010.
- ICGT 2010
5th International Conference on Graph Transformation,
University of Twente, Enschede (The Netherlands),
Sept. 27-29, 2010.
- SOC 2010
International Symposium on System-on-Chip 2010,
Tampere, Finland, September 29-30, 2010.
October 2010
- CMSB 2010
8th Conference on Computational Methods in Systems Biology,
September 29 - October 1, 2010
Trento, Italy
Nobember 2010
- RV 2010
International Conference on Runtime Verification,
November 1 - 4, 2010
Sliema, Malta
Other Conference Pages
Department of Computer Systems |
Last modified: Tuesday, 02-Feb-2010 19:08:56 MET |
URL http://www.docs.uu.se/~bengt/Info/conferences.shtml |
Bengt Jonsson