LATA 2007 intends to become a major yearly conference in theoretical computer science and its applications. As linked to the International PhD School in Formal Languages and Applications that is being developed at the host institute since 2001, it will reserve significant room for young computer scientists at the beginning of their career. LATA 2007 will aim at attracting scholars from both classical theory fields and application areas (bioinformatics, systems biology, language technology, artificial intelligence, etc.).

For more information, see http://www.grlmc.com/

Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science. CSL'07, the 16th annual EACSL conference will be organized in Lausanne by the Western Swiss Center for Logic, History and Philosophy of Sciences, and the University of Lausanne. The Ackermann Award for 2007 is sponsored by Logitech and will be presented to the recipients at CSL'07. A joint session with GAMES 07, the annual meeting of the European Network will take place on 11 September, 2007.

For more information, see http://www.unil.ch/csl07/.

LATA 2007 intends to become a major yearly conference in theoretical computer science and its applications. As linked to the International PhD School in Formal Languages and Applications that is being developed at the host institute since 2001, it will reserve significant room for young computer scientists at the beginning of their career. LATA 2007 will aim at attracting scholars from both classical theory fields and application areas (bioinformatics, systems biology, language technology, artificial intelligence, etc.).

For more information, see http://www.grlmc.com/

LATA 2007 intends to become a major yearly conference in theoretical computer science and its applications. As linked to the International PhD School in Formal Languages and Applications that is being developed at the host institute since 2001, it will reserve significant room for young computer scientists at the beginning of their career. LATA 2007 will aim at attracting scholars from both classical theory fields and application areas (bioinformatics, systems biology, language technology, artificial intelligence, etc.).

For more information, see http://www.grlmc.com/

LATA 2007 intends to become a major yearly conference in theoretical computer science and its applications. As linked to the International PhD School in Formal Languages and Applications that is being developed at the host institute since 2001, it will reserve significant room for young computer scientists at the beginning of their career. LATA 2007 will aim at attracting scholars from both classical theory fields and application areas (bioinformatics, systems biology, language technology, artificial intelligence, etc.).

For more information, see http://www.grlmc.com/

A workshop organized by the Department of Philosophy, Utrecht University and the Institute for Logic, Language and Computation, University of Amsterdam, featuring Enayat, Engstrom, Kaye, Kennedy, Kossak, Ressayre, and Visser.

Venue Wednesday: Kromme Nieuwegracht 80
Venue Thursday: Drift 21
Organizers: Albert Visser (Utrecht) and Jouko Väänänen (Amsterdam)

For more information, see http://staff.science.uva.nl/~vaananen/ami

A workshop organized by the Department of Philosophy, Utrecht University and the Institute for Logic, Language and Computation, University of Amsterdam, featuring Enayat, Engstrom, Kaye, Kennedy, Kossak, Ressayre, and Visser.

Venue Wednesday: Kromme Nieuwegracht 80
Venue Thursday: Drift 21
Organizers: Albert Visser (Utrecht) and Jouko Väänänen (Amsterdam)

For more information, see http://staff.science.uva.nl/~vaananen/ami

The 3rd Indian International Conference on Artificial Intelligence (IICAI-07) will be held in Pune, INDIA during December 17-19 2007. IICAI-07 is one of the major AI events in the world. This conference focuses on all areas of AI and related fields. Please visit on the conference website for more details.

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

CALCO brings together researchers and practitioners to exchange new results related to foundational aspects and both traditional and emerging uses of algebras and coalgebras in computer science. CALCO 2007 will be preceded by two events: CALCO-jnr - a CALCO Young Researchers Workshop dedicated to presentations by PhD students and by those who completed their doctoral studies within the past few years - and the Tools & Application Day - providing the opportunity to give system demonstrations.

For more information, see http://www.ii.uib.no/calco07/

The MFPS conferences are devoted to those areas of mathematics, logic, and computer science which are related to models of computation, in general, and to the semantics of programming languages, in particular. The series has particularly stressed providing a forum where researchers in mathematics and computer science can meet and exchange ideas about problems of common interest.

For more information, see http://www.math.tulane.edu/~mfps/mfps23.htm

