This will be the first international congress dedicated entirely to the square of opposition. The square will be considered in its various aspects. There will be talks by the best specialists of the square and this will be also an interdisciplinary event gathering people from various fields : logic, philosophy, mathematics, psychology, linguistics, anthropology, semiotics. Visual and artistic representations of the square will also be presented.

For further information, visit the website below: http://www.square-of-opposition.org/.

The topic of the conference is the investigation of concept types (sortal, relational, individual and functional concepts) and their respective relationships to frames (recursive attribute-value structures). The interdisciplinary conference combines approaches from linguistics, computational linguistics, neuroscience, philosophy, philosophy of science and the history of science.

For more information, see http://phil-fak.uni-duesseldorf.de/fff/ctf/ or email to: ctf at phil-fak.uni-duesseldorf.de.

WG 2007 aims at uniting theory and practice by demonstrating how graph-theoretic concepts can be applied to various areas in Computer Science, or by extracting new problems from applications. The goal is to present recent research results and to identify and explore directions of future research. The conference is well-balanced with respect to established researchers and young scientists.

For more information, see http://wwwteo.informatik.uni-rostock.de/wg2007/

WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers.

For more information, see http://www.cin.ufpe.br/~wollic/wollic2007/

Topics include halting problems, minimal universal codes, computational complexity, self-reproduction and decidability in areas such as Digital computation (fundamental classical models), Digital models of computation, and Analog and Hybrid Computations.

For more information, see http://www.univ-orleans.fr/lifo/Manifestations/MCU07/

EWSCS is a series of regional-scope international winter schools held annually in Estonia. EWSCS are organized by Institute of Cybernetics (IoC), a research institute of Tallinn University of Technology. EWSCS '07 is the twelfth event of the series.

The main objective of EWSCS is to expose Estonian, Baltic, and Nordic graduate students in computer science (but also interested students from elsewhere) to frontline research topics usually not covered within the regular curricula. The subject of the schools is general computer science, with a bias towards theory, this comprising both algorithms, complexity and models of computation, and semantics, logic and programming theory. The working language of the schools is English.

The deadline for application and submission of abstracts is 19 January 2007. Details on the application procedure and cost are available from the school webpage, http://cs.ioc.ee/yik/schools/win2007/. Questions should be sent to ewscs07 at cs.ioc.ee.

EWSCS is a series of regional-scope international winter schools held annually in Estonia. EWSCS are organized by Institute of Cybernetics (IoC), a research institute of Tallinn University of Technology. EWSCS '07 is the twelfth event of the series.

The main objective of EWSCS is to expose Estonian, Baltic, and Nordic graduate students in computer science (but also interested students from elsewhere) to frontline research topics usually not covered within the regular curricula. The subject of the schools is general computer science, with a bias towards theory, this comprising both algorithms, complexity and models of computation, and semantics, logic and programming theory. The working language of the schools is English.

The deadline for application and submission of abstracts is 19 January 2007. Details on the application procedure and cost are available from the school webpage, http://cs.ioc.ee/yik/schools/win2007/. Questions should be sent to ewscs07 at cs.ioc.ee.

The 2007 Annual Meeting of the Association for Symbolic Logic will take place March 10-13, 2007 at the University of Florida. Associated with the event is the workshop "Singular Cardinal Combinatorics and Inner Model Theory", to be held March 5-11. The Eighteenth Annual Gödel Lecture will be given by Ehud Hrushovski (Hebrew University, Israel). Special Sessions will be held on "Computability Theory", "Algebraic Model Theory", "Logic Research for Undergraduates" and "Connections of Set Theory with Boolean Algebras and Topology". The ASL will make available modest travel awards to graduate students in logic (deadline for applications: December 22, 2006).

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

EWSCS is a series of regional-scope international winter schools held annually in Estonia. EWSCS are organized by Institute of Cybernetics (IoC), a research institute of Tallinn University of Technology. EWSCS '07 is the twelfth event of the series.

The main objective of EWSCS is to expose Estonian, Baltic, and Nordic graduate students in computer science (but also interested students from elsewhere) to frontline research topics usually not covered within the regular curricula. The subject of the schools is general computer science, with a bias towards theory, this comprising both algorithms, complexity and models of computation, and semantics, logic and programming theory. The working language of the schools is English.

