Deduktionstreffen 2016
Veranstaltungsort
Alpen-Adria-Universität KlagenfurtUniversitätsstraße 65-67
9020 Klagenfurt, Austria
Universitätsstraße 65-67
9020 Klagenfurt, Austria
The annual meeting Deduktionstreffen is the prime activity of the Interest Group for Deduction Systems (FGDedSys) of the German Informatics Society. It is a meeting with a familiar, friendly atmosphere, where everyone interested in deduction can report on their work in an informal setting.
A particular focus of the Deduktionstreffen is on young researchers and students, who are particularly encouraged to present their ongoing research projects to a wider audience. Another goal of the meeting is to stimulate networking effects and to foster collaborative research projects.
We welcome contributions on all theoretical, experimental and application aspects of deduction. Accepted abstracts are first presented in a five minute teaser talk and then discussed next to a poster (maximal size: A0 portrait). [Update] This year's contributions will be presented in regular talks.
The Deduktionstreffen will also host the annual general meeting of the members of FGDedSys.
Deduktionstreffen 2016 is associated with KI 2016.
Registration is open. For more information, please consult the registration page of KI2016. Note that, as stated there, you may register for INFORMATIK and skip registering for KI if you only attend the Deduktionstreffen.
| 09:30 | Start |
| 09:35 | Session 1 Invited Talk by Cezary Kaliszyk: Machine Learning for Automated Reasoning |
| 10:30 | Coffee break |
| 11:00 | Session 2 Uwe Egly: Marco Voigt: Christoph Benzmüller and Dana Scott: |
| 12:30 | Lunch Break |
| 14:00 | Session 3 Invited Talk by Armin Biere: Dominic Scheurer: |
| 15:30 | Coffee Break |
| 16:00 | Session 4 Tobias Philipp: Extension of ICP for SMT |
| 17:00 | General meeting of FGDedSys Topics will include the location of next year's meeting and a possible merger with FG Deklarative Sprachen. |
| 19:00 | Dinner by the lake at Villa Lido. This is not the conference's big dinner at Magdalensberg, but a get-together of Deduktionstreffen participants and friends. |
Auf unserer Webseite werden Cookies verwendet. Einige davon werden zwingend benötigt, während es uns andere ermöglichen, Ihre Nutzererfahrung auf unserer Webseite zu verbessern. Wir bitten hiermit um Erlaubnis, die folgenden Cookies verwenden zu dürfen. Diese Einwilligung ist freiwillig, nicht für die Nutzung der Website erforderlich und kann jederzeit widerrufen werden.