The MFPS conferences are devoted to those areas of mathematics, logic, and computer science which are related to models of computation, in general, and to the semantics of programming languages, in particular. The series has particularly stressed providing a forum where researchers in mathematics and computer science can meet and exchange ideas about problems of common interest.

For more information, see http://www.math.tulane.edu/~mfps/mfps23.htm

The MFPS conferences are devoted to those areas of mathematics, logic, and computer science which are related to models of computation, in general, and to the semantics of programming languages, in particular. The series has particularly stressed providing a forum where researchers in mathematics and computer science can meet and exchange ideas about problems of common interest.

For more information, see http://www.math.tulane.edu/~mfps/mfps23.htm

The MFPS conferences are devoted to those areas of mathematics, logic, and computer science which are related to models of computation, in general, and to the semantics of programming languages, in particular. The series has particularly stressed providing a forum where researchers in mathematics and computer science can meet and exchange ideas about problems of common interest.

For more information, see http://www.math.tulane.edu/~mfps/mfps23.htm

Computer simulations play an important role in many scientific contexts, and they are often based on a particular model of the phenomenon under investigation. This raises questions both about the nature and methodology of simulations themselves, as well as their relations to models. These issues have recently attracted some attention, and were also discussed at the 'Models and Simulations' conference in Paris in June 2006. The aim of the present conference is both to provide a forum to continue ongoing debates and to try to slightly shift the focus of attention. So far case studies played an important role in the debates over models and simulations and a lot has been learned from them. We are now also interested in theoretical approaches that attempt to rationalize these cases and help furthering our philosophical understanding of how models and simulations explain, how they are confirmed, how they relate to theories and other models, and how they represent.

For more information, see http://www.tilburguniversity.nl/faculties/fww/tilps/MS2/

Intelligent computing is a quite mature field of information and communication technology covering a hybrid palette of methods and techniques derived from classical artificial intelligence, computational intelligence, multi-agent systems a.o. Intelligent computing is generally known to be computationally intensive from the point of view of resources required: time, memory, bandwidth. As this is usually thought to be a drawback, distributed computing is expected to give an impetus to its practical applications. Moreover, intelligent techniques have also proved their usefulness to core distributed computing technologies like: planning & scheduling, load balancing, replication, resource allocation and management, etc. Therefore, the emergent field of intelligent and distributed computing is expected to pose new challenges of adaptation and fruitful combination of both areas. The aim of this symposium is to bring together researchers involved in intelligent and distributed computing to allow cross-fertilization and synergy of ideas and to enable advancement of researches in the field.

For more information, see http://software.ucv.ro/~badica_costin/idc2007/

In the past decade it has become increasingly clear that studying information, first and foremost, means studying information exchange. This acknowledgement of the inherently social character of information shows up at many places in modern logical theories. More generally, information exchange is a form of interaction where agents act together in strategic ways. This new perspective has led to contacts between logic and game theory, bringing a new set of disciplines into the scope of logic: viz., economics, and the social sciences.

New interfaces are arising, such as epistemic studies of rational behavior in games. Another interesting development in this area is the rise of the notion of 'social software', the idea of using computational techniques for analyzing patterns of social behavior. And finally, interaction is also crucial to intelligent behavior in the field of natural language. Here pragmatics, the study of the actual use of language between different agents, has become the primary focus of research. Notions from game theory, in particular evolutionary games, are being used to-day to answer all kinds of pragmatic issues, for instance, how linguistic conventions can arise.

This workshop aims to bring together researchers working on these and related topics in logic, philosophy, computer science, and related areas in order to arrive at an integrated perspective on knowledge acquisition, information exchange, and rational action.

For more information, see https://www.illc.uva.nl/LORI/

The Logic Colloquium is the annual European conference on logic, organised under the auspices of the Association for Symbolic Logic (ASL). It provides a forum for presenting and discussing the new developments in the area of logic. The conference attracts researchers from logic, with an emphasis on mathematical logic, but also including researchers from computer science logic and philosophical logic. In previous years, the Logic Colloquium has been organised in Nijmegen (2006) and Athens (2005). The leading researchers on logic participate in the conference, as invited speaker, tutorial speaker or as participant. It also attracts students (master and Ph.D. students) in logic from all over the world and in that way it also serves for students as an introduction into the research field of logic.

