International Conference on Service Oriented Computing

Last updated December 06, 2023

The International Conference on Service Oriented Computing, short ICSOC, is an annual conference providing an outstanding forum for academics, industry researchers, developers, and practitioners to report and share groundbreaking work in service-oriented computing. ICSOC has an 'A' rating from the Excellence in Research in Australia (ERA). Calls for Papers are regularly published on WikiCFP^[1] and on the conference website.^[2] The conference is also listed in Elsevier's Global Events List.^[3]

ICSOC fosters cross-community scientific excellence by gathering experts from various disciplines, such as business process management, distributed systems, computer networks, wireless and mobile computing, cloud computing, networking, scientific workflows, services science, management science, and software engineering. Since 2007 ICSOC operates under the auspices of the Scientific Academy for Service Technology e.V. (ServTech), a non-profit association located in Potsdam, Germany. Traditionally the ICSOC venue changes from year to year between Europe, the Americas, and Asia/Pacific Rim. Except for 2004, all conference proceedings were published by Springer as Lecture Notes in Computer Science.

Up to ICSOC 2015, the proceedings listed below are openly accessible. For later issues, the date in parentheses specifies when open access will become effective.

Locations and organizers

Conference	Location	Conference Chairs	Program Chairs	Keynote Speakers
ICSOC 2023	Rome, Italy	Massimo Mecella	Antonio Ruiz Cortes, Stefanie Rinderle-Ma, Zibin Zheng	Giuseppe De Giacomo, Pablo Fernandez, Abdelsalam Helal
ICSOC 2022	Seville, Spain	Antonio Ruiz, Pablo Fernandez	Brahim Medjahed, Mario Piattini, Lina Yao	Ernesto Damiani, Juan M. Murillo
ICSOC 2021	Dubai	Hakim Hacid	Massimo Mecella, Naouel Moha, Helen Paik	Boualem Benatallah, Michael R. Lyu, Zakaria Maamar
ICSOC 2020	Online	Hakim Hacid, Athman Bouguettaya	Eleana Kafeza, Boualem Benatallah, Fabio Martinelli	Michael L. Brodie, Wolfgang Reisig, Xiaofei Xu
ICSOC 2019	Toulouse, France	Albert Zomaya, Djamal Benslimane	Khalil Drira, Zahir Tari, Sami Yangui	C. Mohan, Pierre Rognant, Ivica Crnkovic
ICSOC 2018	Hangzhou, China	Michael Sheng, Zhaohui Wu, Xiaofei Xu	Claus Pahl, Maja Vukovic, Jianwei Yin	Schahram Dustdar, Jeff Zeng, Liming Zhu
ICSOC 2017	Málaga, Spain	Carlos Canal	Michael Maximilian, Antonio Vallecillo, Jianmin Wang	Christopher Adams, Tommi Mikkonen, Ricardo Baeza-Yates
ICSOC 2016	Banff, Canada	Barbara Pernici, Munindar P. Singh	Michael Sheng, Eleni Stroulia, Samir Tata	Elisa Bertino, Valerie Issarny, Rick Hull
ICSOC 2015	Goa, India	Aditya Ghose, Srinivas Padmanabhuni	Alistair Barros, Daniela Grigori, Nanjangud C. Narendra	Timos Sellis, Pramod Verma, Manish Gupta
ICSOC 2014	Paris, France	Samir Tata	Xavier Franch, Aditya Ghose, Grace Lewis	Joseph Sifakis, François Bancilhon
ICSOC 2013	Berlin, Germany	Wolfgang Reisig, Jianwen Su	Samik Basu, Cesare Pautasso, Liang Zhang	Carlo Ghezzi, Richard Hull
ICSOC 2012	Shanghai, China	Jian Yang, Liang Zhang	Chengfei Liu, Heiko Ludwig, Farouk Toumani	Charles Loboz, Jianwen Su, James T. Yeh
ICSOC 2011	Paphos, Cyprus	Mohand-Said Hacid, Winfried Lamersdorf, George Papadopoulos	Gerti Kappel, Zakaria Maamar, Hamid Motahari	Meir Amiel, Paul Constantinides, Wolfgang Emmerich, Omer Rana
ICSOC 2010	San Francisco, California	Heiko Ludwig, Fu-Ren Lin	Paul Maglio, Mathias Weske, Jian Yang	Larry Leifer, Jim Spohrer, Kaj van de Loo
ICSOC 2009	Stockholm, Sweden	Mohand-Said Hacid, Fernando Fournon, Gunnar Landgren	Luciano Baresi, Chi-Hung Chi, Jun Suzuki	Bashar Nuseibeh, Joan Masso, Adam Dunkels
ICSOC 2008	Sydney, Australia	Boualem Benatallah, Frank Leymann	Athman Bouguettaya, Ingolf H. Krüger, Tiziana Margaria	Ian Foster, Neel Sundaresan, Peter Vosshall
ICSOC 2007	Vienna, Austria	Asit Dan, Schahram Dustdar	Bernd Krämer, KJ Lin, Priya Narasimhan	Ambuj Goyal, Stefano De Panfilis
ICSOC 2006	Chicago, USA	Ian Foster, Carlo Ghezzi	Asit Dan, Winfried Lamersdorf	Charles E. Catlett, Alfred Z. Spector
ICSOC 2005	Amsterdam, the Netherlands	Francisco Curbera, Mike Papazoglou	Boualem Benatallah, Fabio Casati, Paolo Traverso,	Carlo Ghezzi
ICSOC 2004	New York City, USA	Paolo Traverso, Sanjiva Weerawarana	Mikio Aoyama, Francisco Curbera, Mike Papazoglou	Don Ferguson, Adam Bosworth, Tim Berners-Lee
ICSOC 2003	Trento, Italy	Fabio Casati, Bernd Krämer	Maria Orlowska, Mike Papazoglou, Sanjiva Weerawarana	Peter Diry, Bertrand Meyer, Frank Leymann

