Wolfgang Pauli Institute (WPI) Vienna

Home Practical Information for Visitors Events People WPI Projects
Login Thematic Programs Pauli Fellows Talks Research Groups

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

Talks in the framework of this thematic program... (by date) , (by name)

Pauli Fellows

Calvanese, Diego TU Vienna 1. Sep 2012-30. Jun 2013 local address 

Visitors

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