Other Events & CFPs

The events in this section leave the FocAS website. They include details of events that FoCAS may be participating in and events that may just be of interest to researchers in our field but are not directly hosted by FOCAS. There are also archived links. FoCAS specific events and CFP’s are here.

SENSORNETS 2016: 5th International Conference on Sensor Networks
19-21 February, Rome, Italy

CASSTING 2016: Workshop on Games for the Synthesis of Complex Systems @ ETAPS 2016
2-8 April 2016, Eindhoven, The Netherlands


****** Archive ******


SASO 2015: 9th IEEE International Conference on Self-Adaptive and Self-Organizing Systems
21-25 September 2015, Boston, USA

Third International Workshop on Self-Adaptive and Self-Organising Socio-Technical Systems @ SASO 2015
25 September 2015, Boston, USA

Workshop on Spatial and COllective PErvasive Computing Systems (SCOPES) @ SASO 2015
21 September 2015, Boston, USA

Workshop on Quality Assurance for Self-adaptive, Self-organising Systems @ SASO 2015
21 September 2015, Boston, USA

ECAL 2015: 13th European Conference on Artificial Life
20-24 July 2015, York, UK

ICAC 2015: 12th IEEE International Conference on Autonomic Computing
7-10 July 2015, Grenoble, France

Cloud 2015: 8th IEEE International Conference on Cloud Computing
27 June – 2 July 2015, New York, USA

CLOSER 2015: 5th International Conference on Cloud Computing and Services Science
20-22 May 2015, Lisbon, Portugal

SEAMS 2015: 10th International Symposium on Software Engineering for Adaptive and Self-Managing
18-19 May 2015, Florence, Italy

AAMAS 2015: International Conference on Autonomous Agents and Mutli-Agent Systems
4-8 May 2015, Istanbul, Turkey

NFM 2015 : 7th NASA Formal Methods Symposium
27-29 April 2015, Pasadena, California, USA

PerCom 2015: IEEE International Conference on Pervasive Computing and Communication
23-27 March 2015, Saint Louis, Missouri, USA

ESSoS 2015: International Symposium on Engineering Secure Software and Systems
4-6 March 2015, Milan, Italy

NICSO 2015 – Workshop on Nature Inspired Cooperative Strategies for Optimization
25-27th February 2015, Chamonix, France

SENSORNETS2015: 4th International Conference on Sensor Networks
11-13 February 2015,Eseo, Angers, Loire Valley, France

VMCAI 2015: 16th International Conference on Verification, Model Checking, and Abstract Interpretation
12-14 January 2015, Mumbai, India

DAGSTUHL SEMINAR 2015 15061
1-6 February 2015, Saarland, Germany

UCC 2014: 7th ACM/IEEE International Conference on Utility and Cloud Computing
8-11 December 2014, London, UK

ICTCC 2014: International Conference on Nature of Computation and Communication
24–25 November 2014, Ho Chi Minh City, Vietnam

SOCA 2014: IEEE International Conference on Service Oriented Computing & Applications
17-19 November 2014, Matsue, Japan

SocInfo 2014: The 6th International Conference on Social Informatics
10-13 November 2014, Barcelona, Spain

ATVA 2014: 12th International Symposium on Automated Technology for Verification and Analysis
November 3-6 2014, Sydney, Australia

CoopIS 2014: 22nd International Conference on Cooperative Information Systems
27-31 October 2014, Amantea, Italy

ISoLA 2014: 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
8-11 October 2014, Corfu, Greece

