Formal Concept Analysis emerged in the 1980's from attempts to restructure lattice theory to promote better communication between lattice theorists and potential users of lattice theory. Since then, Formal Concept Analysis has developed into a growing research field in its own right with a thriving theoretical community and an increasing number of applications in information and knowledge processing including visualization, data mining, analysis and knowledge management.

The conference aims to unify theoretical and applied practitioners using Formal Concept Analysis drawing from the fields of Mathematics, Computer and Information Sciences, Software Engineering, as well as diverse application domains such as Linguistics or Life Sciences. Other aspects are welcome.

For more information, see http://www.icfca2009.h-da.de/

As part of the program of the ESF Eurocores LogICCC program "Logic for Interaction - LINT", a workshop is organized at ILLC in Amsterdam December 4-6, 2008.

The program starts December 4 after lunch and ends December 6 lunch time. The workshop will have four tutorials. They will be given by Samson Abramsky on Game Semantics, Dietmar Berwanger on Imperfect Information Games, Denis Bonnay on Logic Constants and Jouko Väänänen on Dependence Logic. In addition there will be presentations by Fredrik Engström, Pietro Galliani, Juha Kontinen, Allen Mann, Bernd Puchala, and Nikos Tzevelekos. An Opening Talk on Logic for Interaction will be given by Johan van Benthem.

The organizer of the workshop is Jouko Väänänen.
Lecture halls are Thursday P015A, Friday P018, and Saturday P327.

For more information, see https://www.illc.uva.nl/lint/workshop2008.php

As part of the program of the ESF Eurocores LogICCC program "Logic for Interaction - LINT", a workshop is organized at ILLC in Amsterdam December 4-6, 2008.

The program starts December 4 after lunch and ends December 6 lunch time. The workshop will have four tutorials. They will be given by Samson Abramsky on Game Semantics, Dietmar Berwanger on Imperfect Information Games, Denis Bonnay on Logic Constants and Jouko Väänänen on Dependence Logic. In addition there will be presentations by Fredrik Engström, Pietro Galliani, Juha Kontinen, Allen Mann, Bernd Puchala, and Nikos Tzevelekos. An Opening Talk on Logic for Interaction will be given by Johan van Benthem.

The organizer of the workshop is Jouko Väänänen.
Lecture halls are Thursday P015A, Friday P018, and Saturday P327.

For more information, see https://www.illc.uva.nl/lint/workshop2008.php

AP-CAP 2008 is part of the series of conferences organised by the International Association for Computing and Philosophy (IACAP, www-ia-cap.org). This is the first time this conference is being held in India. As with the other CAP conferences, AP-CAP 2008 will deal with all aspects of the "computational turn" that is occurring through the interaction of the disciplines of philosophy and computing. However, there are also some specific themes which would be the focus of this meet. The themes are:

(*) Contemporary issues in philosophy of information and computation
(*) Computation, algorithm and mathematics
(*) Computation and algorithms in Indian mathematics and linguistics
(*) Indian logic and its relationship with computation/computer science
(*) Culture and information technologies

For more information, see http://ia-cap.org/ap-cap08/ or contact Prof. Sundar Sarukkai at cfpnias at gmail.com.

As part of the program of the ESF Eurocores LogICCC program "Logic for Interaction - LINT", a workshop is organized at ILLC in Amsterdam December 4-6, 2008.

The program starts December 4 after lunch and ends December 6 lunch time. The workshop will have four tutorials. They will be given by Samson Abramsky on Game Semantics, Dietmar Berwanger on Imperfect Information Games, Denis Bonnay on Logic Constants and Jouko Väänänen on Dependence Logic. In addition there will be presentations by Fredrik Engström, Pietro Galliani, Juha Kontinen, Allen Mann, Bernd Puchala, and Nikos Tzevelekos. An Opening Talk on Logic for Interaction will be given by Johan van Benthem.

The organizer of the workshop is Jouko Väänänen.
Lecture halls are Thursday P015A, Friday P018, and Saturday P327.

For more information, see https://www.illc.uva.nl/lint/workshop2008.php

AP-CAP 2008 is part of the series of conferences organised by the International Association for Computing and Philosophy (IACAP, www-ia-cap.org). This is the first time this conference is being held in India. As with the other CAP conferences, AP-CAP 2008 will deal with all aspects of the "computational turn" that is occurring through the interaction of the disciplines of philosophy and computing. However, there are also some specific themes which would be the focus of this meet. The themes are:

(*) Contemporary issues in philosophy of information and computation
(*) Computation, algorithm and mathematics
(*) Computation and algorithms in Indian mathematics and linguistics
(*) Indian logic and its relationship with computation/computer science
(*) Culture and information technologies

For more information, see http://ia-cap.org/ap-cap08/ or contact Prof. Sundar Sarukkai at cfpnias at gmail.com.

