This international conference is the third in the series Algebraic and Topological methods in Non-Classical Logics (TANCL). The topics covered by TANCL'07 lie within a well-established and active area of mathematical logic. It is hoped to attract to the meeting established researchers and also postdoctoral and graduate students, from the UK and overseas.

The programme will focus on three interconnecting mathematical themes central to the study of non-classical logics and their applications: algebraic, categorical, and topological methods. Three more specialized satellite workshops are planned (see below).

A conference homepage is being set up at http://www.maths.ox.ac.uk/notices/events/special/tancl07/. In the meantime, expression of interest by potential participants is welcomed; please email tancl07 at maths.ox.ac.uk

There are a plethora of views as to the relationship between probability and logic and a panoply of proposals for combining the two. In particular, probabilistic logics offer formal combinations of probability and logic - often, however, at the expense of perspicuity and tractability. The question arises as to whether probabilistic networks might be used to render probabilistic logics more comprehensible and computationally feasible. In this workshop we aim to bring researchers from a variety of disciplines together to assess the prospects of applying probabilistic networks to probabilistic logics, and more generally to elucidate the relationship between probability and logic.

For more information, see http://www.kent.ac.uk/secl/philosophy/jw/2007/progic/

Probabilistic methods are increasingly becoming an important tool in a variety of disciplines. These include computer science (probabilistic computation and automata, randomness), mathematics (probabilistic proofs), artificial intelligence (reasoning under uncertainty), epistemology (bayesian epistemology) and linguistics (probabilistic grammars). Of course, from the beginning, probabilistic and statistical methods have been heavily used in game theory and decision theory. Often separate to the discussion on applications of probabilistic methods is an important philosophical debate over the precise meaning of probabilistic and statistical statements. This debate often raises a number of issues crucial to understanding how to interpret results achieved using probabilistic methods.

We understand this conference as an interdisciplinary venue for researchers that use probabilistic and statistical methods in their respective fields and researchers that are concerned with the philosophical interpretation of probability and statistics to exchange ideas, approaches and techniques. Such a forum will facilitate discussions about the applicability of probabilistic methods and help ground foundational debates with concerns of practitioners of probabilistic methods.

For more information, see http://www.math.uni-bonn.de/people/fotfs/VI/

Probabilistic methods are increasingly becoming an important tool in a variety of disciplines. These include computer science (probabilistic computation and automata, randomness), mathematics (probabilistic proofs), artificial intelligence (reasoning under uncertainty), epistemology (bayesian epistemology) and linguistics (probabilistic grammars). Of course, from the beginning, probabilistic and statistical methods have been heavily used in game theory and decision theory. Often separate to the discussion on applications of probabilistic methods is an important philosophical debate over the precise meaning of probabilistic and statistical statements. This debate often raises a number of issues crucial to understanding how to interpret results achieved using probabilistic methods.

We understand this conference as an interdisciplinary venue for researchers that use probabilistic and statistical methods in their respective fields and researchers that are concerned with the philosophical interpretation of probability and statistics to exchange ideas, approaches and techniques. Such a forum will facilitate discussions about the applicability of probabilistic methods and help ground foundational debates with concerns of practitioners of probabilistic methods.

For more information, see http://www.math.uni-bonn.de/people/fotfs/VI/

Decidability, and especially complexity and tractability of logical theories is extremely important for a large number of applications. Although general logical formalisms (such as predicate logic or number theory) are undecidable, decidable theories or decidable fragments thereof (sometimes even with low complexity) often occur in mathematics, in program verification, in the verification of reactive, real time or hybrid systems, as well as in databases and ontologies. It is therefore important to identify such decidable fragments and design efficient decision procedures for them. It is equally important to have uniform methods (such as resolution, rewriting, tableaux, sequent calculi, ...) which can be tuned to provide algorithms with optimal complexity.

