2023

Asynchronous many-task systems and applications : first International Workshop, WAMTA 2023, Baton Rouge, LA, USA, February 15-17, 2023, Proceedings

WAMTA (Workshop) (1st : 2023 : Baton Rouge, La. ; Online)

Cham : Springer, 2023

 

2023

Application and theory of petri nets and concurrency : 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings

International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (44th : 2023 : Lisbon, Portugal)

Cham : Springer, 2023

 

2023

Concurrency, specification and programming : revised selected papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany

International Workshop Concurrency, Specification, and Programming (29th : 2021 : Berlin, Germany)



 

2022

Application and theory of petri nets and concurrency : 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19-24, 2022, proceedings

International Conference on Applications and Theory of Petri Nets and Concurrency (43rd : 2022 : Bergen, Norway)

Cham, Switzerland : Springer, 2022

 

2021

Application and theory of petri nets and concurrency : 42nd International Conference, PETRI NETS 2021, Virtual event, June 23-25, 2021, Proceedings

International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (42nd : 2021 : Online)

Cham : Springer, 2021

 

2020

Application and theory of petri nets and concurrency : 41st International Conference, PETRI NETS 2020, Paris, France, June 24-25, 2020, Proceedings

International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (41st : 2020 : Online)



 

2019

Communicating process architectures 2017 & 2018 : WoTUG-39 & WoTUG-40

WoTUG Technical Meeting (39th : 2017 : Sliema, Malta)

Amsterdam, Netherlands : IOS Press, 2019

 

2019

Application and theory of petri nets and concurrency : 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23-28, 2019, proceedings

International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (40th : 2019 : Aachen, Germany)

Basel : Springer Nature Switzerland AG, [2019]

 

2018

Application and theory of petri nets and concurrency : 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, proceedings

International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (39th : 2018 : Bratislava, Slovakia)



 

2018

Machines, computations, and universality : 8th International Conference, MCU 2018, Fontainebleau, France, June 28-30, 2018, Proceedings

MCU (Conference) (8th : 2018 : Fontainebleau, France)

Cham, Switzerland : Springer, 2018

 

2017

Application and theory of petri nets and concurrency : 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, proceedings

International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (38th : 2017 : Zaragoza, Spain)

Cham, Switzerland : Springer, [2017]

 

2016

Application and theory of petri nets and concurrency : 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings

International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (37th : 2016 : Toruń, Poland)

Switzerland : Springer, 2016

 

2016

Transactions on petri nets and other models of concurrency XI

Berlin : Springer, 2016

 

2015

Application and theory of petri nets and concurrency : 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings

International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (36th : 2015 : Brussels, Belgium)

Cham : Springer, 2015

 

2015

Machines, computations, and universality : 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings

MCU (Conference) (7th : 2015 : Famagusta, Cyprus)

Cham : Springer, 2015

 

2014

CONCUR 2014-- Concurrency theory : 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings

International Conference on Concurrency Theory (25th : 2014 : Rome, Italy)

Heidelberg : Springer, 2014

 

2013

CONCUR 2013-- Concurrency theory : 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings

International Conference on Concurrency Theory (24th : 2013 : Buenos Aires, Argentina)

Heidelberg : Springer, 2013

 

2012

CONCUR 2012-- Concurrency theory : 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings

International Conference on Concurrency Theory (23rd : 2012 : Newcastle upon Tyne, England)



 

2011

CONCUR 2011--concurrency theory : 22nd international conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011 : proceedings

International Conference on Concurrency Theory (22nd : 2011 : Aachen, Germany)



 

2010

CONCUR 2010--concurrency theory : 21st international conference, CONCUR 2010, Paris, France, August 21-September 3, 2010 : proceedings

International Conference on Concurrency Theory (21st : 2010 : Paris, France)



 

2009

CONCUR 2009 - concurrency theory : 20th international conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009 ; proceedings

International Conference on Concurrency Theory (20th : 2009 : Bologna, Italy)



 

2009

Transactions on petri nets and other models of concurrency III

 

2008

Applications and theory of Petri nets : 29th international conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008 : proceedings

