Logic based reasoning and data mining on the web (2012)

Organizers: Thomas Eiter (TU Wien), Monika Henzinger (WPI c/o, U. Wien), Georg Gottlob (WPI c/o TU Wien & U. Oxford), PF Diego Calvanese (U. Bozen)

Events

First Symposium on Structure in Hard Combinatorial Problems (external website )
Location: University of Technology Vienna, Zemanek seminar room, Favoritenstraße 9-11, 1040 Vienna, Austria Time: 16. May 2013 (Thu) - 18. May 2013 (Sat); Opening: 9:00
Organisation(s) University of Technology Vienna Organiser(s) Bart Selman (U. Cornell) Stefan Szeider (WPI c/o TU Wien)

"Reasoning Web 2012" Summer School (external website )
Location: University of Technology Vienna Time: 3. Sep 2012 (Mon) - 8. Sep 2012 (Sat); Opening: 9:00
Topics: Objectives The Semantic Web is one of the major current endeavors of applied Computer Science. The Semantic Web aims at enriching the existing Web with meta-data and processing methods so as to provide web-based systems with advanced (so-called intelligent) capabilities, in particular with context-awareness and decision support. The advanced capabilities required in most Semantic Web application scenarios primarily call for reasoning. Reasoning capabilities are offered by Semantic Web languages that are currently being developed. Most of these languages, however, are developed mainly from functionality-centered perspectives (e.g. ontology reasoning or access validation) or application-centered perspectives (e.g. Web service retrieval and composition). A perspective centered on the reasoning techniques complementing the above-mentioned activities appears desirable for Semantic Web systems and applications. This Summer School series is devoted to this perspective.
Organisation(s) TU Wien WPI Organiser(s) Thomas Eiter (TU Wien)

Mini-Workshop on Logic, Proofs and Algorithms (external website )
Location: TU Wien, Lecture room HS2 Theresianumgasse, Theresianumgasse 27, 1040 Vienna (http://www.studyguide.at/static/plaene/gif/E_Theres2_0229_00_1-1.gif) Time: 6. Jun 2012 (Wed) - 6. Jun 2012 (Wed); Opening: 10:00
Topics: Logic, Algorithms
Organisation(s) Vienna University of Technology Organiser(s) Prof. Thomas Eiter, Prof. Stefan Szeider

Pauli Fellows

Calvanese, Diego

TU Vienna

1. Sep 2012-30. Jun 2013

Visitors

Dechter, Rina			15. May 2013-19. May 2013
Delgrande, James P.			2. Nov 2012-9. Nov 2012
EunJung, Kim			20. Feb 2013-27. Feb 2013
Gurevich, Yuri			10. Sep 2012-15. Sep 2012
Jeavons, Peter			15. May 2013-18. May 2013
Madelaine, Florent			7. Aug 2012-15. Aug 2012
Mugnier, Marie-Laure			9. Sep 2012-13. Sep 2012
Niedermeier, Rolf			16. May 2013-18. May 2013
Perez, Jorge			3. Sep 2012-7. Sep 2012
Petke, Justyna			29. May 2012-30. May 2012
Scarcello, Francesco			11. Sep 2012-14. Sep 2012
Schaub, Thorsten			27. Mar 2013-30. Mar 2013
Schweikardt, Nicole			8. Aug 2012-11. Aug 2012
Williams, Richard Ryan			15. May 2013-19. May 2013