The goal of ADDCT is to bring together researchers interested in - identifying (fragments of) logical theories which are decidable, identifying fragments thereof which have low complexity, and analyzing possibilities of obtaining optimal complexity results with uniform tools;
- analyzing decidability in combinations of theories and possibilities of combining decision procedures;
- efficient implementations for decidable fragments;
- application domains where decidability resp. tractability are crucial.

For more information, see http://www.mpi-inf.mpg.de/~sofronie/addct07.html or contact Viorica Sofronie-Stokkermans at sofronie at mpi-inf.mpg.de.

Probabilistic methods are increasingly becoming an important tool in a variety of disciplines. These include computer science (probabilistic computation and automata, randomness), mathematics (probabilistic proofs), artificial intelligence (reasoning under uncertainty), epistemology (bayesian epistemology) and linguistics (probabilistic grammars). Of course, from the beginning, probabilistic and statistical methods have been heavily used in game theory and decision theory. Often separate to the discussion on applications of probabilistic methods is an important philosophical debate over the precise meaning of probabilistic and statistical statements. This debate often raises a number of issues crucial to understanding how to interpret results achieved using probabilistic methods.

We understand this conference as an interdisciplinary venue for researchers that use probabilistic and statistical methods in their respective fields and researchers that are concerned with the philosophical interpretation of probability and statistics to exchange ideas, approaches and techniques. Such a forum will facilitate discussions about the applicability of probabilistic methods and help ground foundational debates with concerns of practitioners of probabilistic methods.

For more information, see http://www.math.uni-bonn.de/people/fotfs/VI/

The Workshop on Game theory in Communication networks (GameComm) is a one-day event held in conjunction with the Second International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS'07 <http://www.valuetools.org/>).

Game theoretic approaches have been recently used to gain an understanding of the behavior of various systems in communication networks. Specifically, game theoretic models have helped understand Internet pricing, flow and congestion control, and routing. Application of game theory to communication networks has brought together researchers from a variety of disciplines, such as computer science, queueing, and optimal control.

This workshop is aimed at bringing together researchers, who are applying game theory to analyzing, designing, and assessing the performance of networks. The objective is to generate discussion of best practices in modeling, as well as limitations of game theory as a performance assessment and design tool for networks. Both the application of game theory to networking problems and the development of new game-theoretic methodologies that can be applied in that context are of interest.

For more information, see http://www.game-comm.org/

Probabilistic methods are increasingly becoming an important tool in a variety of disciplines. These include computer science (probabilistic computation and automata, randomness), mathematics (probabilistic proofs), artificial intelligence (reasoning under uncertainty), epistemology (bayesian epistemology) and linguistics (probabilistic grammars). Of course, from the beginning, probabilistic and statistical methods have been heavily used in game theory and decision theory. Often separate to the discussion on applications of probabilistic methods is an important philosophical debate over the precise meaning of probabilistic and statistical statements. This debate often raises a number of issues crucial to understanding how to interpret results achieved using probabilistic methods.

We understand this conference as an interdisciplinary venue for researchers that use probabilistic and statistical methods in their respective fields and researchers that are concerned with the philosophical interpretation of probability and statistics to exchange ideas, approaches and techniques. Such a forum will facilitate discussions about the applicability of probabilistic methods and help ground foundational debates with concerns of practitioners of probabilistic methods.

For more information, see http://www.math.uni-bonn.de/people/fotfs/VI/

LFMTP'07 continues the International workshop on Logical Frameworks and Meta-languages (LFM) and the MERLIN workshop on MEchanized Reasoning about Languages with variable BIndingIN).

Logical frameworks and meta-languages form a common substrate for representing, implementing, and reasoning about a wide variety of deductive systems of interest in logic and computer science. Their design and implementation on the one hand and their applications in for example proof-carrying code have been the focus of considerable research over the last two decades. This workshop will bring together designers, implementors, and practitioners to discuss all aspects of logical frameworks.

For more information, see http://www.cs.mcgill.ca/~bpientka/lfmtp07

