Conferences, Courses, and
Workshops
2016
- The 10th International Symposium on Theoretical Aspects
of Software Engineering Conference (TASE 2016), July
17-19, 2016, Shanghai, China.
- The 11th International Joint Conference on
Software Technologies - Software Paradigm Trends (ICSOFT-PT 2016),
Lisbon, Portugal, July 24-26, 2016.
- The 11th International Joint Conference on
Software Technologies - Software Engineering and
Applications (ICSOFT-EA
2016),
Lisbon, Portugal, July 24-26, 2016.
- The 4th International Conference on Data
Management Technologies and Applications (DATA 2016),
Lisbon, Portugal, July 24-26, 2016.
- The 18th International
Conference on Coordination Models and Languages
(Coordination 2016), June 2016.
- The 11th International Federated Conference
on Distributed Computing Techniques (DisCoTec 2016),
June 2016.
- Service-Oriented Architectures and Programming (SOAP 2016),
Special Track of the 31st ACM Symposium on Applied Computing
(SAC
2016), April 3-8, 2016, Pisa, Italy.
- Coordination Models, Languages and Applications (CM 2016),
Special Track of the 31st ACM Symposium on Applied Computing
(SAC 2016),
April 3-8, 2016, Pisa, Italy.
- The First IPM Advance School on Computing: Formal
Methods for Design and Analysis of Computer Systems (ASC 2016), 11-15
January, 2016, Tehran, Iran
2015
- Symposium on Dependable Software Engineering Theories,
Tools and Applications (SETTA 2015),
Nanjing, China, November 4-6, 2015.
- The 8th IEEE International Conference on Service
Oriented Computing & Applications (SOCA 2015),
Rome, Italy, 19-21 October 2015.
- The 12th International Symposium on Formal Aspects of
Component Software (FACS
2015), October 14-16, 2015, Rio de Janeiro, Brazil.
- The Fourth European Conference on Service-Oriented and
Cloud Computing (ESOCC
2015), Taormina (Messina), Italy, 15-17 September
2015.
- The 13th International Conference on Software
Engineering and Formal Methods (SEFM 2015),
York, UK, September 7-11, 2015.
- The 14th International Workshop on Foundations of
Coordination Languages and Self-Adaptive Systems (FOCLASA 2015),
September 5, 2014, Madrid, Spain; in conjunction with CONCUR
2015.
- Coordination Programming Mini-Symposium (CoPro
2015), collocated with ParCo 2015, Edinburgh, UK,
September 1, 2015.
- The First International Conference on Topics in
Theoretical Computer Science (TTCS
2015) August 26-28, 2015, Tehran, Iran.
- The 10th International Joint Conference on
Software Technologies - Software Paradigm Trends (ICSOFT-PT 2015),
Colmar, Alsace, France, July 20-22, 2015.
- The 10th International Joint Conference on
Software Technologies - Software Engineering and
Applications (ICSOFT-EA
2015), Colmar, Alsace, France, July 20-22, 2015.
- The 3rd International Conference on Data
Management Technologies and Applications (DATA 2015),
Colmar, Alsace, France, July 20-22, 2015.
- The 10th International Andrei Ershov Memorial
Conference (PSI
2015), Innopolis, Kazan, Russia, August 25-27, 2015.
- The 36th International Conference on Application and
Theory of Petri Nets and Concurrency and the 15th
International Conference on Application of Concurrency to
System Design (PN/ACSD
2015), Brussels, Belgium, June 21-26.
- The 15th International School on Formal Methods for the
Design of Computer, Communication, and Software Systems:
Formal Methods for Multicore Programming (SFM
2015), Bertinoro, Italy, June 15-19, 2015.
- The 17th International Conference on
Coordination Models and Languages (Coordination
2015), June 2-5, 2015, Berlin, Germany.
- The 10th International Federated Conference on
Distributed Computing Techniques (DisCoTec 2015), June
2-5, 2015, Berlin, Germany.
- International Conference on Fundamentals of Software
Engineering (FSEN 2015),
22-24 April 2015, Tehran, Iran.
- Constraint Solving and Programming (CSP
2015), Special Track of the 30th ACM
Symposium on Applied Computing (SAC
2015), April 13-17, 2015, Salamanca, Spain.
- Coordination Models, Languages and Applications (CM 2015),
Special Track of the 30th ACM Symposium on Applied Computing
(SAC 2015),
April 13-17, 2015, Salamanca, Spain.
- Mini-Symposium on Coordination
Models and Languages in honour of Farhad Arbab,
CWI, Amsterdam, January 9, 2015.
2014
- The First Dutch SEN Symposium (SEN 2014),
Amsterdam, December 3, 2014.
- The 11th International Colloquium on Theoretical
Aspects of Computing (ICTAC 2014),
September 17-20, 2014, Bucharest, Romania.
- The 14th IEEE International Conference on Computer and
Information Technology, (CIT
2014), September 11-13, 2014, Xi'an, Shaanxi, China.
- The 11th International Symposium on Formal Aspects of
Component Software (FACS
2014), September 10-12, 2014, Bertinoro, Italy;
Co-located with the 11th International Conference on
Integrated Formal Methods (iFM 2014).
- The 13th International Workshop on Foundations of
Coordination Languages and Self-Adaptive Systems (FOCLASA 2014),
September 6, 2014, Rome, Italy; in conjunction with CONCUR 2014.
- The 3rd European Conference on Service Oriented and
Cloud Computing (ESOCC 2014),
September 2-4, 2014, Manchester, UK.
- The 12th International Conference on Software
Engineering and Formal Methods (SEFM 2014), September
1-5, 2014, Grenoble, France.
- The 9th International Joint Conference on Software
Technologies - Software Paradigm Trends (ICSOFT-PT 2014),
August 29-31, 2014, Vienna, Austria.
- The 9th International Joint Conference on Software
Technologies - Software Engineering and Applications (ICSOFT-EA 2014),
August 29-31, 2014, Vienna, Austria.
- The 3rd International Conference on Data Management
Technologies and Applications (DATA 2014),
August 29-31, 2014, Vienna, Austria.
- The first International Symposium on Dependable
Software Engineering: Theories, Tools and Applications (SETTA 2014),
Nanjing, China, August 14-17, 2014.
- The 21th IEEE International Conference on Web Services
(ICWS
2014), June 27 - July 2, 2014, Anchorage,
Alaska, USA.
- Dagstuhl seminar on "Design
and Synthesis from Components," Schloss Dagstuhl,
Leibniz Center for Informatics, Germany, June, 1-6, 2014.
- The 16th International Conference on
Coordination Models and Languages (Coordination
2014), June 3-6, 2014, Berlin, Germany.
- The 9th International Federated Conference on
Distributed Computing Techniques (DisCoTec 2014), June
3-6, 2014, Berlin, Germany.
- Constraint Solving and Programming (CSP
2014), Special Track of the 29th ACM
Symposium on Applied Computing (SAC
2014), March 24 - 28, 2014, Gyeongju, Korea.
- Coordination Models, Languages and Applications (CM 2014),
Special Track of the 29th ACM Symposium on Applied Computing
(SAC
2014), March 24 - 28, 2014, Gyeongju, Korea.
- The second International Conference on Model-Driven
Engineering and Software Development (MODELSWARD 2014),
Lisbon, Portugal January 7-9, 2014.
2013
- The 13th IEEE International Conference on Computer and
Information Technology (CIT 2013),
December 3-5, 2013, Sydney, Australia.
- The second International Workshop on Formal Techniques
for Safety-Critical Systems (FTSCS
2013), Oct. 28 or 29, 2013, Queenstown,
New Zealand; satellite event of ICFEM
2013.
- The 15th International Conference on Formal Engineering
Methods (ICFEM
2013), Oct 29 - Nov 1, 2013, Queenstown, New Zealand.
- The 6th International Workshop on Harnessing Theories
for Tool Support in Software (TTSS
2013), October 28-30, 2013, Nanchang, China; colocated
with FACS 2013.
- The 10th International Symposium on Formal Aspects of
Component Software (FACS 2013),
October 28-30, 2013, Nanchang, China.
- The 12th International Conference on Parallel Computing
Technologies (PaCT
2013), September 30 - October 4, 2013, St.
Petersburg, Russia.
- The 12th International Workshop on the Foundations of
Coordination Languages and Self Adaptation (FOCLASA 2013), September
13, 2013, Malaga, Spain; satellite workshop of ESOCC 2013.
- The European Conference on Service-Oriented and Cloud
Computing (ESOCC 2013),
September 11-13, 2013, Malaga, Spain.
- The 10th International Colloquium on Theoretical
Aspects of Computing (ICTAC 2013), Sep
04 - 06, 2013, Shanghai, China.
- The 2nd International Conference on Data Management
Technologies and Applications (DATA 2013), July
29-31, Reykjavik, Iceland.
- The 8th International Joint Conference on Software
Technologies (ICSOFT 2013),
July 29-31, 2013, Reykjavik, Iceland.
- The 12th IEEE International Conference on Ubiquitous
Computing and Communications (IUCC-2013),
Melbourne, Australia, 16-18 July, 2013.
- The 20th IEEE International Conference on Web Services
(ICWS
2013) June 27-July 2, 2013, Santa Clara, CA, USA.
- The 15th International Conference on
Coordination Models and Languages (Coordination 2013),
June 3-6, 2013, Florence, Italy.
- The 8th International Federated Conference on
Distributed Computing Techniques (DisCoTec 2013), June
3-6, 2013, Florence, Italy.
- International Conference on Fundamentals of Software
Engineering (FSEN 2013),
24-26 April 2013, Tehran, Iran.
- Constraint Solving and Programming (CSP
2013), track of the 28th ACM Symposium on Applied
Computing (SAC
2013), March 18 - 22, 2013, Coimbra, Portugal.
- Coordination Models, Languages and Applications (CM 2013), track
of the 26th ACM Symposium on Applied Computing (SAC
2013), March 18 - 22, 2013, Coimbra, Portugal.
2012
- The first IPM Conference on Theoretical Aspects of
Computer Science (TACS
2012), December 22-26, Tehran, Iran.
- Complex Systems Design & Management (CSDM 2012),
December 12-14, 2012, Paris, France.
- The 4th FTRA International Conference on Computer
Science and its Applications (CSA 2012),
December 22-25, 2012, Jeju, Korea.
- The first International Workshop on Formal Techniques
for Safety-Critical Systems (FTSCS 2012), November
12, 2012, Kyoto, Japan; satellite event of ICFEM 2012.
- European Conference on Service-Oriented and Cloud
Computing (ESOCC
2012), September 19-21, 2012, Bertinoro, Italy.
- The 9th International Symposium on Formal Aspects of
Component Software (FACS 2012),
September 12-14, 2012, Mountain View, California, USA.
- The 11th International Workshop on the Foundations of
Coordination Languages and Software Architectures (FOCLASA 2012),
Newcastle upon Tyne, UK, September 8, 2012; satellite
workshop of CONCUR
2012.
- The 5th International Conference on Human-centric
Computing (HumanCom
2012), September 6-8, 2012, Gwangju, Korea.
- The 9th International Workshop on Web Services and
Formal Methods (WS-FM
2012), September 6-7, 2012, Tallinn, Estonia;
co-located with the 10th International Conference on
Business Process Management (BPM
2012), September 3-6, 2012, Tallinn, Estonia.
- Cognitive-based Text Understanding and Web Wisdom (CTUW
2012), August 22-24, 2012, Kyoto, Japan.
- International
Conference on Data Technologies and Applications (DATA 2012),
July 25-27, 2012, Rome, Italy.
- The 7th
International Conference on Software Paradigm Trends (ICSOFT 2012), July
24-27, 2012, Rome, Italy.
- The 11th IEEE International Conference on Ubiquitous
Computing and Communications (IUCC
2012), June 25-27, 2012, Liverpool, UK.
- The 10th
IEEE International Conference on Web Services (ICWS
2012), June 24-29, 2012, Waikiki, Honolulu, Hawaii,
USA.
- The 14th International Conference on
Coordination Models and Languages (Coordination 2012),
June 14-15, 2012, Stockholm, Sweden.
- The 7th International Federated Conference on
Distributed Computing Techniques (DisCoTec 2012),
June 13-16, 2012, Stockholm, Sweden.
- Complexity in Power Systems workshop (CompPower),
part
of
the
17th
International
Conference
of
The Society for Design and Process Science (SDPS
2012), June 10 - 14, 2012, Berlin, Germany.
- Programming Language Approaches to Concurrency and
Communication-cEntric Software (PLACES 2012),
March 31, 2012, Tallinn, Estonia; affiliated workshop of ETAPS 2012.
- The 9th International Workshop on Formal Engineering
approaches to Software Components and Architectures (FESCA 2012),
March 31, 2012, Tallinn, Estonia; satellite event of ETAPS 2012.
- European Joint Conferences on Theory & Practice of
Software (ETAPS 2012),
March 24 - April 1, 2012, Tallinn, Estonia.
- Constraint Solving and Programming (CSP
2012), track of the 27th ACM Symposium on Applied
Computing (SAC
2012), March 25 - 29, 2012, Trento, Italy.
- Coordination Models, Languages and Applications (CM 2012), track
of the 26th ACM Symposium on Applied Computing (SAC
2012), March 25 - 29, 2012, Trento, Italy.
2011
- The 3rd FTRA International Conference on Computer
Science and its Applications (CSA 2011), December
12-15, 2011, Jeju, Korea.
- Complex Systems Design & Management (CSDM 2011),
December 7-9, 2011, Paris, France.
- The 13th International Conference on Formal Engineering
Methods (ICFEM
2011), October 26-28, 2011, Durham, UK.
- International Conference on Parallel Computing
Technologies (PaCT 2011),
September
19-23, 2011, Kazan, Russia.
- The 9th European Conference on Web Services (ECOWS), September
14-16, 2011, Lugano, Switzerland.
- Formal Aspects of Component Software (FACS 2011),
September 14-16, Oslo, Norway.
- The 5th International Workshop on Harnessing Theories
for Tool Support in Software (TTSS
2011), September 13, 2011, Oslo, Norway; in
conjunction with FACS
2011.
- The 10th International Workshop on the Foundations of
Coordination Languages and Software Architectures (FOCLASA 2011),
Aachen, Germany, September 10, 2011; satellite workshop of CONCUR 2011.
- The 11th IEEE International Conference on Computer and
Information Technology (CIT 2011),
August 31 - September 2, 2011, Paphos, Cyprus.
- The 10th Estonian Summer School on Computer and Systems
Science (ESSCaSS
2011), August 21-25, 2011, Bernhard Spa Hotel,
Otepaa, Estonia.
- The second International Workshop on Cognitive-based
Text Understanding and Web Wisdom (CTUW
2011), August 18-20, 2011, Banff, Alberta, Canada; in
conjunction with the 10th IEEE International Conference on
Cognitive Informatics & Cognitive Computing (ICCI*CC 2011).
- The 4th International Conference on Human-centric
Computing (HumanCom
2011), August 11-13, 2011, Enshi, China.
- The 6th International Conference on Software and Data
Technologies (ICSOFT 2011),
July 18-21, 2011, Seville, Spain.
- The 17th International Symposium on Formal Methods (FM 2011), June
20-24, 2011, Lero, Limerick, Ireland.
- CSI International Symposium on Computer Science and
Software Engineering (CSSE-2011), June
15-16, 2011, Sharif University of Technology, Tehran, Iran.
- The 15th International Conference on Computer Supported
Cooperative Work in Design (CSCWD 2011),
June 8-10, 2011, Lausanne, Switzerland, co-sponsored by IEEE
SMC Society.
- The 4th International Workshop on Interaction and
Concurrency Experience (ICE
2011), June 9th, 2011, Reykjavik, Iceland; satellilte
event of DisCoTec 2011.
- The 13th international conference on Coordination
Models and Languages (Coordination
2011), Reykjavik, Iceland, June 6-9, 2011.
- The 6th international Federated Conferences on
Distributed Computing Techniques (DisCoTec 2011),
Reykjavik, Iceland, June 6-9, 2011.
- IEEE/FTRA International Conference on Advanced Software
Engineering (ICASE-11),
26-28
May, 2011, Busan, Korea.
- International Conference on Fundamentals of Software
Engineering (FSEN 2011),
Tehran, Iran, 20-22 April 2011.
- Constraint Solving and Programming (CSP
2011), track of the 26th ACM Symposium on Applied
Computing (SAC
2011), March 21 - 25, 2011, TaiChung, Taiwan.
- Coordination Models, Languages and Applications (CM 2011), track
of the 26th ACM Symposium on Applied Computing (SAC
2011), March 21 - 25, 2011, TaiChung, Taiwan.
2010
- International Workshop on Cognitive-based Interactive
Computing and Web Wisdom (CICW
2010), December 8-10, 2010, Shanghai, China, In
conjunction with the 9th International Conference on
Web-based Learning (ICWL 2010)
- The 8th IEEE European Conference on Web Services (ECOWS 2010),
December 1-3, 2010, Ayia Napa, Cyprus.
- The 12th International Conference on Formal Engineering
Methods (ICFEM
2010), Nov 17 - 19, 2010, Shanghai, China.
- 5th SIKS/BENAIS
Conference on Enterprise Information Systems, Eindhoven,
November 16, 2010.
- Complex Systems Design & Management (CSDM 2010), Oct.
27-29, 2010, Paris, France.
- Formal Aspects of Component Software (FACS 2010),
October 14-16, 2010, Guimaraes, Portugal
- The 9th International Workshop on the Foundations of
Coordination Languages and Software Architectures (FOCLASA
2010), Satellite Workshop of CONCUR 2010, Paris,
France, September 4, 2010.
- The 5th International Conference on Software and Data
Technologies (ICSOFT
2010), July 22-24, 2010, Athens, Greece.
- The 12th international conference on Coordination
Models and Languages (Coordination
2010), Amsterdam, Netherlands, June 7-10, 2010.
- The 1st Workshop on Engineering SOA and the Web (ESW
2010), Hosted at Tenth International Conference on Web
Engineering (ICWE
2010), July 5 - 9, 2010 in Vienna, Austria.
- ACS/IEEE International Conference on Computer Systems
and Applications (AICCSA
2010), Hammamet, Tunisia May 16-19th, 2010.
- Coordination Models, Languages and Architectures (CM), Special
Track of the 25th ACM Symposium on Applied Computing (SAC
2010), March 22-26, 2010, Sierre, Switzerland.
2009
- The 2nd International Conference on Computer Science
and its Applications (CSA
2009), Jeju, Korea, December 10-12, 2009.
- The 7th IEEE European Conference on Web Services (ECOWS 2009),
November 9-11, 2008, Eindhoven, Netherlands.
- Formal Aspects of Component Software (FACS 2009),
November 2-3, Eindhoven, Netherlands.
- Interaction and Concurrency Experiences (ICE 2009), October
20, 2009, Bologna, Italy.
- The 6th International Colloquium on Theoretical Aspects
of Computing (ICTAC 2009),
August 18-20, 2009, Kuala Lumpur, Malaysia.
- The 3rd IEEE International Symposium on Theoretical
Aspects of Software Engineering (TASE 2009),
July 29 - 31, 2009, Tianjin, China.
- The 36th International Colloquium on Automata,
Languages and Programming (ICALP
2009), 5-12 July
2009, Rhodes, Greece.
- The 8th International Workshop on the Foundations of
Coordination Languages and Software Architectures (FOCLASA 2009), 11
July 2009, Rhodes, Greece; satellite workshop of ICALP 2009.
- The 7th International Workshop on Distributed and
Mobile Collaboration (DMC 2009),
June 29 - July 1, 2009, Groningen, the Netherlands; held at
the 18th IEEE International Workshops on Enabling
Technologies: Infrastructures for Collaborative Enterprises
(WETICE 2009).
- The 11th IEEE international conference on High
Performance Computing and Communications (HPCC 2009), June
25-27, 2009, Korea University, Seoul, Korea.
- The 11th international conference on Coordination
Models and Languages (Coordination
2009); member conference of Distributed Computing
Techniques 2009 (Discotec
2009), June 9-12, 2009, Lisbon, Portugal.
- The 23rd IEEE International
Conference on Advanced Information Networking and
Applications (AINA
2009), May 26-29, 2009, University of Bradford,
Bradford, UK.
- The Third International Confrence on Fundamentals of
Software Engineering (FSEN
2009), April 15-17, 2009, Kish Island, Persian Gulf,
Iran.
- Coordination Models, Languages and Architectures (CM),
Special Track of the 24th ACM Symposium on Applied Computing
(SAC
2009), March 8-12, 2009, Waikiki Beach, Honolulu,
Hawaii, USA.
- 7th International Conference on Integrated Formal
Methods (IFM
2009), February 16, 2009, Dusseldorf, Germany.
2008
- The sixth IEEE European Conference on Web Services (ECOWS
2008), November 12-14, 2008, Dublin, Ireland.
- The seventh International Symposium on
Formal Methods for Components and Objects (FMCO
2008), 20-24 October 2008, Sophia
Antipolis, France.
- The 11th International Symposium on Component-Based
Software Engineering (CBSE 2008),
14-17
October
2008,
Karlsruhe,
Germany;
member
of
CompArch 2008.
- The NWO I-science workshop on data mining, distributed
computing and visualization for astronomy (IsFast
2008), 13-17 October 2008, Lorentz Center, Leiden
University, The Netherlands.
- The third International Symposium on Leveraging
Applications of Formal Methods, Verification and Validation
(ISoLA
2008), 13-15 October 2008, Porto Sani (Kassandra,
Chalkidiki), Greece.
- Mexican International Conference on Computer Science (ENC 2008), October
6-10, 2008, Mexicali, Baja California, Mexico.
- The 10th IEEE international conference on High
Performance Computing and Communications (HPCC 2008),
September 25-27, 2008, Dalian, China.
- Formal Aspects of Component Software (FACS 2008), September
10-12, Malaga, Spain.
- The second International Symposium on Unifying Theories
of Programming (UTP
2008), 8-10 September 2008, Trinity College Dublin,
Ireland.
- The fifth International Workshop on Web Services and
Formal Methods (WS-FM
2008), 4-5 September 2008, Milan, Italy; satellite
event of the 6th International Conference on Business
Process Management (BPM
2008).
- First International Workshop on Quality Aspects of
Coordination (QAC
2008), 31 August 2008, Istanbul, Turkey; satellite
event of the 5th International Colloquium on Theoretical
Aspects of Computing (ICTAC 2008).
- Special session on Programming Multi- and
Many-cores, in the International Symposium on Systems,
Architectures, Modeling and Simulation (SAMOS VIII),
July 21-24, 2008, Samos, Greece.
- The 7th International Workshop on the Foundations of
Coordination Languages and Software Architectures (FOCLASA 2008),
July 13, 2008, Reykjavik, Iceland; satellite event of ICALP 2008.
- IEEE International Workshop on Autonomic Service
Discovery and Management (ASDM
2008), July 8, 2008, Hawaii, USA;
in conjunction with IEEE International Conference on
Services Computing (SCC 2008).
- The third International Conference on Software and Data
Technologies (ICSOFT 2008),
July 3-5, 2008, Porto, Portugal.
- The second International Workshop on Software
Architecture Research and Practice (SARP 2008), special
track of ICDT
2008, June 29 - July 5, 2008, Bucharest, Romania.
- The 8th International Conference on Application of
Concurrency to System Design (ACSD
2008), June 23-27, 2008, Xi'an, China.
- The 6th International Workshop on Distributed and
Mobile Collaboration (DMC
2008), June 23-25, 2008, Rome, Italy; satellite event
of WETICE 2008.
- The 2nd IEEE International Symposium on Theoretical
Aspects of Software Engineering (TASE 2008), June
17-19, 2008, Nanjing, China.
- International workshop on Harnessing Theories for Tool
Support in Software (TTSS 2008),
June 15-16, 2008, Nanjing, China.
- The 19th International Workshop on Algebraic
Development Techniques (WADT 2008),
June 13-16, 2008, Pisa, Italy.
- Formal Methods for Open Object-based Distributed
Systems (FMOODS
2008), June 4-6, 2008, Oslo, Norway; member
conference of DisCoTec
2008.
- The 10th International Conference on Coordination
Models and Languages (Coordination
2008), June 4-6, 2008, Oslo, Norway; member conference
of DisCoTec
2008.
- The first international conference on Foundations of
Informatics, Computing and Software (FICS
2008), June 3-6, Shanghai, China.
- Workshop on Optimization Issues in Grid and Parallel
Computing Environments (IPC
2008), June 3-6, 2008, Nicosia, Cyprus; satellite
event of HPCS 2008
and ECMS 2008.
- The 7th International Workshop on Graph Transformation
and Visual Modeling Techniques (GT-VMT 2008),
March 29-30, 2008, Budapest, Hungary; satellite event of ETAPS 2008.
- Special Track on Coordination
Models, Languages and Architectures in the 23rd ACM
Symposium on Applied Computing (SAC
2008), March 16-20, 2008, Fortaleza, Brazil.
- The 13th International CSI Computer Conference (CSICC
2008), March 9-11, 2008, Kish Island, Persian Gulf,
Iran.
- The First IPM / UNU Winter School on
Foundations and Trends in Computer Science (FTCS 2008), January
31 - February 10, 2008, Tehran, Iran.
2007
- The 5th
European Conference on Web Services (ECOWS 2007),
November 26-28, 2007, Halle (Saale), Germany.
- The 5th
International
Conference on Business Process Management (BPM 2007),
September 24-28, 2007, Brisbane, Australia.
- The 4th
International Workshop on Web Services and Formal Methods (WS-FM 2007),
September 28-29, 2007, Brisbane, Australia; co-located with
BPM 2007.
- Fourth
International Colloquium on Theoretical Aspects of Computing
(ICTAC 2007),
September 26-28, 2007, Macao, China.
- International
workshop on Harnessing Theories for Tool Support in Software
(TTSS 2007),
September 22-23, 2007, Macao, China.
- Fourth
International Workshop on Formal Aspects of Component
Software (FACS
2007), September 19-21, 2007, Sophia-Antipolis,
France.
- The 18th
International Conference on Concurrency Theory (CONCUR 2007),
September 4-7, 2007, Lisbon, Portugal.
- The 6th
International Workshop on the Foundations of Coordination
Languages and Software Architectures (FOCLASA 2007),
September 8, 2007, Lisbon, Portugal; satellite workshop of CONCUR 2007.
- Workshop on
Synthesis and Analysis of Component Connectors (SYANCO
2007), September 3-4, 2007, Dubrovnik, Croatia;
satellite workshop of ESEC/FSE 2007.
- European
Software Engineering Conference and ACM SIGSOFT Symposium on
the Foundations of Software Engineering (ESEC/FSE),
Dubrovnik, Croatia, September 3-7, 2007.
- The First
International Workshop on Software Architecture Research and
Practice (SARP
2007), July 1-6, 2007, Silicon Valley, USA.
- 16th IEEE
International Workshops on Enabling Technologies:
Infrastructures for Collaborative Enterprises (WETICE 2007), June
18-20, 2007, Paris, France.
- Fifth
International Workshop on Distributed and Mobile
Collaboration (DMC 2007),
June 18, 2007, Paris, France.
- DisCoTec 2007,
June 5-8, 2007, Paphos, Cyprus.
- Ninth IFIP
International Conference on Formal Methods for Open
Object-based Distributed Systems (FMOODS
2007), June 5-8, 2007, Paphos, Cyprus.
- Coordination
2007, June 5-8, 2007, Paphos, Cyprus.
- Quality Aspects
of Coordination (QAC 2007);
satellite workshop of TASE 2007,
June 4-5, 2007, Shanghai, China.
- First IEEE
& IFIP International Symposium on Theoretical Aspects of
Software Engineering (TASE 2007),
June 6-8, 2007, Shanghai, China.
- Second IPM
International Symposium on Fundamentals of Software
Engineering (FSEN 2007),
April 17-19, 2007, Tehran, Iran.
- IPA Spring School on
Service-oriented
Computing, April 3-5, 2007, Heeze, the Netherlands.
- Foundations of
Interactive Computing (FInCo 2007);
satellite workshop of ETAPS 2007,
March 31, 2007, Braga, Portugal.
- Software
Composition 2007 (SC
2007); satellite workshop of ETAPS 2007,
March 24-25, 2007, Braga, Portugal.
- ETAPS 2007,
March 24 - April 1, 2007, Braga, Portugal.
- The 22nd Annual
ACM Symposium on Applied Computing (SAC
2007), March 11-15, 2007, Seoul, Korea.
- The 12th
International CSI Computer Science Conference (CSICC 2007),
February 20-22, 2007, Tehran, Iran.
2006
- The 4th IEEE
European Conference on Web Services (ECOWS '06),
December 4-6, 2006, Zurich, Switzerland.
- Ambiance
Workshop, Computer Science and Communications,
University of Luxembourg, November 10, 2006, Luxembourg.
- The 5th
International Symposium on Formal Methods for Components and
Objects (FMCO
2006), November 7-10, 2006, Amsterdam, Netherlands.
- Eighth
International Conference on Formal Engineering Methods (ICFEM 2006),
October 30 - November 3, 2006, Macao, China.
- Fourth
International Conference on Advances in Information Systems
(ADVIS '06),
October 18-20, 2006, Izmir, Turkey.
- Third
International Conference on Parallel Computations and
Control Problems (PACO
2006), October 2-4, 2006, Moscow, Russia.
- Third
International Workshop on Formal Aspects of Component
Software (FACS'06),
September 20-22, 2006, Prague, Czech Republic.
- International
Workshop on Web Services and Formal Methods (WS-FM06),
September
8-9, 2006, Vienna, Austria.
- Fourth
International Conference on Business Process Management (BPM 2006),
September 5-7, 2006, Vienna, Austria.
- Fifth
International Workshop on the Foundations of Coordination
Languages and Software Architectures (FOCLASA 2006),
August 31, 2006, Bonn, Germany.
- The third
International Workshop on Coordination and Adaptation for
Software Entities (WCAT06),
July 4, 2006, Nantes, France; held in conjunction with ECOOP 2006.
- International
Conference on Software Engineering and Practice (SERP
2006), June 26-29, 2006, Las Vegas, Nevada, USA.
- The 8th
International Conference on Coordination Models and
Languages (Coordination
2006), June 13-16, 2006, Bologna, Italy.
- The second
International Workshop on Coordination and Organization (CoOrg 2006), June 13,
2006, Bologna, Italy.
- The 18th
Conference on Advanced Information Systems Engineering (CAiSE'06), June
5-9, 2006, Luxembourg.
- International
Workshop on Ubiquitous Mobile Information and Collaboration
Systems (UMICS 2006),
June 5-6, 2006, Luxembourg; satellite workshop of CAiSE'06.
- Jornadas de
Informatica (JOIN06),
Univerity of Minho, 5-7 April 2006, Braga, Portugal.
- The 11th
International CSI Computer Conference (CSICC 2006),
January 24-26, 2006, Tehran, Iran.
- Sixth IEEE
International Symposium and School on Advance Distributed
Systems (ISSADS
2006), January 23-27, 2006, Guadalajara, Jalisco,
Mexico.
2005
- Seventh
International Conference on Formal Engineering Methods (ICFEM 2005),
1-4 November 2005, Manchester, UK.
- Formal Aspects
of Component Software (FACS 2005),
24-25 October 2005, Macau.
- IPM
International Workshop on Foundations of Software
Engineering (FSEN
2005), 1-3 October 2005, Tehran, Iran.
- Eigth
International Conference on Parallel Computing Technologies
(PaCT 2005),
5-9 September 2005, Krasnoyarsk, Russia.
- Fourth
International Workshop on the Foundations of Coordination
Languages and Software Architectures (FOCLASA 2005), 27
August 2005, San Francisco, California, USA.
- Second
International Workshop on Coordination and Adaptation
Techniques for Software Entities (WCAT05),
25 July 2005, Glasgow, UK. Held in conjunction with ECOOP 2005.
- Third
International Workshop on Distributed and Mobile
Collaboration (DMC
2005), 13-15 June 2005, Linkoping University, Sweden.
- Ubiquitous
Mobile Information and Collaboration Systems (UMICS 2005),
13-14 June 2005, Porto, Portugal.
- Seventh
International Conference on Coordination Models and
Languages (Coordination
2005), 20-23 April 2005, Namur, Belgium.
- European Joint
Conferences on Theory and Practice of Software (ETAPS 2005),
2-10 April 2005, Edinburgh, Scotland.
- Foundations of
Interactive Computation (FInCo 2005),
satellite
workshop of ETAPS 2005, Saturday 9 April 2005, Edinburgh,
Scotland.
- Coordination
Models, Languages and Applications. Special Track of
the 20th ACM Symposium on Applied Computing (SAC
2005), 13-17 March 2005, Santa Fe, New Mexico, USA.
- Tenth IEEE
Workshop on Object-oriented Real-time Dependable Systems (WORDS
2005), 2-4 February 2005, Sedona, Arizona, USA.
- Fifth IEEE
International Symposium and School on Advance Distributed
Systems (ISSADS
2005), 24-28 January, Guadalajara, Jalisco, Mexico.
2004
- International
Symposium on Formal Methods for Components and Objects (FMCO 2004),
2-5 November 2004, Lorentz
Center, Leiden
University, Leiden, The Netherlands.
- International
Symposium for Leveraging Applications of Formal
Methods (ISoLA
2004), 30 October - 2 November 2004,
Paphos, Cyprus.
- Third
Biennial
International Conference on Advances in Information
Systems (ADVIS 2004),
Izmir,
Turkey, 20-22
October 2004.
- The European
Conference on Web Services (ECOWS '04), Erfurt,
Germany, September 27-30, 2004.
Affiliated workshop of Net.ObjectsDays
2004.
- IEEE
International Conference on Software Engineering and
Formal Methods (SEFM 2004),
Beijing, China
26-30 September 2004.
- Component Composition and Coordination,
Graduate Short Course, 8-10 September 2004, Turku, Finland.
- CONCUR 2004,
Royal
Society, London, United
Kingdom, Tuesday 31
August - Friday 3
September 2004.
- International Workshop on
Security Issues in Coordination Models, Languages, and
Systems (SecCo 2004) August 30, 2004,
London, United
Kingdom. Affiliated workshop of CONCUR 2004.
- International
Workshop
on Foundations of Coordination Languages and Software
Architectures (Foclasa 2004),August 30, 2004,
London, United
Kingdom. Affiliated
workshop of CONCUR 2004.
- Euro-Par
2004, 31 Aug - 3 Sep. 2004, Pisa, Italy.
- International Workshop on
Distributed and Mobile Collaboration (DMC
2004), 14-16 June 2004. Affiliated workshop of WETICE 2004.
- Ubiquitous
Mobile Information and
Collaboration Systems (UMICS
2004), Riga, Latvia,
7-8 June, 2004. Affiliated workshop of CAiSE 2004.
- Workshop on Predictable Software
Component Assembly (PSCA
2004), University of Manchester,
UK,
20-21 May 2004.
- International Workshop on Web
Services: Modeling, Architecture and Infrastructure (WSMAI
2004), Porto, Portugal, April 13-14, 2004.
Affiliated
workshop of ICEIS
2004.
- Sixth
International Conference on Coordination Models and
Languages (Coordination
2004), Pisa, Italy,
24-27 February 2004.
- Computer
Society of Iran Computer Conference (CSICC),
Tehran, Iran, 17-19 February 2004.
- Workshop on
Formal Methods for Reasoning About Objects and Component
Composition (FMROCC),
Institute for Theoretical Physics and Mathematics (IPM),
Tehran,
Iran,
15 February 2004.
2003
- O2C: A Semantic Thread from
Objects to Components, Graduate Short Course, Helsinki,
Finland, June 2003.