Theoretical Computer Science is broadly divided into disciplines dealing with logic, semantics and formal methods on the one hand, and algorithmics and computational complexity on the other. The Newton Institute Semester Programme will focus on active areas of research that cut across this divide, dealing with algorithmic and complexity aspects of logic as well as logical methods in complexity.

Satellite workshops include 'Workshop on Finite and Algorithmic Model Theory', 'Logic and Databases', 'Mathematics of Constraint Satisfaction', 'New Directions in Proof Complexity', 'Constaints and Verification' and 'Games and Verification'.

For more information, see here or http://www.newton.cam.ac.uk/programmes/LAA/

It is common wisdom that the still growing power of digital data processing greatly enhances the wealth of human knowledge and will continue to do so. A precondition for this is, however, that knowledge is encoded and represented in a computer-accessible manner, such that it can be algorithmically processed. This requires, in turn, the use of appropriate formal structures for knowledge representation and knowledge processing. Such structures, called `Knowledge Structures', will be the topic of this year's ICCL summer school.

Deadline for registration: 18 March 2006. For more information, an online registration form and a preliminary program, see http://www.computational-logic.org/iccl-ss-2006.

For more information, see http://www.univ-nancy2.fr/poincare/colloques/AR06/epresentation.htm

CiE 2006 is the second of a new conference series on Computability Theory and related topics which started in Amsterdam in 2005. CiE 2006 will focus on (but not be limited to) logical approaches to computational barriers:
- practical and feasible barriers, e.g., centred around the P vs. NP problem;
- computable barriers connected to models of computers and programming languages;
- hypercomputable barriers related to physical systems.

For more information, see here or http://www.cs.swansea.ac.uk/cie06/

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.

For this year's meeting, there will be a particular focus on effectively closed sets and on algorithmic randomness.

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

Theoretical Computer Science is broadly divided into disciplines dealing with logic, semantics and formal methods on the one hand, and algorithmics and computational complexity on the other. The Newton Institute Semester Programme will focus on active areas of research that cut across this divide, dealing with algorithmic and complexity aspects of logic as well as logical methods in complexity.

Satellite workshops include 'Workshop on Finite and Algorithmic Model Theory', 'Logic and Databases', 'Mathematics of Constraint Satisfaction', 'New Directions in Proof Complexity', 'Constaints and Verification' and 'Games and Verification'.

For more information, see here or http://www.newton.cam.ac.uk/programmes/LAA/

It is common wisdom that the still growing power of digital data processing greatly enhances the wealth of human knowledge and will continue to do so. A precondition for this is, however, that knowledge is encoded and represented in a computer-accessible manner, such that it can be algorithmically processed. This requires, in turn, the use of appropriate formal structures for knowledge representation and knowledge processing. Such structures, called `Knowledge Structures', will be the topic of this year's ICCL summer school.

Deadline for registration: 18 March 2006. For more information, an online registration form and a preliminary program, see http://www.computational-logic.org/iccl-ss-2006.

CiE 2006 is the second of a new conference series on Computability Theory and related topics which started in Amsterdam in 2005. CiE 2006 will focus on (but not be limited to) logical approaches to computational barriers:
- practical and feasible barriers, e.g., centred around the P vs. NP problem;
- computable barriers connected to models of computers and programming languages;
- hypercomputable barriers related to physical systems.

For more information, see here or http://www.cs.swansea.ac.uk/cie06/

Theoretical Computer Science is broadly divided into disciplines dealing with logic, semantics and formal methods on the one hand, and algorithmics and computational complexity on the other. The Newton Institute Semester Programme will focus on active areas of research that cut across this divide, dealing with algorithmic and complexity aspects of logic as well as logical methods in complexity.

Satellite workshops include 'Workshop on Finite and Algorithmic Model Theory', 'Logic and Databases', 'Mathematics of Constraint Satisfaction', 'New Directions in Proof Complexity', 'Constaints and Verification' and 'Games and Verification'.

For more information, see here or http://www.newton.cam.ac.uk/programmes/LAA/