The workshop aims to bring together philosophers of science and leading researchers in the social sciences to discuss current methodological problems in these sciences. The focus of the workshop is on the interplay between, on the one hand, the use of probability theory in modeling human agents and, on the other, the use of statistical models in dealing with data about human agents.

There is no registration fee. However, participants have to register by 15 April 2007 by sending an email to MPSS2007 at gmail.com. For more information, see http://www.tilburguniversity.nl/faculties/humanities/tilps/MPSS/

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

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

Coalgebras have been expanding and reshaping the mathematical environment of modal logic: pivoting on the crucial notion of 'bisimulation invariance', a wide range of languages based on Set-endofunctors have been recognized as modal in nature and conversely, the coalgebraic nature of modal logic is clearly recognizable by its model theory.

This workshop aims at giving a snapshot of the advances in the resulting field of coalgebraic modal logic. The program also includes a tutorial on coalgebras for modal logicians.

For more information, see http://staff.science.uva.nl/~gfontain/logics_for_coalgebras/home.html or contact Allesandra Palmigiano at apalmigi at science.uva.nl or Gaelle Fontaine at gfontain at science.uva.nl. Early expressions of interests are very welcome: if you plan to attend the meeting, please contact Alessandra.

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

Coalgebras have been expanding and reshaping the mathematical environment of modal logic: pivoting on the crucial notion of 'bisimulation invariance', a wide range of languages based on Set-endofunctors have been recognized as modal in nature and conversely, the coalgebraic nature of modal logic is clearly recognizable by its model theory.

This workshop aims at giving a snapshot of the advances in the resulting field of coalgebraic modal logic. The program also includes a tutorial on coalgebras for modal logicians.

For more information, see http://staff.science.uva.nl/~gfontain/logics_for_coalgebras/home.html or contact Allesandra Palmigiano at apalmigi at science.uva.nl or Gaelle Fontaine at gfontain at science.uva.nl. Early expressions of interests are very welcome: if you plan to attend the meeting, please contact Alessandra.

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

One of the most striking developments in recent epistemological theorizing is the use of linguistic data and arguments to defend epistemological positions. Famous epistemological positions that are motivated and disputed in this way are contextualism, subject sensitive invariantism, and contrastivism. The overall aim of this conference is to bring together outstanding researchers working in this area of epistemology to both discuss the validity of the 'linguistic method' and bring this method into actual practice.

For more information, see http://www.abdn.ac.uk/philosophy/events/lingepist/ or contact Martijn Blaauw at m.blaauw at abdn.ac.uk.

One of the most striking developments in recent epistemological theorizing is the use of linguistic data and arguments to defend epistemological positions. Famous epistemological positions that are motivated and disputed in this way are contextualism, subject sensitive invariantism, and contrastivism. The overall aim of this conference is to bring together outstanding researchers working in this area of epistemology to both discuss the validity of the 'linguistic method' and bring this method into actual practice.

For more information, see http://www.abdn.ac.uk/philosophy/events/lingepist/ or contact Martijn Blaauw at m.blaauw at abdn.ac.uk.

Craig's interpolation theorem is part of the standard logic curriculum. This and other results of Craig's have had a profound significance in logic, philosophy of science, philosophy of logic, and computer science. Six internationally distinguished speakers will reflect on the importance and impact of Craig's work:

Solomon Feferman (Stanford University),
Michael Friedman (Stanford University),
Cesare Tinelli (University of Iowa),
Dana Scott (Carnegie Mellon University),
Jouko Väänänen (University of Amsterdam and University of Helsinki),
Johan van Benthem (University of Amsterdam and Stanford University).

Further information can be found at http://philosophy.berkeley.edu/events/detail/275 .

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/

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/

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/

The AAMAS conference series was initiated in 2002 as a merger of three highly respected individual conferences: the International Conference on Autonomous Agents, the International Workshop on Agent Theories, Architectures, and Languages, and the International Conference on Multi-Agent Systems. The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems.

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

The aim of this event is to provide an opportunity for researchers with a broad range of interests in formal methods to discuss recent developments in this field.

