(dutch only)
Dit congres wordt georganiseerd door de Nederlandse Vereniging voor Wetenschapsfilosofie (NVWF) in overleg met een aantal Vlaamse wetenschapsfilosofen. Op het congres zullen Nederlandse en Vlaamse onderzoekers met een wetenschapsfilosofische ori~ntatie hun onderzoek presenteren met ruime gelegenheid voor discussie en informele contacten. Naast onderwerpen uit de algemene wetenschapsfilosofie, kentheorie en methodologie kunnen ook onderwerpen uit de filosofie en grondslagen van de afzonderlijke wetenschappen een wetenschapsgebieden (alfa, b~ta, gamma, medisch, technisch) aan bod komen.

Deadline voor registratie: 1 February 2007. Voor meer informatie, zie http://www.nvwf.nl/ en http://www.isvw.nl/voorjaar2007-13.htm.

CATS is the premier theoretical computer science conference in Australasia. It is held annually as part of Australasian Computer Science Week (ASCW) which comprises many other conferences and is overseen by the Computer Research and Education Association (CORE).

For more information, see http://www-staff.it.uts.edu.au/~cbj/cats07/

CATS is the premier theoretical computer science conference in Australasia. It is held annually as part of Australasian Computer Science Week (ASCW) which comprises many other conferences and is overseen by the Computer Research and Education Association (CORE).

For more information, see http://www-staff.it.uts.edu.au/~cbj/cats07/

The ILLC will host the next meeting of the Diamant/Eidma cryptography working group. The meeting will take place in Room D028, Roeterseiland, Nieuwe Achtergracht 129, Amsterdam.

Details of the program can be found at the Eidma website at http://www.win.tue.nl/wsk/eidma/cwg.html. For more information, please contact peter at science.uva.nl.

The workshop on Declarative Agent Languages and Technologies (DALT), in its fifth edition this year, is a well-established forum for researchers interested in sharing their experiences in combining declarative and formal approaches with engineering and technology aspects of agents and multiagent systems. Building complex agent systems calls for models and technologies that en- sure predictability, allow for the verification of properties, and guarantee flexibility. Developing technologies that can sat- isfy these requirements still poses an important and difficult challenge. Here, declarative approaches have the potential of of- fering solutions satisfying the needs for both specifying and de- veloping multiagent systems. Moreover, they are gaining more and more attention in important application areas such as the seman- tic web, service-oriented computing, security, and electronic contracting. For instance, some convergence points between the areas of formal methods for dealing with web services and formal methods for agents are emerging and gaining more and more atten- tion.

DALT 2007 will be held as a satellite workshop of AAMAS 2007. For more information, see http://www.di.unito.it/~baldoni/DALT-2007/

Starting from very different motivations, various groups of mathematicians and computer scientists have sought to describe abstract structures in great generality. This parallel evolutionary process has led to various groups of researchers working on highly interrelated areas, though unable to effectively communicate with each other due to vastly differing languages.

This workshop aims to bring together researchers working in category theory, universal algebra, logic and their applications to computer science in order to highlight recent advances in these fields and to facilitate dialogue between the different camps. Of particular interest is work which spans two or more of these areas.

Deadline for registration: 2nd February 2007 For more information, see http://usmc07.rsise.anu.edu.au/

Recently, the dynamic and interactive aspects of logical reasoning, communication, and information processing have become central in logic, linguistics and computer science. It is the interplay of many actors with goals and preferences, whether human or computational, which underlies their core tasks. To account for these interactive aspects, the notion of a 'game' as a mathematical model of strategic interaction between players with their own preferences on the possible outcomes has proved to be important in all those disciplines.

The purpose of this colloquium is to encourage these incipient interactions between the various disciplines thinking about games and interaction, and clarify their common concerns and potential for fruitful collaboration. The colloquium will be organized as an Academie Colloquium of the Royal Acedemy of the Netherlands (KNAW) and will consist of fifteen invited talks by international speakers that cover various aspects of games in logic, computer science, economics, and linguistics. Each talk will be followed by a commentary and discussion.

For more information, see https://www.illc.uva.nl/KNAW-AC/

This workshop is part of the special year in logic at the University of Florida. The tutorials will take place on February 5-6, providing introductions to computable model theory and to model-theoretical applications within mathematics. The tutorials will be accessible to graduate students in logic, as well as to other interested mathematicians. The lectures on February 7-10 will present recent results in areas related to the tutorials.