It is common wisdom that the still growing power of digital data processing greatly enhances the wealth of human knowledge and will continue to do so. A precondition for this is, however, that knowledge is encoded and represented in a computer-accessible manner, such that it can be algorithmically processed. This requires, in turn, the use of appropriate formal structures for knowledge representation and knowledge processing. Such structures, called `Knowledge Structures', will be the topic of this year's ICCL summer school.

Deadline for registration: 18 March 2006. For more information, an online registration form and a preliminary program, see http://www.computational-logic.org/iccl-ss-2006.

CiE 2006 is the second of a new conference series on Computability Theory and related topics which started in Amsterdam in 2005. CiE 2006 will focus on (but not be limited to) logical approaches to computational barriers:
- practical and feasible barriers, e.g., centred around the P vs. NP problem;
- computable barriers connected to models of computers and programming languages;
- hypercomputable barriers related to physical systems.

For more information, see here or http://www.cs.swansea.ac.uk/cie06/

The MPC conferences aim to promote the development of mathematical principles and techniques that are demonstrably useful and usable in the process of constructing computer programs. Topics of interest range from algorithmics to support for program construction in programming languages and systems.

MPC'06 is colocated with AMAST'06. For more information,see http://cs.ioc.ee/mpc-amast06/mpc/ or the joint MPC/AMAST'06 page at http://cs.ioc.ee/mpc-amast06/.

The Colloquia on Structural Information and Communication Complexity (SIROCCO) focus on the relationship between computing and communication, i.e., the study of those factors that are significant for the computability and the communication complexity of problems and on the interplay between structure, knowledge and complexity. The Colloquia provide an opportunity to bring together specialists interested in the fundamental principles underlying all computing through communication.

SIROCCO prides itself on being a lively venue, which encourages the emergence of new research areas (related to distributed computing in a broad sense) and the dissemination of original ideas. This is achieved by dedicating ample time for informal discussions and open problem sessions in addition to regular conference activities.

For more information, see http://sirocco06.csc.liv.ac.uk/

Games are pervasive in the theory of computation. Traditionally, they have been used as tools for understanding definability in logic. More generally, games are useful, as alternating automata, for solving a variety of algorithmic questions about finite and infinite state systems (such as reachability and liveness properties). A third, and much more recent, use of games is the semantics of programming languages, where the meaning of a program is defined in terms of winning strategies. This event will bring together researchers in the several different areas in the theory of computation in which games play an important role.

This workshop is the first annual meeting of GAMES, a research training network funded by the European Community, and is part of the Spring 2006 program on Logic and Algorithms at the Isaac Newton Institute for Mathematical Sciences.

For more information, an online registration form and a preliminary program, see http://www.newton.cam.ac.uk/programmes/LAA/laaw06.html

Theoretical Computer Science is broadly divided into disciplines dealing with logic, semantics and formal methods on the one hand, and algorithmics and computational complexity on the other. The Newton Institute Semester Programme will focus on active areas of research that cut across this divide, dealing with algorithmic and complexity aspects of logic as well as logical methods in complexity.

Satellite workshops include 'Workshop on Finite and Algorithmic Model Theory', 'Logic and Databases', 'Mathematics of Constraint Satisfaction', 'New Directions in Proof Complexity', 'Constaints and Verification' and 'Games and Verification'.

For more information, see here or http://www.newton.cam.ac.uk/programmes/LAA/

It is common wisdom that the still growing power of digital data processing greatly enhances the wealth of human knowledge and will continue to do so. A precondition for this is, however, that knowledge is encoded and represented in a computer-accessible manner, such that it can be algorithmically processed. This requires, in turn, the use of appropriate formal structures for knowledge representation and knowledge processing. Such structures, called `Knowledge Structures', will be the topic of this year's ICCL summer school.

Deadline for registration: 18 March 2006. For more information, an online registration form and a preliminary program, see http://www.computational-logic.org/iccl-ss-2006.

CiE 2006 is the second of a new conference series on Computability Theory and related topics which started in Amsterdam in 2005. CiE 2006 will focus on (but not be limited to) logical approaches to computational barriers:
- practical and feasible barriers, e.g., centred around the P vs. NP problem;
- computable barriers connected to models of computers and programming languages;
- hypercomputable barriers related to physical systems.

For more information, see here or http://www.cs.swansea.ac.uk/cie06/

The MPC conferences aim to promote the development of mathematical principles and techniques that are demonstrably useful and usable in the process of constructing computer programs. Topics of interest range from algorithmics to support for program construction in programming languages and systems.

MPC'06 is colocated with AMAST'06. For more information,see http://cs.ioc.ee/mpc-amast06/mpc/ or the joint MPC/AMAST'06 page at http://cs.ioc.ee/mpc-amast06/.

The Colloquia on Structural Information and Communication Complexity (SIROCCO) focus on the relationship between computing and communication, i.e., the study of those factors that are significant for the computability and the communication complexity of problems and on the interplay between structure, knowledge and complexity. The Colloquia provide an opportunity to bring together specialists interested in the fundamental principles underlying all computing through communication.

SIROCCO prides itself on being a lively venue, which encourages the emergence of new research areas (related to distributed computing in a broad sense) and the dissemination of original ideas. This is achieved by dedicating ample time for informal discussions and open problem sessions in addition to regular conference activities.

For more information, see http://sirocco06.csc.liv.ac.uk/

Games are pervasive in the theory of computation. Traditionally, they have been used as tools for understanding definability in logic. More generally, games are useful, as alternating automata, for solving a variety of algorithmic questions about finite and infinite state systems (such as reachability and liveness properties). A third, and much more recent, use of games is the semantics of programming languages, where the meaning of a program is defined in terms of winning strategies. This event will bring together researchers in the several different areas in the theory of computation in which games play an important role.

This workshop is the first annual meeting of GAMES, a research training network funded by the European Community, and is part of the Spring 2006 program on Logic and Algorithms at the Isaac Newton Institute for Mathematical Sciences.