LC'07 will be colocated with ICALP'07 and LICS'07.

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

Technical results on Intuitionistic Logic and Heyting Algebra by Gaelle Fontaine, Lex Hendriks, Joost Joosten, Nick Vaporis (phil. UU), Yde Venema, Fan Yang.

For more information, see http://staff.science.uva.nl/~gfontain/ipc/.

Continuing the highly successful series of Workshops on Automated Reasoning, this event will provide an informal forum for the automated reasoning community. The ARW workshop series aims to bring together researchers from all areas of automated reasoning in order to foster links and facilitate cross-fertilisation of ideas among researchers from various disciplines; among researchers from academia, industry and government; and between theoreticians and practitioners.

For more information, see http://www.doc.ic.ac.uk/crg/events/ARW07/.

Continuing the highly successful series of Workshops on Automated Reasoning, this event will provide an informal forum for the automated reasoning community. The ARW workshop series aims to bring together researchers from all areas of automated reasoning in order to foster links and facilitate cross-fertilisation of ideas among researchers from various disciplines; among researchers from academia, industry and government; and between theoreticians and practitioners.

For more information, see http://www.doc.ic.ac.uk/crg/events/ARW07/.

This symposium is organized bij the OzsL, the VvL and the Heyting Foundation. Invited speakers include Prof.dr. Dirk van Dalen, Dr. Mark van Atten, Dr. Wim Veldman and Dr. John van Mill.

Registration deadline: 16 April. For more information about programme, speakers and registration, see http://ozsl.uu.nl/brouwer/ or contact the organizers at brouwer at ozsl.uu.nl.

Deciding the satisfiability of first-order formulas modulo background theories, known as the Satisfiability Modulo Theories (SMT) problem, has proved to be useful in verification, compiler optimization, scheduling, and other areas. The success of SMT techniques depends on the development of both domain-specific decision procedures for each concrete theory (e.g. linear arithmetic, the theory of arrays, or the theory of bit-vectors) and combination methods that allow one to obtain more versatile SMT tools. These two ingredients together make SMT techniques well-suited for use in larger automated reasoning and formal verification efforts.

The aim of the workshop is to bring together researchers and users of SMT tools and techniques. Continuing with the PDPAR tradition, we especially encourage submission of papers focused on pragmatic aspects.

For more information, see http://www.lsi.upc.edu/~oliveras/smt07

The workshop GPMR-LS1 is the inaugural workshop of the working group "Logic & Semantics" of the Gesellschaft für Philosophie des Mittel-alters und der Renaissance. We aim to bring together all researchers interested in logical and semantical aspects of medieval and early modern philosophy.

Invited Speakers include Bert Bos, Catarina Dutilh Novaes, Sten Ebbesen, Peter King, Gyula Klima, Simo Knuuttila, Peter Ohrstrom and Stephen Read

For more information, see https://www.illc.uva.nl/GPMR-LS1/

ASAI, the Argentine Symposium on Artificial Intelligence, is an annual event intended to be the main forum of the Artificial Intelligence (AI) community in Argentina. The symposium will consist of invited talks and regular paper sessions presenting both mature work and new ideas in theoretical research and applications, and aims at providing a forum for researchers and AI community members to discuss and exchange ideas and experiences on diverse topics of AI. Previous ASAI editions stimulated presentations on both applications of AI and new tools and foundations currently under development. ASAI 2007 will be part of the 36th JAIIO, the 36th Argentine Meetings on Informatics and Operations Research.

For more information, see http://www.exa.unicen.edu.ar/asai2007/

The 30th International Wittgenstein Symposium will be held in Its general theme will be: "Philosophy of the Information Society".

Sections
1. Wittgenstein
2. Wittgenstein and the digital turn
3. Information science, text theory and hermeneutics in the digital context
4. Philosophy of media
5. Philosophy of the Internet
6. Ethics and political economy of the information society

For more information, see http://www.alws.at/.