AP-CAP 2008 is part of the series of conferences organised by the International Association for Computing and Philosophy (IACAP, www-ia-cap.org). This is the first time this conference is being held in India. As with the other CAP conferences, AP-CAP 2008 will deal with all aspects of the "computational turn" that is occurring through the interaction of the disciplines of philosophy and computing. However, there are also some specific themes which would be the focus of this meet. The themes are:

(*) Contemporary issues in philosophy of information and computation
(*) Computation, algorithm and mathematics
(*) Computation and algorithms in Indian mathematics and linguistics
(*) Indian logic and its relationship with computation/computer science
(*) Culture and information technologies

For more information, see http://ia-cap.org/ap-cap08/ or contact Prof. Sundar Sarukkai at cfpnias at gmail.com.

De ontwikkelingen binnen de disciplines Astronomie, Informatica en Wiskunde lijken vaak parallel te verlopen. In de praktijk versterken ze elkaar tot op grote hoogte. NWO Exacte Wetenschappen nodigt u uit om tijdens het congres Parallelle Werelden op maandag 8 december 2008 in het Muziekgebouw aan 't IJ deze werelden te bezoeken.

Parallelle Werelden wordt een unieke dag die u niet mag missen. Dit evenement is de plek om u te inspireren en te komen tot verrassende ontmoetingen met andere disciplines. Beleef op een bijzondere wijze de succesverhalen, de huidige ontwikkelingen en de plannen die binnen het NWO-gebied op stapel staan. Maak kennis met topwetenschappers uit de verschillende disciplines, de samenwerkingspartners en geïnteresseerden van overheid en bedrijfsleven en de medewerkers van het EW-bureau.

Voor meer informatie, zie http://www.parallellewerelden.nl/

FSTTCS (Foundations of Software Technology and Theoretical Computer Science) is an annual international conference held in India. This year, it will be held in Bangalore, India, from December 9 to December 11, 2008. In the more than 25 years of existence, it has had a long tradition of excellent invited talks and high quality submissions. As an added attraction, this year's conference is colocated with APLAS 2008 (Sixth Asian Symposium on Programming Languages and Systems).

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

The 18th Workshop on Logic-based methods in Programming Environments will take place in Udine (Italy), as a satellite workshop of ICLP 2008, the 24th International Conference on Logic Programming. This workshop will continue the series of successful international workshops on logic programming environments held since 1989. The workshop aims at providing an informal meeting for researchers working on logic-based methods and tools which support program development and analysis. This year, we plan to continue and consolidate the shift in focus from environmental tools for logic programming to logic-based environmental tools for programming in general, so that this workshop can be possibly interesting for a wider scientific community. In addition to papers describing more conceptual and theoretical work, the call for papers will solicit papers describing the implementation of, and the experience with, such tools.

For more information, see http://www.clip.dia.fi.upm.es/Conferences/WLPE08/

FSTTCS (Foundations of Software Technology and Theoretical Computer Science) is an annual international conference held in India. This year, it will be held in Bangalore, India, from December 9 to December 11, 2008. In the more than 25 years of existence, it has had a long tradition of excellent invited talks and high quality submissions. As an added attraction, this year's conference is colocated with APLAS 2008 (Sixth Asian Symposium on Programming Languages and Systems).

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

The 18th Workshop on Logic-based methods in Programming Environments will take place in Udine (Italy), as a satellite workshop of ICLP 2008, the 24th International Conference on Logic Programming. This workshop will continue the series of successful international workshops on logic programming environments held since 1989. The workshop aims at providing an informal meeting for researchers working on logic-based methods and tools which support program development and analysis. This year, we plan to continue and consolidate the shift in focus from environmental tools for logic programming to logic-based environmental tools for programming in general, so that this workshop can be possibly interesting for a wider scientific community. In addition to papers describing more conceptual and theoretical work, the call for papers will solicit papers describing the implementation of, and the experience with, such tools.

For more information, see http://www.clip.dia.fi.upm.es/Conferences/WLPE08/

FSTTCS (Foundations of Software Technology and Theoretical Computer Science) is an annual international conference held in India. This year, it will be held in Bangalore, India, from December 9 to December 11, 2008. In the more than 25 years of existence, it has had a long tradition of excellent invited talks and high quality submissions. As an added attraction, this year's conference is colocated with APLAS 2008 (Sixth Asian Symposium on Programming Languages and Systems).

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

The 18th Workshop on Logic-based methods in Programming Environments will take place in Udine (Italy), as a satellite workshop of ICLP 2008, the 24th International Conference on Logic Programming. This workshop will continue the series of successful international workshops on logic programming environments held since 1989. The workshop aims at providing an informal meeting for researchers working on logic-based methods and tools which support program development and analysis. This year, we plan to continue and consolidate the shift in focus from environmental tools for logic programming to logic-based environmental tools for programming in general, so that this workshop can be possibly interesting for a wider scientific community. In addition to papers describing more conceptual and theoretical work, the call for papers will solicit papers describing the implementation of, and the experience with, such tools.