For more information, an online registration form and a preliminary program, see http://www.newton.cam.ac.uk/programmes/LAA/laaw06.html

Theoretical Computer Science is broadly divided into disciplines dealing with logic, semantics and formal methods on the one hand, and algorithmics and computational complexity on the other. The Newton Institute Semester Programme will focus on active areas of research that cut across this divide, dealing with algorithmic and complexity aspects of logic as well as logical methods in complexity.

Satellite workshops include 'Workshop on Finite and Algorithmic Model Theory', 'Logic and Databases', 'Mathematics of Constraint Satisfaction', 'New Directions in Proof Complexity', 'Constaints and Verification' and 'Games and Verification'.

For more information, see here or http://www.newton.cam.ac.uk/programmes/LAA/

It is common wisdom that the still growing power of digital data processing greatly enhances the wealth of human knowledge and will continue to do so. A precondition for this is, however, that knowledge is encoded and represented in a computer-accessible manner, such that it can be algorithmically processed. This requires, in turn, the use of appropriate formal structures for knowledge representation and knowledge processing. Such structures, called `Knowledge Structures', will be the topic of this year's ICCL summer school.

Deadline for registration: 18 March 2006. For more information, an online registration form and a preliminary program, see http://www.computational-logic.org/iccl-ss-2006.

CiE 2006 is the second of a new conference series on Computability Theory and related topics which started in Amsterdam in 2005. CiE 2006 will focus on (but not be limited to) logical approaches to computational barriers:
- practical and feasible barriers, e.g., centred around the P vs. NP problem;
- computable barriers connected to models of computers and programming languages;
- hypercomputable barriers related to physical systems.

For more information, see here or http://www.cs.swansea.ac.uk/cie06/

The MPC conferences aim to promote the development of mathematical principles and techniques that are demonstrably useful and usable in the process of constructing computer programs. Topics of interest range from algorithmics to support for program construction in programming languages and systems.

MPC'06 is colocated with AMAST'06. For more information,see http://cs.ioc.ee/mpc-amast06/mpc/ or the joint MPC/AMAST'06 page at http://cs.ioc.ee/mpc-amast06/.

The Colloquia on Structural Information and Communication Complexity (SIROCCO) focus on the relationship between computing and communication, i.e., the study of those factors that are significant for the computability and the communication complexity of problems and on the interplay between structure, knowledge and complexity. The Colloquia provide an opportunity to bring together specialists interested in the fundamental principles underlying all computing through communication.

SIROCCO prides itself on being a lively venue, which encourages the emergence of new research areas (related to distributed computing in a broad sense) and the dissemination of original ideas. This is achieved by dedicating ample time for informal discussions and open problem sessions in addition to regular conference activities.

For more information, see http://sirocco06.csc.liv.ac.uk/

Games are pervasive in the theory of computation. Traditionally, they have been used as tools for understanding definability in logic. More generally, games are useful, as alternating automata, for solving a variety of algorithmic questions about finite and infinite state systems (such as reachability and liveness properties). A third, and much more recent, use of games is the semantics of programming languages, where the meaning of a program is defined in terms of winning strategies. This event will bring together researchers in the several different areas in the theory of computation in which games play an important role.

This workshop is the first annual meeting of GAMES, a research training network funded by the European Community, and is part of the Spring 2006 program on Logic and Algorithms at the Isaac Newton Institute for Mathematical Sciences.

For more information, an online registration form and a preliminary program, see http://www.newton.cam.ac.uk/programmes/LAA/laaw06.html

Theoretical Computer Science is broadly divided into disciplines dealing with logic, semantics and formal methods on the one hand, and algorithmics and computational complexity on the other. The Newton Institute Semester Programme will focus on active areas of research that cut across this divide, dealing with algorithmic and complexity aspects of logic as well as logical methods in complexity.

Satellite workshops include 'Workshop on Finite and Algorithmic Model Theory', 'Logic and Databases', 'Mathematics of Constraint Satisfaction', 'New Directions in Proof Complexity', 'Constaints and Verification' and 'Games and Verification'.

For more information, see here or http://www.newton.cam.ac.uk/programmes/LAA/

It is common wisdom that the still growing power of digital data processing greatly enhances the wealth of human knowledge and will continue to do so. A precondition for this is, however, that knowledge is encoded and represented in a computer-accessible manner, such that it can be algorithmically processed. This requires, in turn, the use of appropriate formal structures for knowledge representation and knowledge processing. Such structures, called `Knowledge Structures', will be the topic of this year's ICCL summer school.

Deadline for registration: 18 March 2006. For more information, an online registration form and a preliminary program, see http://www.computational-logic.org/iccl-ss-2006.

Games are pervasive in the theory of computation. Traditionally, they have been used as tools for understanding definability in logic. More generally, games are useful, as alternating automata, for solving a variety of algorithmic questions about finite and infinite state systems (such as reachability and liveness properties). A third, and much more recent, use of games is the semantics of programming languages, where the meaning of a program is defined in terms of winning strategies. This event will bring together researchers in the several different areas in the theory of computation in which games play an important role.

