Permalink

Organizers

• Pascal Fontaine (University of Liège, BE)
• Konstantin Korovin (University of Manchester, GB)
• Martina Seidl (Johannes Kepler Universität Linz, AT)
• Sophie Tourret (INRIA Nancy - Grand Est, FR)

Contact

• Marsha Kleinbauer (for scientific matters)
• Susanne Bach-Bernhard (for administrative matters)

Related Seminars

• Dagstuhl Seminar 9310: Deduction (1993-03-08 - 1993-03-12) (Details)
• Dagstuhl Seminar 9512: Deduction (1995-03-20 - 1995-03-24) (Details)
• Dagstuhl Seminar 9709: Deduction (1997-02-24 - 1997-02-28) (Details)
• Dagstuhl Seminar 99091: Deduction (1999-02-28 - 1999-03-05) (Details)
• Dagstuhl Seminar 01101: Deduction (2001-03-04 - 2001-03-09) (Details)
• Dagstuhl Seminar 03171: Deduction and Infinite-state Model Checking (2003-04-21 - 2003-04-25) (Details)
• Dagstuhl Seminar 05431: Deduction and Applications (2005-10-23 - 2005-10-28) (Details)
• Dagstuhl Seminar 07401: Deduction and Decision Procedures (2007-09-30 - 2007-10-05) (Details)
• Dagstuhl Seminar 09411: Interaction versus Automation: The two Faces of Deduction (2009-10-04 - 2009-10-09) (Details)
• Dagstuhl Seminar 13411: Deduction and Arithmetic (2013-10-06 - 2013-10-11) (Details)
• Dagstuhl Seminar 15381: Information from Deduction: Models and Proofs (2015-09-13 - 2015-09-18) (Details)
• Dagstuhl Seminar 17371: Deduction Beyond First-Order Logic (2017-09-10 - 2017-09-15) (Details)
• Dagstuhl Seminar 19371: Deduction Beyond Satisfiability (2019-09-08 - 2019-09-13) (Details)
• Dagstuhl Seminar 21371: Integrated Deduction (2021-09-12 - 2021-09-17) (Details)
• Dagstuhl Seminar 23471: The Next Generation of Deduction Systems: From Composition to Compositionality (2023-11-19 - 2023-11-24) (Details)

Classification

• Artificial Intelligence
• Logic in Computer Science
• Symbolic Computation

Keywords

• deduction
• logic
• automated reasoning
• correctness
• complexity