For more information, see http://www.sbmf2007.ufop.br/

This Studia Logica International Conference will highlight significant recent developments in many valued-logics as well as their interaction with cognition. The conference seeks to bring together researchers working in the aforementioned areas, promote a greater degree of communication and interaction among the featured research communities, and act as a catalyst for new directions of research.

For more information, see http://logic.sysu.edu.cn/information/TrendsInLogic.htm or http://www.ifispan.waw.pl/studialogica/TrendsV.html.

Why not spend a week in August in bustling Beijing, listening to and meeting top scholars in logic, methodology and philosophy of science? The congress fee includes a reception, a farewell dinner, and a tour to the Great Wall.

The congress is held for the first time in Asia, organized by the International Union for History and Philosophy of Science, Division of Logic, Methodology and Philosophy of Science (IUHPS/DLMPS), and Tsinghua University, Beijing. The congress features plenary speakers, invited speakers in 16 sections, a number of special symposia, affiliated meetings, and contributed papers in each section.

Registration deadline is May 15. For more information, see http://www.clmps2007.org or send email to lmps2007 at tsinghua.edu.cn.

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/

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/

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/

The AAMAS conference series was initiated in 2002 as a merger of three highly respected individual conferences: the International Conference on Autonomous Agents, the International Workshop on Agent Theories, Architectures, and Languages, and the International Conference on Multi-Agent Systems. The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems.

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

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/

The AAMAS conference series was initiated in 2002 as a merger of three highly respected individual conferences: the International Conference on Autonomous Agents, the International Workshop on Agent Theories, Architectures, and Languages, and the International Conference on Multi-Agent Systems. The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems.

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

The AAMAS conference series was initiated in 2002 as a merger of three highly respected individual conferences: the International Conference on Autonomous Agents, the International Workshop on Agent Theories, Architectures, and Languages, and the International Conference on Multi-Agent Systems. The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems.

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

The AAMAS conference series was initiated in 2002 as a merger of three highly respected individual conferences: the International Conference on Autonomous Agents, the International Workshop on Agent Theories, Architectures, and Languages, and the International Conference on Multi-Agent Systems. The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems.

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

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

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

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

The Seventh International Tbilisi Symposium on Language, Logic and Computation will be held on 1-5 October 2007 in the vicinity of Tbilisi, the capital of Georgia. The symposium is organised by the Centre for Language, Logic and Speech at Tbilisi State University, in conjunction with the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam.

The symposium will feature three invited tutorials as well as several invited talks. Furthermore, up to 30 contributed papers can be accepted for presentation. Anybody who has attended one of the previous editions of this event can confirm that these symposia constitute an unforgettable experience.

The event is co-located with the Third Vienna-Tbilisi Summer School in Logic and Languages, 24-28 September 2007.

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

The 4th Annual Conference on Theory and Applications of Models of Computation (TAMC07) will be held in Shanghai, China, May 22 to 25, 2007. Three previous annual meetings were held in 2004, 2005 and 2006, with enthusiastic participation from researchers all around the world. The three main themes of the conference TAMC07 will continue to be Computability, Complexity, and Algorithms. It aims to bring together researchers with an interest in theoretical computer science, algorithmic mathematics, and applications to the physical sciences.

For more information, see http://www.tamc2007.fudan.edu.cn/

The 4th Annual Conference on Theory and Applications of Models of Computation (TAMC07) will be held in Shanghai, China, May 22 to 25, 2007. Three previous annual meetings were held in 2004, 2005 and 2006, with enthusiastic participation from researchers all around the world. The three main themes of the conference TAMC07 will continue to be Computability, Complexity, and Algorithms. It aims to bring together researchers with an interest in theoretical computer science, algorithmic mathematics, and applications to the physical sciences.

For more information, see http://www.tamc2007.fudan.edu.cn/