This workshop is the first annual meeting of GAMES, a research training network funded by the European Community, and is part of the Spring 2006 program on Logic and Algorithms at the Isaac Newton Institute for Mathematical Sciences.

For more information, an online registration form and a preliminary program, see http://www.newton.cam.ac.uk/programmes/LAA/laaw06.html

The Scandinavian Workshop on Algorithm Theory (SWAT) is a biennial international conference, which alternates with the Workshop on Algorithms and Data Structures (WADS), intended as a forum for researchers in the area of design and analysis of algorithms and data structures. Since 1988 SWAT has been held in the five Nordic countries, but this year's conference - the 10th in the series - will be held in the neighboring Baltic region, which has traditionally had a strong connection to the Nordic countries.

Early registration deadline is April 30. For more information and an online registratino form, see http://www.lumii.lv/swat/

Theoretical Computer Science is broadly divided into disciplines dealing with logic, semantics and formal methods on the one hand, and algorithmics and computational complexity on the other. The Newton Institute Semester Programme will focus on active areas of research that cut across this divide, dealing with algorithmic and complexity aspects of logic as well as logical methods in complexity.

Satellite workshops include 'Workshop on Finite and Algorithmic Model Theory', 'Logic and Databases', 'Mathematics of Constraint Satisfaction', 'New Directions in Proof Complexity', 'Constaints and Verification' and 'Games and Verification'.

For more information, see here or http://www.newton.cam.ac.uk/programmes/LAA/

It is common wisdom that the still growing power of digital data processing greatly enhances the wealth of human knowledge and will continue to do so. A precondition for this is, however, that knowledge is encoded and represented in a computer-accessible manner, such that it can be algorithmically processed. This requires, in turn, the use of appropriate formal structures for knowledge representation and knowledge processing. Such structures, called `Knowledge Structures', will be the topic of this year's ICCL summer school.

Deadline for registration: 18 March 2006. For more information, an online registration form and a preliminary program, see http://www.computational-logic.org/iccl-ss-2006.

Games are pervasive in the theory of computation. Traditionally, they have been used as tools for understanding definability in logic. More generally, games are useful, as alternating automata, for solving a variety of algorithmic questions about finite and infinite state systems (such as reachability and liveness properties). A third, and much more recent, use of games is the semantics of programming languages, where the meaning of a program is defined in terms of winning strategies. This event will bring together researchers in the several different areas in the theory of computation in which games play an important role.

This workshop is the first annual meeting of GAMES, a research training network funded by the European Community, and is part of the Spring 2006 program on Logic and Algorithms at the Isaac Newton Institute for Mathematical Sciences.

For more information, an online registration form and a preliminary program, see http://www.newton.cam.ac.uk/programmes/LAA/laaw06.html

The Scandinavian Workshop on Algorithm Theory (SWAT) is a biennial international conference, which alternates with the Workshop on Algorithms and Data Structures (WADS), intended as a forum for researchers in the area of design and analysis of algorithms and data structures. Since 1988 SWAT has been held in the five Nordic countries, but this year's conference - the 10th in the series - will be held in the neighboring Baltic region, which has traditionally had a strong connection to the Nordic countries.

Early registration deadline is April 30. For more information and an online registratino form, see http://www.lumii.lv/swat/

It is common wisdom that the still growing power of digital data processing greatly enhances the wealth of human knowledge and will continue to do so. A precondition for this is, however, that knowledge is encoded and represented in a computer-accessible manner, such that it can be algorithmically processed. This requires, in turn, the use of appropriate formal structures for knowledge representation and knowledge processing. Such structures, called `Knowledge Structures', will be the topic of this year's ICCL summer school.

Deadline for registration: 18 March 2006. For more information, an online registration form and a preliminary program, see http://www.computational-logic.org/iccl-ss-2006.

The Scandinavian Workshop on Algorithm Theory (SWAT) is a biennial international conference, which alternates with the Workshop on Algorithms and Data Structures (WADS), intended as a forum for researchers in the area of design and analysis of algorithms and data structures. Since 1988 SWAT has been held in the five Nordic countries, but this year's conference - the 10th in the series - will be held in the neighboring Baltic region, which has traditionally had a strong connection to the Nordic countries.

Early registration deadline is April 30. For more information and an online registratino form, see http://www.lumii.lv/swat/

The aim of the symposia on "Real Numbers and Computers" is to bring together specialists from various research areas, all concerned with problems related to computations based on real numbers. These computations may use any number system implemented by a software package or in hardware, including floating and fixed point, integers, rational or p-adic numbers, serial or on-line computations, continued fractions, fixed or multiple precision, interval and stochastic arithmetic.

For more information, see http://rnc7.loria.fr/

The 33rd International Colloquium on Automata, Languages and Programming, the main conference and annual meeting of the European Association for Theoretical Computer Science EATCS will take place from the 9th to the 16th of July 2006 in Venice, Italy.

ICALP 2006 will be colocated with the 8th ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming PPDP 2006.

For more information, see http://icalp06.dsi.unive.it/

