Computer Science Logic and 8th Kurt Gödel Colloquium
Colocated Events
Welcome and News
Host Institutions
Calls and Deadlines
Program
Social Program
Registration
Location and Venue
Accommodation
Committees
Contact
Colocated Events
GAMES
CoLogNET
Authors' instructions
Print current pagePrint this page

 GAMES

CSL 03 will be adjacent to the
2nd Annual Workshop of the European Research Training Network GAMES (Games and Automata for Synthesis and Validation)
which will take place from 30th August to 2nd September at the same location as CSL.

On Saturday, 30th August there will be joint events of CSL and GAMES, such as tutorials by Igor Walukiewicz and Ahmed Bouajjani, and an invited talk by Helmut Veith. For further information, see http://www.games.rwth-aachen.de.
(Needless to say, participants of the GAMES workshop do not have to pay any CSL registration fee for this joint event.)

 CoLogNET

CoLogNET Workshop on
Logic-based Methods for Information Integration
Technische Universität Wien
Vienna, Austria, 23 August 2003

The recent developments of Computer and Telecommunications technology, such as the expansion of the Internet and the World Wide Web, enable accessing a huge number of information sources, including databases, semi-structured data sources, knowledge bases. Although a lot of useful information is made available, users are not properly supported in effectively gathering data relevant to achieve their aims. As a consequence, information integration has emerged as a crucial issue in many organizations that need to access information available both inside and outside the organization. Furthermore, it is one of the core problems in distributed databases, cooperative information systems, and data warehousing, which are key areas in the software development industry.

The use of logic-based methods seems particularly promising to address the many aspects and problems which arise in information integration, since they are helpful in giving formal semantics, in comparing the expressiveness of approaches, as well as in computation and establishing properties of data integration systems.

In order to advance the research, the CoLogNET Network of Excellence in Computational Logic organizes a one-day workshop on logic-based methods for information integration, which will take place in Vienna, Austria, on August 23, 2003, in conjunction with ESSLLI 2003, the European Summer School on Logic, Language, and Information, and CSL 2003, the Annual Conference of the European Association for Computer Science Logic.

The workshop is intended to be a forum bringing together researchers to discuss recent developments and new research directions in logic-based information integration.


© 2002-2003 Kurt Gödel Society, Norbert Preining. 2004-10-12 Valid HTML 4.01! Valid CSS! Debian