Search Results - "Computer Science Logic and Foundations of Programming"

Bridging the Gap Between AI and Reality: Second International Conference, AISoLA 2024, Crete, Greece, October 30 – November 3, 2024, Selected Papers

“…This open access book constitutes revised selected papers from the Second International Conference on Bridging the Gap between AI and Reality, AISoLA 2024,…”
Get full text

Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II by Platzer, Andre, Rozier, Kristin Yvonne, Pradella, Matteo, Rossi, Matteo

“…The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took…”
Get full text

Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I by Platzer, André, Rozier, Kristin Yvonne, Pradella, Matteo, Rossi, Matteo

“…The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took…”
Get full text

Bridging the Gap Between AI and Reality: First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Selected Papers by Steffen, Bernhard

“…This open access book constitutes revised selected papers from the First International Conference on Bridging the Gap between AI and Reality, AISoLA 2023,…”
Get full text

Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I by Benzmüller, Christoph, Heule, Marijn J. H, Schmidt, Renate A

“…This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in…”
Get full text

Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II by Benzmüller, Christoph, Heule, Marijn J. H, Schmidt, Renate A

“…Infotext (nur auf Basis des Vorgängers): This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on…”
Get full text

Formal methods : 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024 : proceedings by International Symposium of Formal Methods Europe, Platzer, André, Rozier, Kristin Yvonne, Pradella, Matteo, Rossi, Matteo

Get full text

Formal methods : 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024 : proceedings by International Symposium of Formal Methods Europe, Platzer, André, Rozier, Kristin Yvonne, Pradella, Matteo, Rossi, Matteo

Get full text

Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings by Ramanayake, Revantha, Urban, Josef

“…This open access book constitutes the proceedings of the proceedings of the 32nd International Conference on Automated Reasoning with Analytic Tableaux and…”
Get full text

Frontiers of Combining Systems: 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20–22, 2023, Proceedings by Sattler, Uli, Suda, Martin

“…This book constitutes the refereed proceedings of the 14th International Symposium on Frontiers of Combining Systems, FroCoS 2023, held in Prague, Czech…”
Get full text

Automated Deduction – CADE 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings by Pientka, Brigitte, Tinelli, Cesare

“…This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during…”
Get full text

Automated Deduction - CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings by Platzer, André, Sutcliffe, Geoff

“…This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full…”
Get full text

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, Luxembourg, March 27 - April 1, 2021, Proceedings by European Symposium on Programming, Yoshida, Nobuko, European Conferences on Theory and Practice of Software

“…This open access book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021,…”
Get full text

Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings by Blanchette, Jasmin, Kovács, Laura, Pattinson, Dirk

“…This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa,…”
Get full text

Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 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, Part II by Vojnar, Tomás, Zhang, Lijun

Get full text

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held As Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III by Beyer, Dirk, Huisman, Marieke, Kordon, Fabrice, Steffen, Bernhard

“…This book is Open Access under a CC BY licence.This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and…”
Get full text

Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 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, Part I by Vojnar, Tomás, Zhang, Lijun

Get full text

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 by Baier, Christel, Dal Lago, Ugo

“…artificial intelligence; computer software; selection and evaluation; formal logic; graph theory; modal logic; petri nets; program compilers; programming…”
Get full text

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I by Beyer, Dirk, Huisman, Marieke

“…authentication; computer science; computer software selection and evaluation; cryptography; data privacy; formal logic; formal methods; formal specification;…”
Get full text

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II by Beyer, Dirk, Huisman, Marieke

“…computer architecture; computer software selection and evaluation; formal logic; formal methods; model checker; model checking; multi core processors; program…”
Get full text