Steering committee members

Boualem Benatallah (since 2008)
Athman Bouguettaya (since 2020)
Fabio Casati (2003-2022)
Paco Curbera (2003-2013)
Asit Dan (2007-2013)
Bernd Krämer (2007-2023)
Winfried Lamersdorf (since 2012)
Heiko Ludwig (2013-2022)
Mike Papazoglou (2003-2023, past chair)
Paolo Traverso (2003-2013)
Jian Yang (since 2013)
Liang Zhang (since 2013)

Proceedings

https://link.springer.com/book/10.1007/978-3-031-48421-6 Service-Oriented Computing - 21st International Conference, ICSOC 2023, Part I, Flavia Monti, Stefanie Rinderle-Ma, Antonio Ruiz Cortés, Zibin Zheng, Massimo Mecella (eds) Rome, Italy, November 28 – December 1, 2023 Lecture Notes in Computer Science 14419, Springer Berlin Heidelberg

https://link.springer.com/book/10.1007/978-3-031-48424-7 Service-Oriented Computing - 21st International Conference, ICSOC 2023, Part II, Flavia Monti, Stefanie Rinderle-Ma, Antonio Ruiz Cortés, Zibin Zheng, Massimo Mecella (eds) Rome, Italy, November 28 – December 1, 2023 Lecture Notes in Computer Science 14420, Springer Berlin Heidelberg

https://link.springer.com/book/10.1007/978-3-031-20984-0 Service-Oriented Computing - 20th International Conference, ICSOC 2022, Javier Troya, Brahim Medjahed, Mario Piattini, Lina Yao, Pablo Fernández, Antonio Ruiz-Cortés (eds) Seville, Spain, November 29 – December 2, 2022. Lecture Notes in Computer Science 13740, Springer Berlin Heidelberg, ISBN 978-3-031-20984-0, Volume 13740

https://link.springer.com/book/10.1007/978-3-030-91431-8 Service-Oriented Computing - 19th International Conference, ICSOC 2021, Hacid, H., Kao, O., Mecella, M., Moha, N., Paik, H. (eds) Dubai, United Arab Emirates, November 22–25, 2021. Lecture Notes in Computer Science 13121, Springer Berlin Heidelberg, ISBN 978-3-030-91430-1, Volume 13121

https://link.springer.com/book/10.1007/978-3-030-65310-1 Service-Oriented Computing - 18th International Conference, ICSOC 2020, Kafeza, E., Benatallah, B., Martinelli, F., Hacid, H., Bouguettaya, A., Motahari, H. (eds) Dubai, United Arab Emirates, December 14–17, 2020. Lecture Notes in Computer Science 12571, Springer Berlin Heidelberg, ISBN 978-3-030-65309-5, Volume 12571