The purpose of the conference is the presentation of empirical, theoretical, and analytical work from all areas of interest in cognitive science, such as artificial intelligence, education, linguistics, neuroscience, philosophy, psychology and anthropology. The focus is on interdisciplinary work that is either of interest for more than one of the mentioned research areas or integrates research methods from different fields. Furthermore, applications of cognitive science research in such domains as human-computer interaction, education, knowledge management, or engineering are equally welcome.

For more information, see http://conferences.phs.uoa.gr/EuroCogSci07/

The 4th Annual Conference on Theory and Applications of Models of Computation (TAMC07) will be held in Shanghai, China, May 22 to 25, 2007. Three previous annual meetings were held in 2004, 2005 and 2006, with enthusiastic participation from researchers all around the world. The three main themes of the conference TAMC07 will continue to be Computability, Complexity, and Algorithms. It aims to bring together researchers with an interest in theoretical computer science, algorithmic mathematics, and applications to the physical sciences.

For more information, see http://www.tamc2007.fudan.edu.cn/

The purpose of the conference is the presentation of empirical, theoretical, and analytical work from all areas of interest in cognitive science, such as artificial intelligence, education, linguistics, neuroscience, philosophy, psychology and anthropology. The focus is on interdisciplinary work that is either of interest for more than one of the mentioned research areas or integrates research methods from different fields. Furthermore, applications of cognitive science research in such domains as human-computer interaction, education, knowledge management, or engineering are equally welcome.

For more information, see http://conferences.phs.uoa.gr/EuroCogSci07/

The 4th Annual Conference on Theory and Applications of Models of Computation (TAMC07) will be held in Shanghai, China, May 22 to 25, 2007. Three previous annual meetings were held in 2004, 2005 and 2006, with enthusiastic participation from researchers all around the world. The three main themes of the conference TAMC07 will continue to be Computability, Complexity, and Algorithms. It aims to bring together researchers with an interest in theoretical computer science, algorithmic mathematics, and applications to the physical sciences.

For more information, see http://www.tamc2007.fudan.edu.cn/

The purpose of the conference is the presentation of empirical, theoretical, and analytical work from all areas of interest in cognitive science, such as artificial intelligence, education, linguistics, neuroscience, philosophy, psychology and anthropology. The focus is on interdisciplinary work that is either of interest for more than one of the mentioned research areas or integrates research methods from different fields. Furthermore, applications of cognitive science research in such domains as human-computer interaction, education, knowledge management, or engineering are equally welcome.

For more information, see http://conferences.phs.uoa.gr/EuroCogSci07/

The purpose of the conference is the presentation of empirical, theoretical, and analytical work from all areas of interest in cognitive science, such as artificial intelligence, education, linguistics, neuroscience, philosophy, psychology and anthropology. The focus is on interdisciplinary work that is either of interest for more than one of the mentioned research areas or integrates research methods from different fields. Furthermore, applications of cognitive science research in such domains as human-computer interaction, education, knowledge management, or engineering are equally welcome.

For more information, see http://conferences.phs.uoa.gr/EuroCogSci07/

The purpose of the conference is the presentation of empirical, theoretical, and analytical work from all areas of interest in cognitive science, such as artificial intelligence, education, linguistics, neuroscience, philosophy, psychology and anthropology. The focus is on interdisciplinary work that is either of interest for more than one of the mentioned research areas or integrates research methods from different fields. Furthermore, applications of cognitive science research in such domains as human-computer interaction, education, knowledge management, or engineering are equally welcome.

For more information, see http://conferences.phs.uoa.gr/EuroCogSci07/

RIAO 2007 aims to present recent, substantial, original and unpublished research that has been validated to the level of the creation of a functioning prototype. We are interested in large-scale solutions to the problem of accessing the semantic content found in unstructured text, images, video and audio.

For more information, see http://www.riao.org/index_eng.php

RIAO 2007 aims to present recent, substantial, original and unpublished research that has been validated to the level of the creation of a functioning prototype. We are interested in large-scale solutions to the problem of accessing the semantic content found in unstructured text, images, video and audio.

For more information, see http://www.riao.org/index_eng.php