For more information, see http://www.math.ufl.edu/~jal/logicyear/mtcmt/

Starting from very different motivations, various groups of mathematicians and computer scientists have sought to describe abstract structures in great generality. This parallel evolutionary process has led to various groups of researchers working on highly interrelated areas, though unable to effectively communicate with each other due to vastly differing languages.

This workshop aims to bring together researchers working in category theory, universal algebra, logic and their applications to computer science in order to highlight recent advances in these fields and to facilitate dialogue between the different camps. Of particular interest is work which spans two or more of these areas.

Deadline for registration: 2nd February 2007 For more information, see http://usmc07.rsise.anu.edu.au/

Recently, the dynamic and interactive aspects of logical reasoning, communication, and information processing have become central in logic, linguistics and computer science. It is the interplay of many actors with goals and preferences, whether human or computational, which underlies their core tasks. To account for these interactive aspects, the notion of a 'game' as a mathematical model of strategic interaction between players with their own preferences on the possible outcomes has proved to be important in all those disciplines.

The purpose of this colloquium is to encourage these incipient interactions between the various disciplines thinking about games and interaction, and clarify their common concerns and potential for fruitful collaboration. The colloquium will be organized as an Academie Colloquium of the Royal Acedemy of the Netherlands (KNAW) and will consist of fifteen invited talks by international speakers that cover various aspects of games in logic, computer science, economics, and linguistics. Each talk will be followed by a commentary and discussion.

For more information, see https://www.illc.uva.nl/KNAW-AC/

This workshop is part of the special year in logic at the University of Florida. The tutorials will take place on February 5-6, providing introductions to computable model theory and to model-theoretical applications within mathematics. The tutorials will be accessible to graduate students in logic, as well as to other interested mathematicians. The lectures on February 7-10 will present recent results in areas related to the tutorials.

For more information, see http://www.math.ufl.edu/~jal/logicyear/mtcmt/

Starting from very different motivations, various groups of mathematicians and computer scientists have sought to describe abstract structures in great generality. This parallel evolutionary process has led to various groups of researchers working on highly interrelated areas, though unable to effectively communicate with each other due to vastly differing languages.

This workshop aims to bring together researchers working in category theory, universal algebra, logic and their applications to computer science in order to highlight recent advances in these fields and to facilitate dialogue between the different camps. Of particular interest is work which spans two or more of these areas.

Deadline for registration: 2nd February 2007 For more information, see http://usmc07.rsise.anu.edu.au/

Recently, the dynamic and interactive aspects of logical reasoning, communication, and information processing have become central in logic, linguistics and computer science. It is the interplay of many actors with goals and preferences, whether human or computational, which underlies their core tasks. To account for these interactive aspects, the notion of a 'game' as a mathematical model of strategic interaction between players with their own preferences on the possible outcomes has proved to be important in all those disciplines.

The purpose of this colloquium is to encourage these incipient interactions between the various disciplines thinking about games and interaction, and clarify their common concerns and potential for fruitful collaboration. The colloquium will be organized as an Academie Colloquium of the Royal Acedemy of the Netherlands (KNAW) and will consist of fifteen invited talks by international speakers that cover various aspects of games in logic, computer science, economics, and linguistics. Each talk will be followed by a commentary and discussion.

For more information, see https://www.illc.uva.nl/KNAW-AC/

This workshop is part of the special year in logic at the University of Florida. The tutorials will take place on February 5-6, providing introductions to computable model theory and to model-theoretical applications within mathematics. The tutorials will be accessible to graduate students in logic, as well as to other interested mathematicians. The lectures on February 7-10 will present recent results in areas related to the tutorials.

For more information, see http://www.math.ufl.edu/~jal/logicyear/mtcmt/

This workshop is part of the special year in logic at the University of Florida. The tutorials will take place on February 5-6, providing introductions to computable model theory and to model-theoretical applications within mathematics. The tutorials will be accessible to graduate students in logic, as well as to other interested mathematicians. The lectures on February 7-10 will present recent results in areas related to the tutorials.

For more information, see http://www.math.ufl.edu/~jal/logicyear/mtcmt/