https://link.springer.com/book/10.1007/978-3-030-33702-5 Service-Oriented Computing - 17th International Conference, ICSOC 2019, Yangui, S., Bouassida Rodriguez, I., Drira, K., Tari, Z. (eds) Toulouse, France, October 28–31, 2019. Lecture Notes in Computer Science 11895, Springer Berlin Heidelberg, ISBN 978-3-030-33701-8, Volume 11895

https://link.springer.com/book/10.1007%2F978-3-030-03596-9 (07.11.2023) Service-Oriented Computing - 16th International Conference, ICSOC 2018, Pahl, C., Vukovic, M., Yin, J., Yu, Q. (Eds.), Hangzhou, China, November 12–15, 2018. Lecture Notes in Computer Science 11236, Springer Berlin Heidelberg, ISBN 978-3-319-69034-6, Volume 11236

https://link.springer.com/book/10.1007%2F978-3-319-69035-3 (19.10.2022) Service-Oriented Computing - 15th International Conference, ICSOC 2017, Maximilien, M., Vallecillo, A., Wang, J., Oriol, M. (Eds.), Malaga, Spain, November 13–16, 2017. Lecture Notes in Computer Science 10601, Springer Berlin Heidelberg, ISBN 978-3-319-69034-6, Volume 10601

https://link.springer.com/book/10.1007%2F978-3-319-46295-0 (20.09.2021) Service-Oriented Computing - 14th International Conference, ICSOC 2016, Sheng, Q.Z., Stroulia, E., Tata, S., Bhiri, S. (Eds.), Banff, Canada, October 16–19, 2016. Lecture Notes in Computer Science 9936, Springer Berlin Heidelberg, ISBN 978-3-319-46294-3, Volume 9936

https://link.springer.com/book/10.1007%2F978-3-662-48616-0 Service-Oriented Computing - 13th International Conference, ICSOC 2015, Barros, A., Grigori, D., Narendra, N.C., Dam, H.K. (Eds.), Goa, India, November 16–19, 2015. Lecture Notes in Computer Science 9435, Springer Berlin Heidelberg, ISBN 978-3-662-48615-3, Volume 9435

https://link.springer.com/book/10.1007%2F978-3-662-45391-9 Service-Oriented Computing - 12th International Conference], ICSOC 2014, Franch, X., Ghose, A.K., Lewis, G.A., Bhiri, S. (Eds.), Paris, France, November 3–6, 2014. Lecture Notes in Computer Science, Springer Berlin / Heidelberg, ISBN 978-3-662-45391-9, Volume 8831

https://link.springer.com/book/10.1007%2F978-3-642-45005-1 Service-Oriented Computing - 11th International Conference, ICSOC 2013, Basu, S., Pautasso, C., Zhang, L., Fu, X. (Eds.), Lecture Notes in Computer Science, Springer Berlin / Heidelberg, ISBN 978-3-642-45005-1, Vol. 8274

https://link.springer.com/book/10.1007%2F978-3-642-34321-6 Service-Oriented Computing - 10th International Conference, ICSOC 2012, Liu, C., Ludwig, H., Toumani, F., Yu, Q. (Eds.), Lecture Notes in Computer Science, Springer Berlin / Heidelberg, ISBN 978-3-642-34321-6, Vol. 7636

https://link.springer.com/book/10.1007%2F978-3-642-25535-9 Service-Oriented Computing - 9th International Conference, ICSOC 2011, Kappel, G., Maamar, Z., Motahari-Nezhad, H.R. (Eds.), Lecture Notes in Computer Science, Springer Berlin / Heidelberg, ISBN 978-3-642-25535-9, Vol. 7084

https://link.springer.com/book/10.1007%2F978-3-642-17358-5 Service-Oriented Computing - 8th International Conference, ICSOC 2010, Maglio, P.P., Weske, M., Yang, J., Fantinato, M. (Eds.), Lecture Notes in Computer Science, Springer Berlin / Heidelberg, ISBN 978-3-642-17358-5, Vol. 6470

