Semantics Structures in Computation

Domains and Processes

Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999

Call-By-Push-Value

A Functional/Imperative Synthesis

Domain Theory, Logic and Computation

Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001

Domain Theory, Logic and Computation

Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001

Call-By-Push-Value

A Functional/Imperative Synthesis

Domains and Processes

Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999

Handbook of Logic and Language

Continuous Lattices and Their Applications

Foundations of Software Science and Computation Structures

22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Mathematics and Computation in Music

7th International Conference, MCM 2019, Madrid, Spain, June 18–21, 2019, Proceedings

Foundations of Software Science and Computation Structures

23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

Foundations of Software Science and Computation Structures

24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings

Foundations of Software Science and Computation Structures

25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings

Formal Methods

25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings

Theoretical Aspects of Computing – ICTAC 2023

20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings

SOFSEM 2024: Theory and Practice of Computer Science

49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19–23, 2024, Proceedings

SOFSEM 2025: Theory and Practice of Computer Science

50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20–23, 2025, Proceedings, Part I

SOFSEM 2025: Theory and Practice of Computer Science

50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20–23, 2025, Proceedings, Part II

Foundations of Software Science and Computation Structures

29th International Conference, FoSSaCS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11–16, 2026, Proceedings

Theoretical Aspects of Computing – ICTAC 2014

11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings

Evolving Computability

11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings

Formal Methods: Foundations and Applications

18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

Pursuit of the Universal

12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings

Theory and Applications of Models of Computation

14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings

Foundations of Software Science and Computation Structures

21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

Graph Transformation

11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

Foundations of Software Science and Computation Structures

First International Conference, FoSSaCS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings

Foundations of Software Science and Computation Structures

Second International Conference, FOSSACS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings

Foundation of Software Science and Computation Structures

Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings