2021

Logic, rationality, and interaction : 8th International Workshop, LORI 2021, Xi'ian, China, October 16-18, 2021, Proceedings

LORI (Workshop) (8th : 2021 : Xi'an Shi, China)

Cham, Switzerland : Springer, 2021

 

2021

Programming languages and systems : 30th European Symposium on Programming, ESOP 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, L

European Symposium on Programming (30th : 2021 : Online)

Cham, Switzerland : Springer, [2021]

 

2021

Quantitative evaluation of systems : 18th international conference, QEST 2021, Paris, France, August 23-27, 2021 : proceedings

International Conference on Quantitative Evaluation of Systems (18th : 2021 : Online)

Cham : Springer, [2021]

 

2021

Parallel computing technologies : 16th International Conference, PaCT 2021, Kaliningrad, Russia, September 13-18, 2021, Proceedings

International Conference on Parallel Computing Technologies (16th : 2021 : Online)



 

2021

Recent trends in algebraic development techniques : 25th international workshop, WADT 2020, virtual event, April 29, 2020 : revised selected papers

WADT (Workshop) (25th : 2020 : Online)

Cham : Springer, [2021]

 

2021

Parallel and distributed computing, applications and technologies : 21st International Conference, PDCAT 2020, Shenzhen, China, December 28-30, 2020, proceedings

PDCAT (Conference) (21st : 2020 : Shenzhen, China)

Cham, Switzerland : Springer, [2021]

 

2021

Rigorous state-based methods : 8th international conference, ABZ 2021, Ulm, Germany, June 9-11, 2021 : proceedings

ABZ (Conference) (8th : 2021 : Online)

Cham : Springer, [2021]

 

2021

SOFSEM 2021: theory and practice of computer science : 47th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2021, Bolzano-Bozen, Italy, January 25-29, 202

SOFSEM (Conference) (47th : 2021 : Online)

Cham : Springer, [2021]

 

2021

Relational and algebraic methods in computer science : 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings

RAMiCS (Conference) (19th : 2021 : Marseille, France)

Cham, Switzerland : Springer, 2021

 

2021

Optimization and applications : 12th International Conference, OPTIMA 2021, Petrovac, Montenegro, September 27-October 1, 2021, Proceedings

OPTIMA (Conference) (12th : 2021 : Petrovac, Montenegro)

Cham, Switzerland : Springer, 2021

 

2021

Software engineering and formal methods : 19th International Conference, SEFM 2021, Virtual event, December 6-10, 2021, Proceedings

International Conference on Software Engineering and Formal Methods (19th : 2021 : Online)

Cham : Springer, 2021

 

2021

String processing and information retrieval : 28th international symposium, SPIRE 2021, Lille, France, October 4-6, 2021, proceedings

SPIRE (Symposium) (28th : 2021 : Online)



 

2021

Structural information and communication complexity : 28th International Colloquium, SIROCCO 2021, Wrocław, Poland, June 28-July 1, 2021, Proceedings

Colloquium on Structural Information and Communication Complexity (28th : 2021 : Online)

Cham, Switzerland : Springer, 2021

 

2021

Stabilization, safety, and security of distributed systems : 23rd International Symposium, SSS 2021, Virtual event, November 17-20, 2021, Proceedings

SSS (Symposium) (23rd : 2021 : Online)



 

2021

Tools and algorithms for the construction and analysis of systems : 27th International Conference, TACAS 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS

TACAS (Conference) (27th : 2021 : Online)

Cham : Springer, 2021

 

2021

Tools and algorithms for the construction and analysis of systems : 27th International Conference, TACAS 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS

TACAS (Conference) (27th : 2021 : Online)

Cham, Switzerland : Springer, [2021]

 

2021

Theoretical aspects of computing - ICTAC 2021 : 18th international colloquium virtual event, Nur-Sultan, Kazakhstan, September 8-10, 2021 : proceedings

ICTAC (Colloquium) (18th : 2021 : Online)

Cham : Springer, [2021]

 

2021

Theory and applications of satisfiability testing -- SAT 2021 : 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings

SAT (Conference) (24th : 2021 : Barcelona, Spain ; Online)

Cham, Switzerland : Springer, [2021]

 

2021

Trends in functional programming : 22nd International Symposium, TFP 2021 virtual event, Februay 17-19, 2021 : revised selected papers

International Symposium on Trends in Functional Programming (22nd : 2021 : Online)

Cham : Springer, [2021]

 

2021

Variable neighborhood search : 8th international conference, ICVNS 2021, Abu Dhabi, United Arab Emirates, March 21-25, 2021 : proceedings

ICVNS (Conference) (8th : 2021 : Abū Ẓaby, United Arab Emirates)

Cham : Springer, [2021]

 

2021

Verification, model checking, and abstract interpretation : 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, proceedings

VMCAI (Conference) (22nd : 2021 : Online)

Cham, Switzerland : Springer International Publishing : Imprint : Springer, 2021

 

2021

WALCOM : algorithms and computation : 15th International Conference and Workshops, WALCOM 2021, Yangon, Myanmar, February 28 - March 2, 2021, proceedings

WALCOM (Workshop) (15th : 2021 : Online)

Cham, Switzerland : Springer, [2021]

 

2021

Unconventional computation and natural computation : 19th international conference, UCNC 2021, Espoo, Finland, October 18-22, 2021 : proceedings

UCNC (Conference) (19th : 2021 : Espoo, Finland ; Online)

Cham : Springer, [2021]

 

2021

Theory and practice of natural computing : 10th International Conference, TPNC 2021, Tsukuba, Japan, December 7-10, 2021, Proceedings

TPNC (Conference) (10th : 2021 : Tsukuba-shi, Japan)

Cham, Switzerland : Springer, 2021

 

2021

Wireless algorithms, systems, and applications : 16th International Conference, WASA 2021, Nanjing, China, June 25-27, 2021, Proceedings.

WASA (Conference) (16th : 2021 : Nanjing Shi, China)

Cham, Switzerland : Springer, 2021

 

2021

Wireless algorithms, systems, and applications : 16th International Conference, WASA 2021, Nanjing, China, June 25-27, 2021, Proceedings.

WASA (Conference) (16th : 2021 : Nanjing Shi, China)

Cham, Switzerland : Springer, 2021

 

2021

Wireless algorithms, systems, and applications : 16th International Conference, WASA 2021, Nanjing, China, June 25-27, 2021, Proceedings.

WASA (Conference) (16th : 2021 : Nanjing Shi, China)

Cham, Switzerland : Springer, 2021

 

2020

Algorithms and architectures for parallel processing : 19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9-11, 2019, Proceedings.

International Conference on Algorithms and Architectures for Parallel Processing (19th : 2019 : Melbourne, Vic.)

Cham, Switzerland : Springer, 2020

 

2020

Algorithms and Architectures for Parallel Processing : 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2-4, 2020 : proceedings.

International Conference on Algorithms and Architectures for Parallel Processing (20th : 2020 : New York, N.Y.)

Cham, Switzerland : Springer, [2020]

 

2020

Algorithms and architectures for parallel processing : 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2-4, 2020, Proceedings.

International Conference on Algorithms and Architectures for Parallel Processing (20th : 2020 : New York, N.Y.)

Cham, Switzerland : Springer, [2020]

 

2020

Algorithms and architectures for parallel processing : 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2-4, 2020, Proceedings.

International Conference on Algorithms and Architectures for Parallel Processing (20th : 2020 : New York, N.Y.)

Cham, Switzerland : Springer, [2020]

 

2020

Approximation and Online Algorithms : 17th International Workshop, WAOA 2019, Munich, Germany, September 12-13, 2019, Revised selected papers

WAOA (Workshop) (17th : 2019 : Munich, Germany)

Cham, Switzerland : Springer, [2020]

 

2020

Computational science and its applications -- ICCSA 2020 : 20th International Conference, Cagliari, Italy, July 1-4, 2020, Proceedings.

ICCSA (Conference) (20th : 2020 : Online)



 

2020

Computational science and its applications -- ICCSA 2020 : 20th International Conference, Cagliari, Italy, July 1-4, 2020, Proceedings.

ICCSA (Conference) (20th : 2020 : Online)



 

2020

Coalgebraic methods in computer science : 15th IFIP WG 1.3 International Workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25-26, 2020, proceedings

Workshop on Coalgebraic Methods in Computer Science (15th : 2020 : Online)



 

2020

Computational science and its applications -- ICCSA 2020 : 20th International Conference, Cagliari, Italy, July 1-4, 2020, Proceedings.

ICCSA (Conference) (20th : 2020 : Online)

Cham, Switzerland : Springer, [2020]

 

2020

From Lambda Calculus to cybersecurity through program analysis : essays dedicated to Chris Hankin on the occasion of his retirement

Cham : Springer, 2020

 

2020

Leveraging applications of formal methods, verification and validation : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : pro

ISoLA (Symposium) (9th : 2020 : Online)

Cham, Switzerland : Springer, [2020]

 

2020

Logical Foundations of Computer Science : International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings

LFCS (Symposium) (2020 : Deerfield Beach, Fla.)

Cham, Switzerland : Springer, 2020

 

2020

Learning and intelligent optimization : 13th International Conference, LION 13, Chania, Crete, Greece, May 27-31, 2019, revised selected papers

LION (Conference) (13th : 2019 : Crete, Greece)

Cham, Switzerland : Springer, 2020

 

2020

Mathematical optimization theory and operations research : 19th International Conference, MOTOR 2020, Novosibirsk, Russia, July 6-10, 2020, proceedings

MOTOR (Conference) (19th : 2020 : Novosibirsk, Russia)

Cham : Springer, 2020

 

2020

Learning and intelligent optimization : 14th International Conference, LION 14, Athens, Greece, May 24-28, 2020, Revised selected papers

LION (Conference) (14th : 2020 : Athens, Greece)

Cham : Springer, 2020

 

2020

Optimization and applications : 11th international conference, OPTIMA 2020, Moscow, Russia, September 28 - October 2, 2020, Proceedings

OPTIMA (11th : 2020 : Online)

Cham, Switzerland : Springer, [2020]

 

2020

Advances in computer games : 16th International Conference, ACG 2019, Macao, China, August 11-13, 2019, Revised selected papers

Advances in Computer Games (Conference) (16th : 2019 : Macau, China)



 

2020

Advances in neural networks - ISNN 2020 : 17th International Symposium on Neural Networks, ISNN 2020, Cairo, Egypt, December 4-6, 2020, proceedings

International Symposium on Neural Networks (17th : 2020 : Cairo, Egypt)

Cham : Springer, [2020]

 

2020

Advances in swarm intelligence : 11th International Conference, ICSI 2020, Belgrade, Serbia, July 14-20, 2020, Proceedings

ICSI (Conference) (11th : 2020 : Online)



 

2020

Algorithmic aspects in information and management : 14th International Conference, AAIM 2020, Jinhua, China, August 10-12, 2020, Proceedings

International Conference on Algorithmic Aspects in Information and Management (14th : 2020 : Online)



 

2020

Algorithmic aspects of cloud computing : 5th International Symposium, ALGOCLOUD 2019, Munich, Germany, September 10, 2019, Revised Selected Papers

ALGOCLOUD (Workshop) (5th : 2019 : Munich, Germany)



 

2020

Algorithms and architectures for parallel processing : 19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9-11, 2019, Proceedings.

International Conference on Algorithms and Architectures for Parallel Processing (19th : 2019 : Melbourne, Vic.)

Cham : Springer, 2020

 

2020

Algorithms and Discrete Applied Mathematics : 6th International Conference, CALDAM 2020, Hyderabad, India, February 13-15, 2020, Proceedings

CALDAM (Conference) (6th : 2020 : Hyderabad, India)

Cham : Springer, 2020