Saturation-Guided Inductive Synthesis

Kovács, Laura

doi:10.4230/LIPIcs.FSCD.2026.2

Record link:

http://hdl.handle.net/20.500.12708/231150

Title:

Citation:

Kovács, L. (2026). Saturation-Guided Inductive Synthesis. In F. Pfenning (Ed.), 11th International Conference on Formal Structures for Computation and Deduction (FSCD 2026). Schloss Dagstuhl – Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.FSCD.2026.2

CatalogPlus:

AC18041452

Publisher DOI:

10.4230/LIPIcs.FSCD.2026.2

Publication Type:

Inproceedings - Keynote Contribution

Language:

English

Authors:

Kovács, Laura

Organisational Unit:

E192-04 - Forschungsbereich Formal Methods in Systems Engineering
E056-10 - Fachbereich SecInt-Secure and Intelligent Human-Centric Digital Technologies
E056-13 - Fachbereich LogiCS
E056-17 - Fachbereich Trustworthy Autonomous Cyber-Physical Systems
E056-26 - Fachbereich Automated Reasoning

Published in:

11th International Conference on Formal Structures for Computation and Deduction (FSCD 2026)

ISBN:

978-3-95977-433-8

Volume:

378

Date (published):

15-Jul-2026

Event name:

11th International Conference on Formal Structures for Computation and Deduction (FSCD 2026)

Event date:

20-Jul-2026 - 23-Jul-2026

Event place:

Lisbon, Portugal

Number of Pages:

Publisher:

Schloss Dagstuhl – Leibniz-Zentrum für Informatik

Peer reviewed:

Yes

Keywords:

automated reasoning; theorem proving; synthesis; formal methods

Project title:

Automated Reasoning with Theories and Induction for Software Technologies: ERC Consolidator Grant 2020 (European Commission)
LEARN: Learning Efficient Automated Reasoning on the Net: 101213411 (European Commission)
Structured Doctoral Program on Automated Reasoning: DOC1345324 (FWF - Österr. Wissenschaftsfonds)
Semantische und kryptografische Grundlagen von Informationssicherheit und Datenschutz durch modulares Design: F 8500 (FWF - Österr. Wissenschaftsfonds)
Effective Formal Methods for Smart-Contract Certification: ICT22-007 (WWTF Wiener Wissenschafts-, Forschu und Technologiefonds)
Automated Reasoning in Discrete Mathematics and Algorithmic Computing: SBA‐K1 NGC (SBA Research gemeinnützige GmbH)

Research Areas:

Logic and Computation: 100%

Science Branch:

1020 - Informatik: 100%

License:

CC BY 4.0