The aim of the symposia on "Real Numbers and Computers" is to bring together specialists from various research areas, all concerned with problems related to computations based on real numbers. These computations may use any number system implemented by a software package or in hardware, including floating and fixed point, integers, rational or p-adic numbers, serial or on-line computations, continued fractions, fixed or multiple precision, interval and stochastic arithmetic.

For more information, see http://rnc7.loria.fr/

The 33rd International Colloquium on Automata, Languages and Programming, the main conference and annual meeting of the European Association for Theoretical Computer Science EATCS will take place from the 9th to the 16th of July 2006 in Venice, Italy.

ICALP 2006 will be colocated with the 8th ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming PPDP 2006.

For more information, see http://icalp06.dsi.unive.it/

The aim of the symposia on "Real Numbers and Computers" is to bring together specialists from various research areas, all concerned with problems related to computations based on real numbers. These computations may use any number system implemented by a software package or in hardware, including floating and fixed point, integers, rational or p-adic numbers, serial or on-line computations, continued fractions, fixed or multiple precision, interval and stochastic arithmetic.

For more information, see http://rnc7.loria.fr/

The 33rd International Colloquium on Automata, Languages and Programming, the main conference and annual meeting of the European Association for Theoretical Computer Science EATCS will take place from the 9th to the 16th of July 2006 in Venice, Italy.

ICALP 2006 will be colocated with the 8th ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming PPDP 2006.

For more information, see http://icalp06.dsi.unive.it/

The biennial DEON workshops are designed to promote cooperation among scholars across disciplines who are interested in deontic logic and its use in computer science. These workshops traditionally support research linking the formal-logical study of normative concepts and normative systems with computer science, artificial intelligence, philosophy, organisation theory and law. In addition to these general themes, DEON2006 will encourage a special focus on the topic "Artificial Normative Systems"

For more information see http://www.cs.uu.nl/deon2006/

The biennial DEON workshops are designed to promote cooperation among scholars across disciplines who are interested in deontic logic and its use in computer science. These workshops traditionally support research linking the formal-logical study of normative concepts and normative systems with computer science, artificial intelligence, philosophy, organisation theory and law. In addition to these general themes, DEON2006 will encourage a special focus on the topic "Artificial Normative Systems"

For more information, see http://www.cs.uu.nl/deon2006/

The 33rd International Colloquium on Automata, Languages and Programming, the main conference and annual meeting of the European Association for Theoretical Computer Science EATCS will take place from the 9th to the 16th of July 2006 in Venice, Italy.

ICALP 2006 will be colocated with the 8th ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming PPDP 2006.

For more information, see http://icalp06.dsi.unive.it/

The biennial DEON workshops are designed to promote cooperation among scholars across disciplines who are interested in deontic logic and its use in computer science. These workshops traditionally support research linking the formal-logical study of normative concepts and normative systems with computer science, artificial intelligence, philosophy, organisation theory and law. In addition to these general themes, DEON2006 will encourage a special focus on the topic "Artificial Normative Systems"

For more information see http://www.cs.uu.nl/deon2006/

The biennial DEON workshops are designed to promote cooperation among scholars across disciplines who are interested in deontic logic and its use in computer science. These workshops traditionally support research linking the formal-logical study of normative concepts and normative systems with computer science, artificial intelligence, philosophy, organisation theory and law. In addition to these general themes, DEON2006 will encourage a special focus on the topic "Artificial Normative Systems"

For more information, see http://www.cs.uu.nl/deon2006/

This is the seventh in a series of conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making.

The aim of the LOFT conferences is to promote exchange across different disciplines. Preference is given to papers which bring together the work and problems of several fields, such as game and decision theory, logic, computer science and artificial intelligence, philosophy, cognitive psychology, mathematics and mind sciences.

For more information see http://www.csc.liv.ac.uk/~wiebe/LOFT06/

The 33rd International Colloquium on Automata, Languages and Programming, the main conference and annual meeting of the European Association for Theoretical Computer Science EATCS will take place from the 9th to the 16th of July 2006 in Venice, Italy.

ICALP 2006 will be colocated with the 8th ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming PPDP 2006.

For more information, see http://icalp06.dsi.unive.it/

The biennial DEON workshops are designed to promote cooperation among scholars across disciplines who are interested in deontic logic and its use in computer science. These workshops traditionally support research linking the formal-logical study of normative concepts and normative systems with computer science, artificial intelligence, philosophy, organisation theory and law. In addition to these general themes, DEON2006 will encourage a special focus on the topic "Artificial Normative Systems"

For more information see http://www.cs.uu.nl/deon2006/

The biennial DEON workshops are designed to promote cooperation among scholars across disciplines who are interested in deontic logic and its use in computer science. These workshops traditionally support research linking the formal-logical study of normative concepts and normative systems with computer science, artificial intelligence, philosophy, organisation theory and law. In addition to these general themes, DEON2006 will encourage a special focus on the topic "Artificial Normative Systems"

For more information, see http://www.cs.uu.nl/deon2006/