International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (29th : 2008 : Xi'an Shi, China)



 

2007

Petri nets and other models of concurrency : ICATPN 2007 : 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25

International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (28th : 2007 : Siedlce, Poland)



 

2006

Petri nets and other models of concurrency : ICATPN 2006 : 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006 : pr

International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (27th : 2006 : Turku, Finland)



 

2005

CONCUR 2005 -- concurrency theory : 16th international conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005 : proceedings

International Conference on Concurrency Theory (16th : 2005 : San Francisco, Calif.)



 

2002

Communicating Process Architectures 2002 : WoTUG-25 : Proceedings of the 25th WoTUG Technical Meeting, 15-18 September 2002, University of Reading, United Kingdom

World Occam and Transputer User Group. Technical Meeting (25th : 2002 : University of Reading)



 

2024

Domain adaptation and representation transfer : 5th MICCAI Workshop, DART 2023, held in conjunction with MICCAI 2023, Vancouver, BC, Canada, October 12, 2023, Proceedings

Domain Adaptation and Representation Transfer (Workshop) (5th : 2023 : Vancouver, B.C.)

Cham, Switzerland : Springer, [2024]

 

2023

Advances in information retrieval : 45th European Conference on Information Retrieval, ECIR 2023, Dublin, Ireland, April 2-6, 2023, Proceedings.

European Conference on IR Research (45th : 2023 : Dublin, Ireland)

Cham : Springer, 2023

 

2023

Bio-inspired computing : theories and applications : 17th International Conference, BIC-TA 2022, Wuhan, China, December 16-18 2022

International Conference on Bio-inspired Computing, Theories and Applications (17th : 2022 : Wuhan, China)

Singapore : Springer, 2023

 

2023

Composability, comprehensibility and correctness of working software 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, revised selected papers

Central European Functional Programming School (8th : 2019 : Budapest, Hungary)



 

2023

Mobile networks and management : 12th EAI International Conference, MONAMI 2022, virtual event, October 29-31, 2022, Proceedings

International Conference on Mobile Networks and Management (12th : 2022 : Online)

Cham : Springer, 2023

 

2023

Intelligent Robotics and Applications : 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings.

ICIRA (Conference) (16th : 2023 : Hangzhou, China)

Singapore : Springer, 2023

 

2022

Artificial intelligence : Second CAAI International Conference, CICAI 2022, Beijing, China, August 27-28, 2022, revised selected papers.

CICAI (Conference) (2nd : 2022 : Beijing, China)

Cham : Springer, 2022

 

2022

Artificial intelligence : Second CAAI International Conference, CICAI 2022, Beijing, China, August 27-28, 2022, revised selected papers.

CICAI (Conference) (2nd : 2022 : Beijing, China)

Cham : Springer, 2022

 

2022

Artificial intelligence : second CAAI International Conference, CICAI 2022, Beijing, China, August 27-28, 2022, revised selected papers.

CICAI (Conference) (2nd : 2022 : Beijing, China)

Cham : Springer, 2022

 

2021

Brainlesion: glioma, multiple sclerosis, stroke and traumatic brain injuries : 6th International Workshop, BrainLes 2020, held in conjunction with MICCAI 2020, Lima, Peru, October 4, 2020, revised sel

BrainLes (Workshop) (6th : 2020 : Online)

Cham : Springer International Publishing AG, [2021]

 

2021

Evolutionary multi-criterion optimization : 11th International Conference, EMO 2021, Shenzhen, China, March 28-31, 2021, proceedings

EMO (Conference) (11th : 2011 : Shenzhen, China)

Cham, Switzerland : Springer, [2021]

 

2021

Euro-Par 2021 : Parallel processing : 27th International Conference on Parallel and Distributed Computing, Lisbon, Portugal, September 1-3, 2021, Proceedings

International EURO-PAR Conference (27th : 2021 : Online)

Cham, Switzerland : Springer, 2021

 

2021

Human-computer interaction : theory, methods and tools : thematic area, HCI 2021, held as part of the 23rd HCI International Conference, HCII 2021, virtual event, July 24-29, 2021, Proceedings.

International Conference on Human-Computer Interaction (23rd : 2021 : Online)

Cham, Switzerland : Springer, [2021]

 

2021

Progress in pattern recognition, image analysis, computer vision, and applications : 25th Iberoamerican Congress, CIARP 2021, Porto, Portugal, May 10-13, 2021, Revised selected papers

Iberoamerican Congress on Pattern Recognition (25th : 2021 : Online)

Cham, Switzerland : Springer, 2021

 

2020

Information systems and neuroscience : NeuroIS Retreat 2020

NeuroIS Retreat (2020 : Online)

Cham, Switzerland : Springer, [2020]

 

2019

Cross-cultural design : methods, tools and user experience : 11th International Conference, CCD 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 20

CCD (Conference) (11th : 2019 : Orlando, Fla.)

Cham, Switzerland : Springer, 2019

 

2018

Applied reconfigurable computing : architectures, tools, and applications : 14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, proceedings

ARC (Symposium) (14th : 2018 : Santorini, Greece)

Cham : Springer, 2018

 

2016

Artificial life and computational intelligence : second Australasian Conference, ACALCI 2016, Canberra, ACT, Australia, February 2-5, 2016, Proceedings

ACALCI (Conference) (2nd : 2016 : Canberra, A.C.T.)

Cham : Springer, 2016

 

2016

Computer and information science 2015

IEEE/ACIS International Conference on Computer and Information Science (14th : 2015 : Las Vegas, Nev.), creator.

Cham : Springer, [2016]

 

2016

Human interface and the management of information : applications and services : 18th International Conference, HCI International 2016, Toronto, Canada, July 17-22, 2016. Proceedings.

International Conference on Human-Computer Interaction (18th : 2016 : Toronto, Ont.)

Switzerland : Springer, 2016

 

2015

Applied reconfigurable computing : 11th International Symposium, ARC 2015, Bochum, Germany, April 13-17, 2015, Proceedings

ARC (Symposium) (11th : 2015 : Bochum, Germany)

Cham : Springer, 2015

 

2013

The informed brain in a digital world : interdisciplinary team summaries : conference, Arnold and Mabel Beckman Center, Irvine, California, November 15-17, 2012

National Academies (U.S.). Keck Future Initiative. Conference (November 15-17 2012 : Arnold and Mabel Beckman Center, Irvine, California), issuing body

Washington, District of Columbia : National Academies Press, [2013]

 

2013

Computational Science and Its Applications-- ICCSA 2013 : 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings.

ICCSA (Conference) (13th : 2013 : Ho Chi Minh City, Vietnam)