The deadline for application and submission of abstracts is 19 January 2007. Details on the application procedure and cost are available from the school webpage, http://cs.ioc.ee/yik/schools/win2007/. Questions should be sent to ewscs07 at cs.ioc.ee.

The 2007 Annual Meeting of the Association for Symbolic Logic will take place March 10-13, 2007 at the University of Florida. Associated with the event is the workshop "Singular Cardinal Combinatorics and Inner Model Theory", to be held March 5-11. The Eighteenth Annual Gödel Lecture will be given by Ehud Hrushovski (Hebrew University, Israel). Special Sessions will be held on "Computability Theory", "Algebraic Model Theory", "Logic Research for Undergraduates" and "Connections of Set Theory with Boolean Algebras and Topology". The ASL will make available modest travel awards to graduate students in logic (deadline for applications: December 22, 2006).

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

EWSCS is a series of regional-scope international winter schools held annually in Estonia. EWSCS are organized by Institute of Cybernetics (IoC), a research institute of Tallinn University of Technology. EWSCS '07 is the twelfth event of the series.

The main objective of EWSCS is to expose Estonian, Baltic, and Nordic graduate students in computer science (but also interested students from elsewhere) to frontline research topics usually not covered within the regular curricula. The subject of the schools is general computer science, with a bias towards theory, this comprising both algorithms, complexity and models of computation, and semantics, logic and programming theory. The working language of the schools is English.

The deadline for application and submission of abstracts is 19 January 2007. Details on the application procedure and cost are available from the school webpage, http://cs.ioc.ee/yik/schools/win2007/. Questions should be sent to ewscs07 at cs.ioc.ee.

The 2007 Annual Meeting of the Association for Symbolic Logic will take place March 10-13, 2007 at the University of Florida. Associated with the event is the workshop "Singular Cardinal Combinatorics and Inner Model Theory", to be held March 5-11. The Eighteenth Annual Gödel Lecture will be given by Ehud Hrushovski (Hebrew University, Israel). Special Sessions will be held on "Computability Theory", "Algebraic Model Theory", "Logic Research for Undergraduates" and "Connections of Set Theory with Boolean Algebras and Topology". The ASL will make available modest travel awards to graduate students in logic (deadline for applications: December 22, 2006).

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

Hybrid logic is a branch of modal logic allowing direct reference to worlds/times/states. It is easy to justify interest in hybrid logic on the grounds of applications as the additional expressive power is very useful. In addition, hybrid-logical machinery improves the behaviour of the underlying modal formalism. For example, it becomes considerably simpler to formulate modal proof systems, and one can prove completeness and interpolation results of a generality that is not available in orthodox modal logic.