The Royal Netherlands Academy of Arts and Sciences (KNAW) in collaboration with the Institute for Logic, Language and Computation (ILLC) is organizing a Master Class on "New perspectives on Games and Interaction". This Master Class will feature three tutorials by Alexandru Baltag (Oxford), Giacomo Bonanno (UC Davis), and Wolfgang Thomas (Aachen).

If you are interested, please register before January 15, 2007. The registration fee is € 5,-. For more information, see https://www.illc.uva.nl/KNAW-AC/MasterClass/.

This workshop is part of the special year in logic at the University of Florida. The tutorials will take place on February 5-6, providing introductions to computable model theory and to model-theoretical applications within mathematics. The tutorials will be accessible to graduate students in logic, as well as to other interested mathematicians. The lectures on February 7-10 will present recent results in areas related to the tutorials.

For more information, see http://www.math.ufl.edu/~jal/logicyear/mtcmt/

The 33rd International Colloquium on Automata, Languages and Programming, the main conference and annual meeting of the European Association for Theoretical Computer Science EATCS will take place from the 9th to the 13th of July 2007 in Wroclaw, Poland. ICALP'07 will be colocated with LC'07 and LICS'07.

For more information, see http://icalp07.ii.uni.wroc.pl/.

This workshop is part of the special year in logic at the University of Florida. The tutorials will take place on February 5-6, providing introductions to computable model theory and to model-theoretical applications within mathematics. The tutorials will be accessible to graduate students in logic, as well as to other interested mathematicians. The lectures on February 7-10 will present recent results in areas related to the tutorials.

For more information, see http://www.math.ufl.edu/~jal/logicyear/mtcmt/

We are pleased to announce the Student Session of the 19th European Summer School in Logic, Language and Information, which will be held in Dublin, Ireland on August 6-17, 2007. Student Session exists to bring together young researchers to present and discuss their work in progress with a possibility to get feedback from senior researchers.

For more information, see the Student Session webpage at http://www.loria.fr/~sustreto/stus07/.

The workshop Logic and Multi-Agent Systems aims to provide a forum to foster lively and fruitful discussion on issues involved in logic and multiagent systems.

Particular topics of interest are:
1. Specification, verification, and synthesis of multiagent systems
2. Description logics
3. Relation between temporal and dynamic logics
4. Automated reasoning and model checking
5. Security protocols
6. Models of peer-to-peer networking
7. Intelligent databases (with multiagent aspects)
8. Models of electronic institutions and contracts

For more information, see http://www.cs.otago.ac.nz/staffpriv/hans/lamas2.html

We would like to invite submissions of full original papers in the interface of the areas of belief revision, belief merging and social choice. We will also accept submissions in related areas that investigate common problems. Selected papers will be published as a special issue of the Journal of Logic and Computation.

Electronic submission of a postscript or PDF file with a separate covering message can be made to Odinaldo Rodrigues by February, 16th, 2007. Contributions will be acknowledged in all cases. For more information, see http://www.dcs.kcl.ac.uk/events/ADMW06/proceedings.html

The workshop Logic and Multi-Agent Systems aims to provide a forum to foster lively and fruitful discussion on issues involved in logic and multiagent systems.

Particular topics of interest are:
1. Specification, verification, and synthesis of multiagent systems
2. Description logics
3. Relation between temporal and dynamic logics
4. Automated reasoning and model checking
5. Security protocols
6. Models of peer-to-peer networking
7. Intelligent databases (with multiagent aspects)
8. Models of electronic institutions and contracts

For more information, see http://www.cs.otago.ac.nz/staffpriv/hans/lamas2.html

The annual Belgian-Dutch Benelearn Conference will be held in Amsterdam 14 and 15 May 2007. Benelearn serves as a forum where researchers, developers and users of Machine Learning, Data Mining, Knowledge Discovery and related areas exchange ideas and present recent work. The language of the conference is English. Benelearn 2007 will be organised by the Adaptive Information Management group of the Human-Computer Studies Laboratory of the University of Amsterdam.

For more information, see http://staff.science.uva.nl/~katrenko/benelearn07/

Calculemus is a series of conferences dedicated to the integration of computer algebra systems (CAS) and automated deduction systems (ADS) towards the development of universal mathematical assistant systems (MAS).