WSSR 2014: Workshop on Self-organization in Swarm of Robots – from Molecular Robots to Mobile Agents
(co-located with the 33rd IEEE Symposium on Reliable Distributed Systems (SRDS 2014)
October 6 2014, Nara, Japan

ICSME 2014: 30th International Conference on Software Maintenance and Evolution
28 Sep – 3 Oct 2014, Victoria, Canada

Ubicomp 2014 Workshop on The Superorganism of Massive Collective Wearables
(co-located with UbiComp 2014 and ISWC 2014)
September 13 2014, Seattle, USA

QEST 2014: 11th International Conference on Quantitative Evaluation of SysTems
8 – 12 September 2014, Florence, Italy

CAC 2014: The International Conference on Cloud and Autonomic Computing
(Co-located with SASO 2014)
September 8-12 2014, London, UK

QA4SASO14: Workshop on “Quality Assurance for Self-adaptive, Self-organising Systems
(co-located with SASO 2014)
12 September 2014, Imperial Collecge London, UK

ICAIS’14: The 2014 International Conference on Adaptive & Intelligent Systems
8 September – 10th, 2014 Bournemouth, UK

SISSY14: Workshop on Self-Improving Systems Integration
(co-located with SASO 2014)
8 September 2014, Imperial College London, UK

SASO 2014: The Eight IEEE International Conference on Self-Adaptive and Self-Organizing Systems
8-12 September 2014, Imperial College, London, UK

BPCAS 2014: 1st International Workshop on Business Processes in Collective Adaptive Systems
September 8 2014, Haifa, Israel

FOCLASA 2014: 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems
6 September 2014, Rome, Italy (In conjunction with CONCUR 2014)

EnCASE 2014: 1st International Workshop on Engineering Cloud Applications and Services
(Co-located with EDOC 2014: The Enterprise Computing Conference)
1-2 Septmeber 2014, Ulm, Germany

ICECCS 2014: 19th IEEE International Conference on Engineering of Complex Computer Systems
August 4-7 2014, Tianjin University, China

ALFIE 2014: THE 14th Int.Conference On The Synthesis And Simulation Of Living Systems
July 30th–August 2nd 2014, New York, USA

Living Machines 2014: The 3rd International Conference on Biomimetic and Biohybrid Systems
July 30 – Aug 1 2014, Milan, Italy

ISSTA 2014: International Symposium on Software Testing and Analysis
21-25 July 2014, San Jose, USA

EACSL 2014: 23rd Annual Conference on Computer Science Logic (CSL)
14–18 July 2014, Vienna, Austria

ICALP 2014: 41st International Colloquium on Automata, Languages, and Programming
7-11 July 2014, Copenhagen, Denmark

IEEE Cloud 2014: 7th International Conference on Cloud Computing
27 June – 2 July 2014, Alaska, USA

IEEE SCC 2014: 11th International Conference on Services Computing
27 June – 2 July 2014, Anchorage, Alaska, USA

MENDEL 14: 20th International Conference on Soft Computing
June 25-27 2014, Brno, Czech Republic

6th International Conference on Intelligent Decision Technologies
18-20 June 2014, Chania, Greece

ICAC 2014: 11th International Conference on Autonomic Computing
June 18-20 2014, Philadelphia, USA

CAiSE 2014: 26th International Conference on Advanced Information Systems Engineering
June 16-20 2014, Thessaloniki, Greece

ACM e-Energy 2014: 5th International Conference on Future Energy Systems
11-13 June 2014, Cambridge, UK

IEEE Conference on Evolving and Adaptive Intelligent Systems
June 2-4 2014, Linz, Austria

SORT 2014: 5th IEEE Workshop on Self-Organizing Real-Time Systems
June 9 2014, Reno, Nevada, USA

ICSE 2014: 36th International Conference on Software Engineering
May 31 – June 7 2014, Hyderabad, India

ADAPTIVE 2014: The Sixth International Conference on Adaptive and Self-Adaptive Systems and Applications
May 25-29 2014 – Venice, Italy

NIDISC’14: 17th International Workshop on Nature Inspired Distributed Computing
May 19-23 2014, Phoenix, Arizona USA

PASM 2014: 7th International Workshop on Practical Applications of Stochastic Modelling
13 May 2014, Newcastle, UK

HAIDM 2014: 3rd International Workshop on Human-Agent Interaction Design and Models 2014 (Co-located with AAMAS 2014)
May 5-9 2014, Paris, France

First International Workshop on Multiagent Foundations of Social Computing
(Co-located with AAMAS 2014)
May 5-9 2014, Paris, France

AAMAS 2014: 13th International Conference on Autonomous Agents and Multiagent Systems
May 5-9 2014, Paris, France

QAPL 2014: 12th International Workshop on Quantitative Aspects of Programming Languages
(Co-located with ETAPS’14)
12-13 April 2014, Grenobnle, France

FASE 14: 17th International Conference on Fundamental Approaches to Software Engineering (Co-located with ETAPS’14)
5-13 April 2014, Grenoble, France

Cassting’14: Workshop on Non-zero-sum Games for Synthesis (Co-located with ETAPS’14)
12 April 2014, Grenable, France

RESA 2014: 1st Workshop on Requirements Engineering for Self-adaptive and Autonomous Systems in REFSQ
April 7 2014, Essen, Germany

IC2E 2014: IEEE International Conference on Cloud Computing
10-12 March 2014, Boston, USA

STACS 2014: 31st Symposium on Theoretical Aspects of Computer Science
5-8 March 2014, Lyon, France

IEEE CSMR-WCRE 2014: The Working Conference on Reverse Engineering
3-6 February 2014, Antwerp, Belgium

SOPS 2014: NSF Workshop on Self-Organizing Particle Systems (co-located with SODA)
January 8 2014, Portland, Oregon, USA

ICSOC 2013: 11th International Conference on Service Oriented Computing
December 2-5 2013, Berlin, Germany

ICT 2013: Create, Connect, Grow
November 6-8 2013, Vilnius, Lithuania

MODELS 2013: ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems
September 29 – October 4 2013, Miami, Florida, USA

SCAM 2013: 13th IEEE International Working Conference on Source Code Analysis and Manipulation
September 22-23 2013, Eindhoven, The Netherlands

CoopIS’13: 21st International Conference on Cooperative Information Systems
September 11-13 2013, Graz, Austria

GandALF 2013: 4th International Symposium on Games, Automata, Logics and Formal Verification
August 29-31 2013, Borca di Cadore, Dolomites, Italy

FORMATS 2013: 11th International Conference on Formal Modeling and Analysis of Timed Systems
August 29–31 2013, Buenos Aires, Argentina

24th International Conference on Concurrency Theory
August 27–30 2013, Buenos Aires, Argentina

ACTIVATE London 2013
July 25 2013, London, UK

IEEE 20th International Conference on Web Services
June 27-July 2 2013, Santa Clara Marriott, CA, USA

CAiSE’13: 25th International Conference on Advanced Information Systems Engineering
17-21 June 2013, Valencia, Spain

COORDINATION 2013: 15th International Conference on Coordination Models and Languages
June 3-5 2013, Florence, Italy

2nd Social-IST Workshop
May 29 2013, Edinburgh, Scotland, UK

PATTERNS 2013: The Fifth International Conferences on Pervasive Patterns and Applications
May 27 – June 1 2013, Valencia, Spain