The topic of the HyLo workshop of 2007 is not only standard hybrid-logical machinery like nominals, satisfaction operators, and the downarrow binder, but generally extensions of modal logic that increase its expressive power. The workshop continues a series of previous workshops on hybrid logic, most recently the LICS-affiliated HyLo 2006 (http://hylomol.ruc.dk/HyLo2006/). HyLo 2007 is organized as part of ESSLLI 2007.

For more information, see http://hylomol.ruc.dk/HyLo2007

EWSCS is a series of regional-scope international winter schools held annually in Estonia. EWSCS are organized by Institute of Cybernetics (IoC), a research institute of Tallinn University of Technology. EWSCS '07 is the twelfth event of the series.

The main objective of EWSCS is to expose Estonian, Baltic, and Nordic graduate students in computer science (but also interested students from elsewhere) to frontline research topics usually not covered within the regular curricula. The subject of the schools is general computer science, with a bias towards theory, this comprising both algorithms, complexity and models of computation, and semantics, logic and programming theory. The working language of the schools is English.

The deadline for application and submission of abstracts is 19 January 2007. Details on the application procedure and cost are available from the school webpage, http://cs.ioc.ee/yik/schools/win2007/. Questions should be sent to ewscs07 at cs.ioc.ee.

The 2007 Annual Meeting of the Association for Symbolic Logic will take place March 10-13, 2007 at the University of Florida. Associated with the event is the workshop "Singular Cardinal Combinatorics and Inner Model Theory", to be held March 5-11. The Eighteenth Annual Gödel Lecture will be given by Ehud Hrushovski (Hebrew University, Israel). Special Sessions will be held on "Computability Theory", "Algebraic Model Theory", "Logic Research for Undergraduates" and "Connections of Set Theory with Boolean Algebras and Topology". The ASL will make available modest travel awards to graduate students in logic (deadline for applications: December 22, 2006).

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

The international conference Social cognition, emotion, and self-consciousness will be held from the 8-10 March 2007 at the Hanse-Wissenschaftskolleg in Delmenhorst, Germany.

To participate, please register before 10th of February 2006 by sending an email to Marion Daniel at the Hanse-Wissenschaftskolleg: mdaniel at h-w-k.de. For further information, see here or contact Alexandra Zinck: alexandra.zinck at uni-tuebingen.de.

Opinions on confirmation and induction diverge wildly in philosophy of science. At one extreme are those such as the Bayesians, who believe that the true system of inductive logic has been found and all that needs to be resolved are the details. At the other are skeptics, such as some supporters of the underdetermination thesis, who hold that no logic can vindicate the level of support scientists claim for their best, mature theories, for, they urge, the real inductive import of evidence cannot be that decisive. Between these extreme are many intermediate positions, including the view that the very nature of inductive inference remains poorly understood. Our goal in this conference is to bring together representatives from as many of these viewpoints as possible in order to advance our understanding of this problem.

For more information, see http://www.lse.ac.uk/collections/CPNSS/events/Conferences/

EWSCS is a series of regional-scope international winter schools held annually in Estonia. EWSCS are organized by Institute of Cybernetics (IoC), a research institute of Tallinn University of Technology. EWSCS '07 is the twelfth event of the series.

The main objective of EWSCS is to expose Estonian, Baltic, and Nordic graduate students in computer science (but also interested students from elsewhere) to frontline research topics usually not covered within the regular curricula. The subject of the schools is general computer science, with a bias towards theory, this comprising both algorithms, complexity and models of computation, and semantics, logic and programming theory. The working language of the schools is English.

The deadline for application and submission of abstracts is 19 January 2007. Details on the application procedure and cost are available from the school webpage, http://cs.ioc.ee/yik/schools/win2007/. Questions should be sent to ewscs07 at cs.ioc.ee.

The 2007 Annual Meeting of the Association for Symbolic Logic will take place March 10-13, 2007 at the University of Florida. Associated with the event is the workshop "Singular Cardinal Combinatorics and Inner Model Theory", to be held March 5-11. The Eighteenth Annual Gödel Lecture will be given by Ehud Hrushovski (Hebrew University, Israel). Special Sessions will be held on "Computability Theory", "Algebraic Model Theory", "Logic Research for Undergraduates" and "Connections of Set Theory with Boolean Algebras and Topology". The ASL will make available modest travel awards to graduate students in logic (deadline for applications: December 22, 2006).

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

The international conference Social cognition, emotion, and self-consciousness will be held from the 8-10 March 2007 at the Hanse-Wissenschaftskolleg in Delmenhorst, Germany.

To participate, please register before 10th of February 2006 by sending an email to Marion Daniel at the Hanse-Wissenschaftskolleg: mdaniel at h-w-k.de. For further information, see here or contact Alexandra Zinck: alexandra.zinck at uni-tuebingen.de.

Opinions on confirmation and induction diverge wildly in philosophy of science. At one extreme are those such as the Bayesians, who believe that the true system of inductive logic has been found and all that needs to be resolved are the details. At the other are skeptics, such as some supporters of the underdetermination thesis, who hold that no logic can vindicate the level of support scientists claim for their best, mature theories, for, they urge, the real inductive import of evidence cannot be that decisive. Between these extreme are many intermediate positions, including the view that the very nature of inductive inference remains poorly understood. Our goal in this conference is to bring together representatives from as many of these viewpoints as possible in order to advance our understanding of this problem.

For more information, see http://www.lse.ac.uk/collections/CPNSS/events/Conferences/

We are happy to invite you for the Theory Day 2007 of the NVTI. The Dutch Asssociation for Theoretical Computer Science (NVTI) supports the study of theoretical computer and its applications.

Again, we managed to compose an interesting program with excellent speakers from the Netherlands and abroad, covering important streams in theoretical computer science. Lecturers include Tom Ball (Microsoft Research), Nitin Saxena (CWI) Rineke Verbrugge (RUG) and Gerhard Woeginger (TU/e).

For more information, see http://www.nvti.nl/Theorydays.html.

Speakers: Robert van Rooy (ILLC), Enoch Aboh & Umberto Ansaldo (ACLC), Hartmut Fitz (ILLC), Bart de Boer (ACLC).

For a program and abstracts, see http://www.hum.uva.nl/aclc/object.cfm/.

The 2007 Annual Meeting of the Association for Symbolic Logic will take place March 10-13, 2007 at the University of Florida. Associated with the event is the workshop "Singular Cardinal Combinatorics and Inner Model Theory", to be held March 5-11. The Eighteenth Annual Gödel Lecture will be given by Ehud Hrushovski (Hebrew University, Israel). Special Sessions will be held on "Computability Theory", "Algebraic Model Theory", "Logic Research for Undergraduates" and "Connections of Set Theory with Boolean Algebras and Topology". The ASL will make available modest travel awards to graduate students in logic (deadline for applications: December 22, 2006).

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

The international conference Social cognition, emotion, and self-consciousness will be held from the 8-10 March 2007 at the Hanse-Wissenschaftskolleg in Delmenhorst, Germany.

To participate, please register before 10th of February 2006 by sending an email to Marion Daniel at the Hanse-Wissenschaftskolleg: mdaniel at h-w-k.de. For further information, see here or contact Alexandra Zinck: alexandra.zinck at uni-tuebingen.de.

Opinions on confirmation and induction diverge wildly in philosophy of science. At one extreme are those such as the Bayesians, who believe that the true system of inductive logic has been found and all that needs to be resolved are the details. At the other are skeptics, such as some supporters of the underdetermination thesis, who hold that no logic can vindicate the level of support scientists claim for their best, mature theories, for, they urge, the real inductive import of evidence cannot be that decisive. Between these extreme are many intermediate positions, including the view that the very nature of inductive inference remains poorly understood. Our goal in this conference is to bring together representatives from as many of these viewpoints as possible in order to advance our understanding of this problem.

For more information, see http://www.lse.ac.uk/collections/CPNSS/events/Conferences/

The 2007 Annual Meeting of the Association for Symbolic Logic will take place March 10-13, 2007 at the University of Florida. Associated with the event is the workshop "Singular Cardinal Combinatorics and Inner Model Theory", to be held March 5-11. The Eighteenth Annual Gödel Lecture will be given by Ehud Hrushovski (Hebrew University, Israel). Special Sessions will be held on "Computability Theory", "Algebraic Model Theory", "Logic Research for Undergraduates" and "Connections of Set Theory with Boolean Algebras and Topology". The ASL will make available modest travel awards to graduate students in logic (deadline for applications: December 22, 2006).

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

The 2007 Annual Meeting of the Association for Symbolic Logic will take place March 10-13, 2007 at the University of Florida. Associated with the event is the workshop "Singular Cardinal Combinatorics and Inner Model Theory", to be held March 5-11. The Eighteenth Annual Gödel Lecture will be given by Ehud Hrushovski (Hebrew University, Israel). Special Sessions will be held on "Computability Theory", "Algebraic Model Theory", "Logic Research for Undergraduates" and "Connections of Set Theory with Boolean Algebras and Topology". The ASL will make available modest travel awards to graduate students in logic (deadline for applications: December 22, 2006).

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

The 2007 Annual Meeting of the Association for Symbolic Logic will take place March 10-13, 2007 at the University of Florida. Associated with the event is the workshop "Singular Cardinal Combinatorics and Inner Model Theory", to be held March 5-11. The Eighteenth Annual Gödel Lecture will be given by Ehud Hrushovski (Hebrew University, Israel). Special Sessions will be held on "Computability Theory", "Algebraic Model Theory", "Logic Research for Undergraduates" and "Connections of Set Theory with Boolean Algebras and Topology". The ASL will make available modest travel awards to graduate students in logic (deadline for applications: December 22, 2006).

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

Group decision-making problems occur every time a collective choice has to be made from several individuals that have conflicting interests or preferences. There has been recently a growing interest on the use of logic as the basic tool for formalizing and computing those problems. This is in particular true in two close fields of research. The first one lies at the intersection of game theory and logics, especially by exploring how modal logics may be used to model and reason about games. A second one, which focuses on the logical insights into rational collective choice, has recently emerged around problems of judgment aggregation and beliefs/goals merging, on the one hand, and logical formalization of welfare distribution processes (social software), on the other. These two domains propose further formal refinements, using logical tools, of the classical theories of collective decision-making, by offering new evaluation criteria of and new ways of building social choice procedures. The workshop aims at sparking off interaction between social choice theorists, computer scientists, logicians and philosophers.

For more information, see https://www.illc.uva.nl/LCD07/ or contact us via lcd07 at hotmail.fr.

Group decision-making problems occur every time a collective choice has to be made from several individuals that have conflicting interests or preferences. There has been recently a growing interest on the use of logic as the basic tool for formalizing and computing those problems. This is in particular true in two close fields of research. The first one lies at the intersection of game theory and logics, especially by exploring how modal logics may be used to model and reason about games. A second one, which focuses on the logical insights into rational collective choice, has recently emerged around problems of judgment aggregation and beliefs/goals merging, on the one hand, and logical formalization of welfare distribution processes (social software), on the other. These two domains propose further formal refinements, using logical tools, of the classical theories of collective decision-making, by offering new evaluation criteria of and new ways of building social choice procedures. The workshop aims at sparking off interaction between social choice theorists, computer scientists, logicians and philosophers.

For more information, see https://www.illc.uva.nl/LCD07/ or contact us via lcd07 at hotmail.fr.

The Sixth International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'07) will provide a forum for presenting and discussing high-quality research and applications on context, within a wide range of disciplines. The conference will include paper and poster presentations, system demonstrations, workshops, and a doctoral consortium.

For more information, see http://context-07.ruc.dk/.

The conference is concerned with the theory of computability and complexity over real-valued data. Unlike the well established classical theory over discrete structures, the theory of computation over continuous data is still in early stages of development, despite remarkable progress in recent years. Many important fundamental problems have not yet been studied, and presumably numerous unexpected and surprising results are waiting to be detected. Scientists working in the area of computation on real-valued data come from different fields, such as theoretical computer science, domain theory, logic, constructive mathematics, computer arithmetic, numerical mathematics and all branches of analysis. The conference provides a unique opportunity for people from such diverse areas to meet and exchange ideas and knowledge.

This year CCA 2007 is co-located with the conference CiE 2007.

For more information, see http://cca-net.de/cca2007/

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/.

We are pleased to announce our sixteenth annual BEST conference. There will be four talks by invited speakers:
Andres Caicedo (Caltech)
Tim Carlson (Ohio State University)
Marcia Groszek (Dartmouth College)
Peter Komjath (Eotvos University)

The conference webpage at http://math.boisestate.edu/~best/best16/ contains the most current information including lodging, abstract submission, maps, schedule, etc. Anyone interested in participating should contact the organizers as soon as possible by sending an email to: best at math.boisestate.edu.

We are pleased to announce our sixteenth annual BEST conference. There will be four talks by invited speakers:
Andres Caicedo (Caltech)
Tim Carlson (Ohio State University)
Marcia Groszek (Dartmouth College)
Peter Komjath (Eotvos University)

The conference webpage at http://math.boisestate.edu/~best/best16/ contains the most current information including lodging, abstract submission, maps, schedule, etc. Anyone interested in participating should contact the organizers as soon as possible by sending an email to: best at math.boisestate.edu.

The general philosophical theme of this meeting will be that of why and how philosophers and historians of mathematics need each other. This takes for granted the thesis, ventilated by Lakatos, that they do so. One is here referring, of course, to his famous paraphrase of Kantian dictum: "The history of mathematics, lacking the guidance of philosophy, has become blind, while the philosophy of mathematics, turning its back on the most intruiging phenomena in the history of mathematics, has become empty".

Any serious attempt at remedying this, and thus approaching the history and philosophy of mathematics, will either have to "bring to" philosophers the historian's expertise of conducting meticulous diachronical case-studies, or else "bring to" historians the philosopher's concern with epistemological depth; preferably both. Moreover, a focus on the historical dimension of mathematical practices is not to the exclusion of contemporary themes. To the contrary: Lakatos's point pertains to the historicity of mathematical knowledge, past and present.

For more and detailed information, visit http://www.vub.ac.be/CLWF/PMP2007/.

We are pleased to announce our sixteenth annual BEST conference. There will be four talks by invited speakers:
Andres Caicedo (Caltech)
Tim Carlson (Ohio State University)
Marcia Groszek (Dartmouth College)
Peter Komjath (Eotvos University)

The conference webpage at http://math.boisestate.edu/~best/best16/ contains the most current information including lodging, abstract submission, maps, schedule, etc. Anyone interested in participating should contact the organizers as soon as possible by sending an email to: best at math.boisestate.edu.

The general philosophical theme of this meeting will be that of why and how philosophers and historians of mathematics need each other. This takes for granted the thesis, ventilated by Lakatos, that they do so. One is here referring, of course, to his famous paraphrase of Kantian dictum: "The history of mathematics, lacking the guidance of philosophy, has become blind, while the philosophy of mathematics, turning its back on the most intruiging phenomena in the history of mathematics, has become empty".

Any serious attempt at remedying this, and thus approaching the history and philosophy of mathematics, will either have to "bring to" philosophers the historian's expertise of conducting meticulous diachronical case-studies, or else "bring to" historians the philosopher's concern with epistemological depth; preferably both. Moreover, a focus on the historical dimension of mathematical practices is not to the exclusion of contemporary themes. To the contrary: Lakatos's point pertains to the historicity of mathematical knowledge, past and present.

For more and detailed information, visit http://www.vub.ac.be/CLWF/PMP2007/.

The general philosophical theme of this meeting will be that of why and how philosophers and historians of mathematics need each other. This takes for granted the thesis, ventilated by Lakatos, that they do so. One is here referring, of course, to his famous paraphrase of Kantian dictum: "The history of mathematics, lacking the guidance of philosophy, has become blind, while the philosophy of mathematics, turning its back on the most intruiging phenomena in the history of mathematics, has become empty".

Any serious attempt at remedying this, and thus approaching the history and philosophy of mathematics, will either have to "bring to" philosophers the historian's expertise of conducting meticulous diachronical case-studies, or else "bring to" historians the philosopher's concern with epistemological depth; preferably both. Moreover, a focus on the historical dimension of mathematical practices is not to the exclusion of contemporary themes. To the contrary: Lakatos's point pertains to the historicity of mathematical knowledge, past and present.

For more and detailed information, visit http://www.vub.ac.be/CLWF/PMP2007/.

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/

The Panhellenic Logic Symposium (PLS) is a biannual scientific event established in 1997. It is open to researchers from Greece, as well as from other countries, who work on logic broadly conceived. The language of the Symposium is English.

For more information visit the site of the symposium: http://pls6.pre.uth.gr

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/

The Cognitive Science Center Amsterdam celebrates its first lustrum. Three CSCA VICI laureates will present findings that emerged from their research. Cyriel Pennartz is working in Cognitive Neuroscience, Richard Ridderinkhof in Cognitive Psychology and Rens Bod in Cognitive Systems. Together they cover the broad domain of the Brain and Cognitive Sciences.

Address: Keizersgracht 324, Amsterdam. For more information, including a program and abstracts, see http://www.csca.uva.nl/csca/object.cfm/. If you want to participate, please send an email to info-mcs at uva.nl.

UC'07 is the 6th Conference in the Series Unconventional Computation. The first venue of the International Conference on Unconventional Computation (formerly called Unconventional Models of Computation) was Auckland, New Zealand in 1998; subsequent sites of the conference were Brussels, Belgium in 2000, Kobe, Japan in 2002, Sevilla, Spain in 2005, and York, U.K. in 2006. By coming to Kingston in 2007, the International Conference on Unconventional Computation makes its debut in the Americas.

For more information, see http://www.cs.queensu.ca/uc07/.

The annual IEEE Congress on Evolutionary Computation is one of the leading events in the area of evolutionary computation. CEC 2007 will feature a world-class conference that aims to bring together researchers and practitioners in the field of evolutionary computation and computational intelligence from all around the globe. Technical exchanges within the research community will encompass keynote speeches, special sessions, tutorial workshops, panel discussions as well as poster presentations.

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

This event is the second in a series of events whose objective is to gather logicians from all orientations (philosophy, mathematics, computer science, linguistics, artificial intelligence etc) - people not focusing only on some specific systems of logic or some particular problems, but inquiring the fundamental concepts of logic. There will be a four days school with about 20 tutorials followed by a 3 days congress. Among the participants there will be Walter Carnielli, Hartry Field, Valentin Goranko, Vincent Hendricks, Wilfrid Hodges, Istvan Németi, Gabriel Sandu, Stan Surma, Heinrich Wansing and many others.

For more information, see http://www.uni-log.org/

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/