Currently, symbolic computation is divided into several (more or less) independent branches, traditional ones (e.g. computer algebra and theorem proving) as well as newly emerging ones (on user interfaces, knowledge management, theory exploration, etc.). The main concern of the Calculemus community is to bring these developments together in order to facilitate the theory, design, and implementation of integrated MAS that will routinely be used by mathematicians, computer scientists, and engineers in their every-day business.

For more information, see http://www.risc.uni-linz.ac.at/about/conferences/Calculemus2007/

The IADIS Applied Computing 2007 conference aims to address the main issues of concern within the applied computing area and related fields. This conference covers essentially technical aspects.

For more information, see http://www.computing-conf.org/ or contact the organizers at ac_sec at iadis.org.

The IADIS Applied Computing 2007 conference aims to address the main issues of concern within the applied computing area and related fields. This conference covers essentially technical aspects.

For more information, see http://www.computing-conf.org/ or contact the organizers at ac_sec at iadis.org.

Analysis of algorithms is a scientific basis for computation, providing a link between abstract algorithms and the performance characteristics of their implementations in the real world. The general effort to precisely predict the performance of algorithms has come to involve research in analytic combinatorics, the analysis of random discrete structures, asymptotic analysis, exact and limiting distributions, and other fields of inquiry in computer science, probability theory, and enumerative combinatorics.

For more information, see http://www.aofa2007.org/.

The IADIS Applied Computing 2007 conference aims to address the main issues of concern within the applied computing area and related fields. This conference covers essentially technical aspects.

For more information, see http://www.computing-conf.org/ or contact the organizers at ac_sec at iadis.org.

The IADIS Applied Computing 2007 conference aims to address the main issues of concern within the applied computing area and related fields. This conference covers essentially technical aspects.

For more information, see http://www.computing-conf.org/ or contact the organizers at ac_sec at iadis.org.

For more information, see http://www.cs.rwth-aachen.de/stacs07/

SIGACT is pleased to announce the first Symposium on Theory of Computing (STOC) ACM Student Research Competition (SRC) sponsored by Microsoft Research. The STOC SRC offers an opportunity for undergraduate students conducting theoretical computer science research to present their original work at STOC 2007. Research in all areas of theoretical computer science is welcome.

More information is available on the participation page of the ACM SRC website http://www.acm.org/src

The systematic study of intertheory relations such as strong and uniform equivalence has recently become an active sub-area of research in the field of LPNMR. Various kinds of correspondence relations that may hold between logic programs or between nonmonotonic theories have been analysed and shown to be of practical relevance for theory or program transformation, optimisation and modularity. Several systems for verifying such relations have been implemented. Different types of knowledge representation and reasoning tasks have begun to be explored in this context, such as abductive and inductive reasoning, causal reasoning, preference-based reasoning or reasoning about updates.

In the field of KRR more generally one notes an increased interest in inter-theory relations that are relevant for ontologies, eg to describe modular ontologies or equivalences between ontologies or their parts. It may therefore be of interest to combine work in this area with work on equivalences between nonmonotonic rules. We are also interested in new results on equivalences between different ontology languages proposed for the Semantic Web, particularly in combinations with (nonmonotonic) rules. Frameworks for study might therefore include e.g. DL-programs or hybrid knowledge bases that provide combinations of a classical or description logic KB with logic programming rules.

For more information, see http://www.kr.tuwien.ac.at/cent2007/

For more information, see http://www.cs.rwth-aachen.de/stacs07/

For more information, see http://www.cs.rwth-aachen.de/stacs07/

The 5th International Conference on Logic, Game Theory and Social Choice will be held at the Euskalduna Conference Centre in Bilbao, Spain, from 20th to 22th June 2007. Just like the four previous LGS-conferences (Tilburg 1999, Saint Petersburg 2001, Siena 2003, Caen 2005), LGS5 will focus on the theoretical connections between the three disciplines in the conference title. The conference programme will consist of three invited lectures by Robert J. Aumann, Matthew O. Jackson and Mamoru Kaneko, and contributed papers.

For more information,, see http://www.lgs-5.com/.

This is the third of a series of successful meetings on the development of Formal Topology and its connections with related approaches. The first two have been held in Padua, 1997, and Venice, 2002. Before the workshop, on 7-8 May 2007, two days of extensive and coordinated tutorials are planned, given by Bernhard Banaschewski and other pioneers.

For more information, see http://www.3wftop.math.unipd.it/.