https://link.springer.com/book/10.1007%2F978-3-642-10383-4 Service-Oriented Computing - 7th International Joint Conference, ICSOC-ServiceWave 2009, Baresi, L., Chi, C.-H., Suzuki, J. (Eds.), Lecture Notes in Computer Science, Springer Berlin / Heidelberg, ISBN 978-3-642-10383-4, Vol. 5900

https://link.springer.com/book/10.1007%2F978-3-540-89652-4 Service-Oriented Computing - 6th International Conference, ICSOC 2008, Bouguettaya, A., Krueger, I., Margaria, T. (Eds.), Lecture Notes in Computer Science, Springer Berlin / Heidelberg, ISBN 978-3-540-89652-4, Vol. 5364

https://link.springer.com/book/10.1007%2F978-3-540-74974-5 Service-Oriented Computing - Fifth International Conference, ICSOC 2007, Krämer, B.J., Lin, K.-J., Narasimhan, P. (Eds.), Lecture Notes in Computer Science, Springer Berlin / Heidelberg, ISBN 978-3-540-74974-5, Vol. 4749

https://link.springer.com/book/10.1007%2F11948148 Service-Oriented Computing - 4th International Conference, ICSOC 2006, Dan, A., Lamersdorf, W. (Eds.), Lecture Notes in Computer Science, Springer Berlin / Heidelberg, ISBN 978-3-540-68148-9, Vol. 4294

https://link.springer.com/book/10.1007%2F11596141 Service-Oriented Computing - Third International Conference, ICSOC 2005, Benatallah, B., Casati, F., Traverso, P. (Eds.), Lecture Notes in Computer Science, Springer Berlin / Heidelberg, ISBN 978-3-540-32294-8, Vol. 3826

http://dl.acm.org/citation.cfm?id=1035167&CFID=651049220&CFTOKEN=47826368 2nd International Conference on Service Oriented Computing, ICSOC '04, Aiello, M., Aoyama, M., Curbera, F., Papazoglou, M.P. (Eds.), ACM New York, NY, USA, ISBN 1-58113-871-7, Order Number 104045

https://link.springer.com/book/10.1007%2Fb94513 Service-Oriented Computing - First International Conference, ICSOC 2003, Orlowska, M.E., Weerawarana, S., Papazoglou, M.P., Yang, J. (Eds.), Lecture Notes in Computer Science, Springer Berlin / Heidelberg, ISBN 978-3-540-24593-3, Vol. 2910

Related Research Articles

In computational intelligence (CI), an evolutionary algorithm (EA) is a subset of evolutionary computation, a generic population-based metaheuristic optimization algorithm. An EA uses mechanisms inspired by biological evolution, such as reproduction, mutation, recombination, and selection. Candidate solutions to the optimization problem play the role of individuals in a population, and the fitness function determines the quality of the solutions. Evolution of the population then takes place after the repeated application of the above operators.

<span class="mw-page-title-main">Egon Börger</span> German computer scientist (born 1930)

Egon Börger is a German-born computer scientist based in Italy.

A bigraph can be modelled as the superposition of a graph and a set of trees.

In computer science and mathematical logic, satisfiability modulo theories (SMT) is the problem of determining whether a mathematical formula is satisfiable. It generalizes the Boolean satisfiability problem (SAT) to more complex formulas involving real numbers, integers, and/or various data structures such as lists, arrays, bit vectors, and strings. The name is derived from the fact that these expressions are interpreted within ("modulo") a certain formal theory in first-order logic with equality. SMT solvers are tools that aim to solve the SMT problem for a practical subset of inputs. SMT solvers such as Z3 and cvc5 have been used as a building block for a wide range of applications across computer science, including in automated theorem proving, program analysis, program verification, and software testing.

Secure two-party computation (2PC) a.k.a. Secure function evaluation is sub-problem of secure multi-party computation (MPC) that has received special attention by researchers because of its close relation to many cryptographic tasks. The goal of 2PC is to create a generic protocol that allows two parties to jointly compute an arbitrary function on their inputs without sharing the value of their inputs with the opposing party. One of the most well known examples of 2PC is Yao's Millionaires' problem, in which two parties, Alice and Bob, are millionaires who wish to determine who is wealthier without revealing their wealth. Formally, Alice has wealth $, Bob has wealth, and they wish to compute without revealing the values or .$