For more information, see http://www.clip.dia.fi.upm.es/Conferences/WLPE08/

The main goal of this conference is to present current trends situated at the interface of Logic and the Foundations of Physics. The conference will bring together researchers from both fields, giving them a forum to present new developments, exchange ideas, explore and establish new connections between logic and physics. On the one hand, we are interested in technical contributions on the use of new methods and techniques coming from logic, computation and information theory to axiomatize and model physical theories and to reason about their concepts, phenomena and/or applications. On the other hand, we are interested in contributions coming from the foundations and philosophy of physics dealing with the general conceptual framework and with questions of interpretation. In particular, we solicit contributions that merge new developments in logic and physics, focusing for instance on how the use of techniques from logic can be combined with insights in physics to yield a new perspective on the main foundational issues and open problems in modern physics.

For more information, see http://www.vub.ac.be/CLWF/TrendsVI

The 18th Workshop on Logic-based methods in Programming Environments will take place in Udine (Italy), as a satellite workshop of ICLP 2008, the 24th International Conference on Logic Programming. This workshop will continue the series of successful international workshops on logic programming environments held since 1989. The workshop aims at providing an informal meeting for researchers working on logic-based methods and tools which support program development and analysis. This year, we plan to continue and consolidate the shift in focus from environmental tools for logic programming to logic-based environmental tools for programming in general, so that this workshop can be possibly interesting for a wider scientific community. In addition to papers describing more conceptual and theoretical work, the call for papers will solicit papers describing the implementation of, and the experience with, such tools.

For more information, see http://www.clip.dia.fi.upm.es/Conferences/WLPE08/

The main goal of this conference is to present current trends situated at the interface of Logic and the Foundations of Physics. The conference will bring together researchers from both fields, giving them a forum to present new developments, exchange ideas, explore and establish new connections between logic and physics. On the one hand, we are interested in technical contributions on the use of new methods and techniques coming from logic, computation and information theory to axiomatize and model physical theories and to reason about their concepts, phenomena and/or applications. On the other hand, we are interested in contributions coming from the foundations and philosophy of physics dealing with the general conceptual framework and with questions of interpretation. In particular, we solicit contributions that merge new developments in logic and physics, focusing for instance on how the use of techniques from logic can be combined with insights in physics to yield a new perspective on the main foundational issues and open problems in modern physics.

For more information, see http://www.vub.ac.be/CLWF/TrendsVI

The 18th Workshop on Logic-based methods in Programming Environments will take place in Udine (Italy), as a satellite workshop of ICLP 2008, the 24th International Conference on Logic Programming. This workshop will continue the series of successful international workshops on logic programming environments held since 1989. The workshop aims at providing an informal meeting for researchers working on logic-based methods and tools which support program development and analysis. This year, we plan to continue and consolidate the shift in focus from environmental tools for logic programming to logic-based environmental tools for programming in general, so that this workshop can be possibly interesting for a wider scientific community. In addition to papers describing more conceptual and theoretical work, the call for papers will solicit papers describing the implementation of, and the experience with, such tools.

For more information, see http://www.clip.dia.fi.upm.es/Conferences/WLPE08/

Game theory is a formal framework with a set of mathematical tools to study the complex interactions among interdependent rational players. For more than half a century, computational game theory has led to revolutionary changes in economics, and has found important applications in politics, sociology, psychology, communication, transportation, biology.

Evolutionary Game Theory (EGT) is a solid basis for understanding learning and constructing new learning algorithms. The Replicator Equations will appear to be an interesting model to study learning in various settings. This model consists of a system of differential equations describing how a population (or a probability distribution) of strategies evolves over time, and plays a central role in biological and economical models. Thus, EGT is an integral part of AI.

The aim of this issue is to bring together the state-of-the-art research contributions that address the fundamentals and sound theoretical models of game theory and the major opportunities and challenges of applying game theory to solving real problems in industry, biology, medicine, communications, and other disciplines.

For more information, see http://www.ieeesmc.org/publications/CFP-IEEE%20SMCB%20spec%20issues_plan/.

The aim of the colloquium is to bring together young researchers in the field of logic. During these two days there will be 6 tutorials in total, 3 about mathematical and 3 about philosophical logic. In addition, PhD students and postdocs in mathematical or philosophical logic are invited to give a presentation. In combination with the planned social activity this will hopefully lead to a better overview of the current research in logic and even joint work.

For more information, see http://www.phdsinlogic.ugent.be/ or contact phdsinlogic at ugent.be.

The AISB convention is an annual event organised as a number of collocated symposia loosely organised around a theme, and interspersed with invited plenary talks and poster sessions. This symposium focuses on the application of artificial intelligence or intelligent-like techniques, frameworks and theories to the creation of interactive engaging intelligent games.

For more information, see http://www.aisb.org.uk/convention/aisb09/