Preface

David Déharbe; Antti Hyvärinen; Leonardo Alt; Haniel Barbosa; Nikolaj Bjørner; Maria Paola Bonacina; Martin Bromberger; Rayna Dimitrova; Pascal Fontaine; Stéphane Graham-Lengrand; Liana Hadarean; Jochen Hoenicke; Chantal Keller; Igor Konnov; Matteo Marescotti; Aina Niemetz; Elizabeth Polgreen; Mathias Preiner; Andrew Reynolds; Tanja Schindler; Sophie Tourret; Yoni Zohar; Hans Jörg Schurr; Alex Ozdemir

Preface

David Déharbe
, Antti Hyvärinen
, Leonardo Alt
, Haniel Barbosa
, Nikolaj Bjørner
, Maria Paola Bonacina
, Martin Bromberger
, Rayna Dimitrova
, Pascal Fontaine
, Stéphane Graham-Lengrand
, Liana Hadarean
, Jochen Hoenicke
, Chantal Keller
, Igor Konnov
, Matteo Marescotti
, Aina Niemetz
, Elizabeth Polgreen
, Mathias Preiner
, Andrew Reynolds
, Tanja Schindler

Sophie Tourret, Yoni Zohar, Hans Jörg Schurr, Alex Ozdemir

Department of Computer Science and Artificial Intelligence

CLEARSY
Università della Svizzera italiana
Ethereum Foundation
Universidade Federal de Minas Gerais
Microsoft USA
University of Verona
Max Planck Institute for Informatics
Helmholtz Center for Information Security
University of Liege
SRI International
Amazon.com, Inc.
University of Freiburg
Université Paris-Saclay
Informal Systems Austria
Meta Platforms
Stanford University
University of Edinburgh
University of Iowa
Institut national de recherche en informatique et en automatique
Université de Lorraine

Research output: Contribution to journal › Editorial

Original language	English
Journal	CEUR Workshop Proceedings
Volume	3185
State	Published - 2022
Event	20th Internal Workshop on Satisfiability Modulo Theories, SMT 2022 - Haifa, Israel Duration: 11 Aug 2022 → 12 Aug 2022

Bibliographical note

Funding Information:
SMT 2022 was sponsored by AdaCore, Ethereum Foundation, Informal Systems, and Runtime Verification. We are grateful for their generosity in supporting the workshop.

Funding

SMT 2022 was sponsored by AdaCore, Ethereum Foundation, Informal Systems, and Runtime Verification. We are grateful for their generosity in supporting the workshop.

Funders
AdaCore
Informal Systems
Ethereum Foundation

Cite this

@article{3cf4d707cec94567b76deb5baa930bbb,

title = "Preface",

author = "David D{\'e}harbe and Antti Hyv{\"a}rinen and Leonardo Alt and Haniel Barbosa and Nikolaj Bj{\o}rner and Bonacina, \{Maria Paola\} and Martin Bromberger and Rayna Dimitrova and Pascal Fontaine and St{\'e}phane Graham-Lengrand and Liana Hadarean and Jochen Hoenicke and Chantal Keller and Igor Konnov and Matteo Marescotti and Aina Niemetz and Elizabeth Polgreen and Mathias Preiner and Andrew Reynolds and Tanja Schindler and Sophie Tourret and Yoni Zohar and Schurr, \{Hans J{\"o}rg\} and Alex Ozdemir",

note = "Funding Information: SMT 2022 was sponsored by AdaCore, Ethereum Foundation, Informal Systems, and Runtime Verification. We are grateful for their generosity in supporting the workshop.; 20th Internal Workshop on Satisfiability Modulo Theories, SMT 2022 ; Conference date: 11-08-2022 Through 12-08-2022",

year = "2022",

language = "אנגלית",

volume = "3185",

journal = "CEUR Workshop Proceedings",

issn = "1613-0073",

publisher = "CEUR-WS",

}

TY - JOUR

T1 - Preface

AU - Déharbe, David

AU - Hyvärinen, Antti

AU - Alt, Leonardo

AU - Barbosa, Haniel

AU - Bjørner, Nikolaj

AU - Bonacina, Maria Paola

AU - Bromberger, Martin

AU - Dimitrova, Rayna

AU - Fontaine, Pascal

AU - Graham-Lengrand, Stéphane

AU - Hadarean, Liana

AU - Hoenicke, Jochen

AU - Keller, Chantal

AU - Konnov, Igor

AU - Marescotti, Matteo

AU - Niemetz, Aina

AU - Polgreen, Elizabeth

AU - Preiner, Mathias

AU - Reynolds, Andrew

AU - Schindler, Tanja

AU - Tourret, Sophie

AU - Zohar, Yoni

AU - Schurr, Hans Jörg

AU - Ozdemir, Alex

N1 - Funding Information: SMT 2022 was sponsored by AdaCore, Ethereum Foundation, Informal Systems, and Runtime Verification. We are grateful for their generosity in supporting the workshop.

PY - 2022

Y1 - 2022

UR - https://www.scopus.com/pages/publications/85137843745

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.editorial???

AN - SCOPUS:85137843745

SN - 1613-0073

VL - 3185

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

T2 - 20th Internal Workshop on Satisfiability Modulo Theories, SMT 2022

Y2 - 11 August 2022 through 12 August 2022

ER -

Preface

Bibliographical note

Funding

Other files and links

Cite this