Hypercube-based NEAT, or HyperNEAT, is a generative encoding that evolves artificial neural networks (ANNs) with the principles of the widely used NeuroEvolution of Augmented Topologies (NEAT) algorithm developed by Kenneth Stanley. It is a novel technique for evolving large-scale neural networks using the geometric regularities of the task domain. It uses Compositional Pattern Producing Networks (CPPNs), which are used to generate the images for Picbreeder.orgArchived 2011-07-25 at the Wayback Machine and shapes for EndlessForms.comArchived 2018-11-14 at the Wayback Machine. HyperNEAT has recently been extended to also evolve plastic ANNs and to evolve the location of every neuron in the network.

ProVerif is a software tool for automated reasoning about the security properties found in cryptographic protocols. The tool has been developed by Bruno Blanchet.

WoLLIC, the Workshop on Logic, Language, Information and Computation is an academic conference in the field of pure and applied logic and theoretical computer science. WoLLIC has been organised annually since 1994, typically in June or July; the conference is scientifically sponsored by the Association for Logic, Language and Information, the Association for Symbolic Logic, the European Association for Theoretical Computer Science and the European Association for Computer Science Logic.

The Extended Semantic Web Conference, formerly known as the European Semantic Web Conference, is a yearly international academic conference on the topic of the Semantic Web. The event began in 2004, as the European Semantic Web Symposium. The goal of the event is "to bring together researchers and practitioners dealing with different aspects of semantics on the Web".

PragmaDev Studio is a modeling and testing software tool introduced by PragmaDev in 2002 dedicated to the specification of communicating systems. It was initially called Real Time Developer Studio or RTDS. Its primary objective was to support SDL-RT modeling technology. Since V5.0 launched on October 7, 2015 RTDS is called PragmaDev Studio, and it is organized in four independent modules: Specifier, Developer, Tester and Tracer. V5.1 launched on November 29, 2016 introduces a freemium licensing model.

Bernd Johann Krämer is a German computer scientist and professor emeritus of the Faculty of Mathematics and Informatics.

Martin Wirsing is a German computer scientist, and Professor at the Ludwig-Maximilians-Universität München, Germany.

EvoStar, or Evo*, is an international scientific event devoted to evolutionary computation held in Europe. Its structure has evolved over time and it currently comprises four conferences: EuroGP the annual conference on Genetic Programming, EvoApplications, the International Conference on the Applications of Evolutionary Computation, EvoCOP, European Conference on Evolutionary Computation in Combinatorial Optimisation, and EvoMUSART, the International Conference on Computational Intelligence in Music, Sound, Art and Design. According to a 2016 study EvoApplications is a Q1 conference, while EuroGP and EvoCOP are both Q2. In 2021, EuroGP, EvoApplications and EvoCOP obtained a CORE rank B.

Multitier programming is a programming paradigm for distributed software, which typically follows a multitier architecture, physically separating different functional aspects of the software into different tiers. Multitier programming allows functionalities that span multiple of such tiers to be developed in a single compilation unit using a single programming language. Without multitier programming, tiers are developed using different languages, e.g., JavaScript for the Web client, PHP for the Web server and SQL for the database. Multitier programming is often integrated into general-purpose languages by extending them with support for distribution.

Parallel Problem Solving from Nature, or PPSN, is a research conference focusing on the topic of natural computing.

Hartmut Ehrig was a German computer scientist and professor of theoretical computer science and formal specification. He was a pioneer in algebraic specification of abstract data types, and in graph grammars.

Bot prevention refers to the methods used by web services to prevent access by automated processes.

Nathalie Japkowicz is a Canadian computer scientist specializing in machine learning. She is a professor and department chair of computer science at the American University College of Arts and Sciences.

In computer science and mathematical logic, Cooperating Validity Checker (CVC) is a family of satisfiability modulo theories (SMT) solvers. The latest major versions of CVC are CVC4 and CVC5 ; earlier versions include CVC, CVC Lite, and CVC3. Both CVC4 and cvc5 support the SMT-LIB and TPTP input formats for solving SMT problems, and the SyGuS-IF format for program synthesis. Both CVC4 and cvc5 can output proofs that can be independently checked in the LFSC format, cvc5 additionally supports the Alethe and Lean 4 formats. cvc5 has bindings for C++, Python, and Java.

In the context of computer science, the C Bounded Model Checker (CBMC) is a bounded model checker for C programs. It was the first such tool.

References

External links

Official website