This is the seventh in a series of conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making.

The aim of the LOFT conferences is to promote exchange across different disciplines. Preference is given to papers which bring together the work and problems of several fields, such as game and decision theory, logic, computer science and artificial intelligence, philosophy, cognitive psychology, mathematics and mind sciences.

For more information see http://www.csc.liv.ac.uk/~wiebe/LOFT06/

The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm.

LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress, so it is a real workshop in the sense that it is also intended to provide useful feedback to authors on their research. Formal proceedings are produced only after the conference, so that authors can incorporate this feedback in the published papers. This year, tool demonstrations are also solicited as a separate submission category. LOPSTR'06 is colocated with ICALP'06, PPDP'06 and CSWF'06.

For more information, see http://www.dsi.unive.it/lopstr2006/

The Institute of Modern Language and Communication Multimedia University will be organizing an International Seminar on "Multimedia Adventures in Languages Learning" . The seminar undertakes to explore beyond the traditional boundaries of teaching and learning of languages through a blend of various aspects of multimedia and technology.

The deadline for registration is 31 July 2006. Seats will only be confirmed upon receipt of payment.

For more information, see http://cmlc.mmu.edu.my/MAFL/, or contact Mr Mohd Yusri Bin Nordin (tel. 00603-8312-5762, fax 00603-8312-5535, email yusri at mmu.edu.my).

The annual Symposium on Principles of Programming Languages is a forum for the discussion of fundamental principles and important innovations in the design, definition, analysis, transformation, implementation and verification of programming languages, programming systems, and programming abstractions. Both experimental and theoretical papers are welcome.

For more information, see http://www.cse.ucsd.edu/popl/07/

FOMI aims to become an international forum where researchers in different disciplines and practitioners of various industry sectors meet to analyze and discuss issues related to methods, theories, research directions, tools and applications based on formal ontologies.

For more information, see http://www.loa-cnr.it/fomi

This is the seventh in a series of conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making.

The aim of the LOFT conferences is to promote exchange across different disciplines. Preference is given to papers which bring together the work and problems of several fields, such as game and decision theory, logic, computer science and artificial intelligence, philosophy, cognitive psychology, mathematics and mind sciences.

For more information see http://www.csc.liv.ac.uk/~wiebe/LOFT06/

CL&C'06 is the first of a new conference series on "Classical Logic and Computation". It intends to cover all work aiming to propose a programming language inspired by classical logic, and a semantics for it

For more information, see http://www.doc.ic.ac.uk/~svb/CLaC

This is the seventh in a series of conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making.

The aim of the LOFT conferences is to promote exchange across different disciplines. Preference is given to papers which bring together the work and problems of several fields, such as game and decision theory, logic, computer science and artificial intelligence, philosophy, cognitive psychology, mathematics and mind sciences.

For more information see http://www.csc.liv.ac.uk/~wiebe/LOFT06/

The International Conferences on Conceptual Structures (ICCS) has been held annually in Europe, Australia, or North America since 1993. The central focus is the formal representation and analysis of conceptual knowledge with research and business applications focusing on artificial intelligence, computational linguistics, and related areas of computer science.

For more information, see http://www.iccs-06.hum.aau.dk/

The International Conferences on Conceptual Structures (ICCS) has been held annually in Europe, Australia, or North America since 1993. The central focus is the formal representation and analysis of conceptual knowledge with research and business applications focusing on artificial intelligence, computational linguistics, and related areas of computer science.

For more information, see http://www.iccs-06.hum.aau.dk/

EASSS-2006 consists of a mixture of introductory and advanced courses delivered by internationally leading experts in the multiagent systems field, and it covers the full range of theoretical and practical aspects of multiagent systems.

For more information see http://www.esia.univ-savoie.fr/easss06

The International Conferences on Conceptual Structures (ICCS) has been held annually in Europe, Australia, or North America since 1993. The central focus is the formal representation and analysis of conceptual knowledge with research and business applications focusing on artificial intelligence, computational linguistics, and related areas of computer science.

For more information, see http://www.iccs-06.hum.aau.dk/

EASSS-2006 consists of a mixture of introductory and advanced courses delivered by internationally leading experts in the multiagent systems field, and it covers the full range of theoretical and practical aspects of multiagent systems.

For more information see http://www.esia.univ-savoie.fr/easss06

This is the thirteenth in a series of workshops to foster interdisciplinary research in pure and applied logic.

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

The International Conferences on Conceptual Structures (ICCS) has been held annually in Europe, Australia, or North America since 1993. The central focus is the formal representation and analysis of conceptual knowledge with research and business applications focusing on artificial intelligence, computational linguistics, and related areas of computer science.

For more information, see http://www.iccs-06.hum.aau.dk/

EASSS-2006 consists of a mixture of introductory and advanced courses delivered by internationally leading experts in the multiagent systems field, and it covers the full range of theoretical and practical aspects of multiagent systems.

For more information see http://www.esia.univ-savoie.fr/easss06

This is the thirteenth in a series of workshops to foster interdisciplinary research in pure and applied logic.

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

The International Conferences on Conceptual Structures (ICCS) has been held annually in Europe, Australia, or North America since 1993. The central focus is the formal representation and analysis of conceptual knowledge with research and business applications focusing on artificial intelligence, computational linguistics, and related areas of computer science.

For more information, see http://www.iccs-06.hum.aau.dk/

EASSS-2006 consists of a mixture of introductory and advanced courses delivered by internationally leading experts in the multiagent systems field, and it covers the full range of theoretical and practical aspects of multiagent systems.

For more information see http://www.esia.univ-savoie.fr/easss06

This is the thirteenth in a series of workshops to foster interdisciplinary research in pure and applied logic.

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

CCCT'06 is an International Conference that will bring together researchers, developers, practitioners, consultants and users of Computer, Communications and Control Technologies, with the aim to serve as a forum to present current and future work, solutions and problems in these fields, as well as in the relationships among them. Consequently, efforts will be done in order to promote and to foster the analogical thinking required by the Systems Approach for interdisciplinary cross-fertilization, "epistemic things" generation and "technical objects" production.

For more information, see http://www.info-cybernetics.org/ccct06/

The International Conferences on Conceptual Structures (ICCS) has been held annually in Europe, Australia, or North America since 1993. The central focus is the formal representation and analysis of conceptual knowledge with research and business applications focusing on artificial intelligence, computational linguistics, and related areas of computer science.

For more information, see http://www.iccs-06.hum.aau.dk/

EASSS-2006 consists of a mixture of introductory and advanced courses delivered by internationally leading experts in the multiagent systems field, and it covers the full range of theoretical and practical aspects of multiagent systems.

For more information see http://www.esia.univ-savoie.fr/easss06

This is the thirteenth in a series of workshops to foster interdisciplinary research in pure and applied logic.

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

CCCT'06 is an International Conference that will bring together researchers, developers, practitioners, consultants and users of Computer, Communications and Control Technologies, with the aim to serve as a forum to present current and future work, solutions and problems in these fields, as well as in the relationships among them. Consequently, efforts will be done in order to promote and to foster the analogical thinking required by the Systems Approach for interdisciplinary cross-fertilization, "epistemic things" generation and "technical objects" production.

For more information, see http://www.info-cybernetics.org/ccct06/

CCCT'06 is an International Conference that will bring together researchers, developers, practitioners, consultants and users of Computer, Communications and Control Technologies, with the aim to serve as a forum to present current and future work, solutions and problems in these fields, as well as in the relationships among them. Consequently, efforts will be done in order to promote and to foster the analogical thinking required by the Systems Approach for interdisciplinary cross-fertilization, "epistemic things" generation and "technical objects" production.

For more information, see http://www.info-cybernetics.org/ccct06/

CCCT'06 is an International Conference that will bring together researchers, developers, practitioners, consultants and users of Computer, Communications and Control Technologies, with the aim to serve as a forum to present current and future work, solutions and problems in these fields, as well as in the relationships among them. Consequently, efforts will be done in order to promote and to foster the analogical thinking required by the Systems Approach for interdisciplinary cross-fertilization, "epistemic things" generation and "technical objects" production.

For more information, see http://www.info-cybernetics.org/ccct06/

Mathematical Aspects of Computer and Information Sciences (MACIS) is a new series of conferences where foundational research on theoretical and practical problems of mathematics for computing and information processing may be presented and discussed. MACIS also addresses experimental and case studies, scientific and engineering computation, design and implementation of algorithms and software systems, and applications of mathematical methods and tools to outstanding and emerging problems in applied computer and information sciences.

For more information, see http://www.cc4cm.org/macis2006/

This Summer School is organized by the S2S² project and the Music Technology Group of the Pompeu Fabra University in Barcelona, with the goal to promote interdisciplinary education and research in the field of Sound and Music Computing. The School is aimed at graduate students working on their Master or PhD thesis, but it is open to any person carrying out research in this field.

The lectures are designed to be of interest to any graduate student or researcher in the field of Sound and Music Computing. The topics chosen for this year are Interface Design and Music Cognition; relevant topics in our research fields which have particular methodologies and research strategies. The lectures will present these particular methodologies and their application in Music related problems.

For more information, see http://www.iua.upf.es/mtg/sssmc2006/

Mathematical Aspects of Computer and Information Sciences (MACIS) is a new series of conferences where foundational research on theoretical and practical problems of mathematics for computing and information processing may be presented and discussed. MACIS also addresses experimental and case studies, scientific and engineering computation, design and implementation of algorithms and software systems, and applications of mathematical methods and tools to outstanding and emerging problems in applied computer and information sciences.

For more information, see http://www.cc4cm.org/macis2006/

This Summer School is organized by the S2S² project and the Music Technology Group of the Pompeu Fabra University in Barcelona, with the goal to promote interdisciplinary education and research in the field of Sound and Music Computing. The School is aimed at graduate students working on their Master or PhD thesis, but it is open to any person carrying out research in this field.

The lectures are designed to be of interest to any graduate student or researcher in the field of Sound and Music Computing. The topics chosen for this year are Interface Design and Music Cognition; relevant topics in our research fields which have particular methodologies and research strategies. The lectures will present these particular methodologies and their application in Music related problems.

For more information, see http://www.iua.upf.es/mtg/sssmc2006/

Mathematical Aspects of Computer and Information Sciences (MACIS) is a new series of conferences where foundational research on theoretical and practical problems of mathematics for computing and information processing may be presented and discussed. MACIS also addresses experimental and case studies, scientific and engineering computation, design and implementation of algorithms and software systems, and applications of mathematical methods and tools to outstanding and emerging problems in applied computer and information sciences.

For more information, see http://www.cc4cm.org/macis2006/

This Summer School is organized by the S2S² project and the Music Technology Group of the Pompeu Fabra University in Barcelona, with the goal to promote interdisciplinary education and research in the field of Sound and Music Computing. The School is aimed at graduate students working on their Master or PhD thesis, but it is open to any person carrying out research in this field.

The lectures are designed to be of interest to any graduate student or researcher in the field of Sound and Music Computing. The topics chosen for this year are Interface Design and Music Cognition; relevant topics in our research fields which have particular methodologies and research strategies. The lectures will present these particular methodologies and their application in Music related problems.

For more information, see http://www.iua.upf.es/mtg/sssmc2006/

This Summer School is organized by the S2S² project and the Music Technology Group of the Pompeu Fabra University in Barcelona, with the goal to promote interdisciplinary education and research in the field of Sound and Music Computing. The School is aimed at graduate students working on their Master or PhD thesis, but it is open to any person carrying out research in this field.

The lectures are designed to be of interest to any graduate student or researcher in the field of Sound and Music Computing. The topics chosen for this year are Interface Design and Music Cognition; relevant topics in our research fields which have particular methodologies and research strategies. The lectures will present these particular methodologies and their application in Music related problems.

For more information, see http://www.iua.upf.es/mtg/sssmc2006/

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 Athens (2005) and Turin (2004). 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.

For more information, see http://www.cs.ru.nl/lc2006/ or contact lc2006 at cs.ru.nl.

This Summer School is organized by the S2S² project and the Music Technology Group of the Pompeu Fabra University in Barcelona, with the goal to promote interdisciplinary education and research in the field of Sound and Music Computing. The School is aimed at graduate students working on their Master or PhD thesis, but it is open to any person carrying out research in this field.

The lectures are designed to be of interest to any graduate student or researcher in the field of Sound and Music Computing. The topics chosen for this year are Interface Design and Music Cognition; relevant topics in our research fields which have particular methodologies and research strategies. The lectures will present these particular methodologies and their application in Music related problems.

For more information, see http://www.iua.upf.es/mtg/sssmc2006/

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 Athens (2005) and Turin (2004). 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.

For more information, see http://www.cs.ru.nl/lc2006/ or contact lc2006 at cs.ru.nl.

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 Athens (2005) and Turin (2004). 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.

For more information, see http://www.cs.ru.nl/lc2006/ or contact lc2006 at cs.ru.nl.

Symposium on Music and Cognition at CogSci 2006.

Like language, music is a uniquely human capacity that arguably played a central role in the origins of human cognition. The ways in which music can illuminate fundamental issues in cognition have been underexamined, or even dismissed as epiphenomenal. This symposium highlights cognition in music, especially as related to language, as enlarging our understanding of cognition as a hole, contributing conceptually and methodologically to cognitive science, and showing the advantages of taking music as a strong partner in studying human cognitive functioning in all its facets.

With contributions by:
Richard Ashley (Northwestern University, USA)
Erin Hannon (Harvard University, USA)
Henkjan Honing (University of Amsterdam, The Netherlands)
Edward Large (Florida Atlantic University, USA)
Caroline Palmer & Sean Hutchins (McGill University, Canada)

For more information, see http://www.cogsci.rpi.edu/~rsun/cogsci2006/

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 Athens (2005) and Turin (2004). 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.

For more information, see http://www.cs.ru.nl/lc2006/ or contact lc2006 at cs.ru.nl.

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 Athens (2005) and Turin (2004). 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.

For more information, see http://www.cs.ru.nl/lc2006/ or contact lc2006 at cs.ru.nl.

The main focus of ESSLLI is on the interface between linguistics, logic and computation. Foundational, introductory and advanced courses together with workshops cover a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation.

The school has developed into an important meeting place and forum for discussion for students, researchers and IT professionals interested in the interdisciplinary study of Logic, Language and Information. ESSLLI-2006 is organised under the auspices of the European Association for Logic, Language and Information (FoLLI).

For more information, see the ESSLLI website at http://esslli2006.lcc.uma.es/.

The purpose of the workshop is to gather contributions that (i) take seriously into account the ontological aspects of communication and interaction and (ii) use formal ontologies for achieving a better semantic coordination between interacting and communicating agents.

For more information, see here or http://www.loa-cnr.it/esslli06/