AQIS'07 will focus on quantum information science and technology. This is a new interdisciplinary field that bridges quantum physics, computer science, mathematics, as well as computing technologies. AQIS'07 is the successor of the series EQIS'01-EQIS'05 and AQIS'06. Following tradition, AQIS'07 will consist of invited talks and selected oral communications and posters.

For more and the latest information, please check the conference website at http://qc.naist.jp/aqis07/ or e-mail to aqis07 at is.naist.jp.

In 1957 Andrzej Mostowski published his paper introducing the notion of generalized quantifier. Later on wide area of logical research was opened and many papers devoted to generalized quantifiers were published. The main purpose of the meeting is to summarize current knowledge on this subject.

For more information, see http://www.logika.uw.edu.pl/50yearsGQ/.

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

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

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

The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering 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-2008 is organised under the auspices of the European Association for Logic, Language and Information (FoLLI).

For more information, see or the ESSLLI website at https://www.illc.uva.nl/ESSLLI2008/

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

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

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

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

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

The meeting will be held in room P.327. Speakers include J. van Benthem, K.R. Apt, J. van Eijck and E. Pacuit.

For more information, see http://homepages.cwi.nl/~apt/meeting07/ or contact apt at cwi.nl

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

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

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

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

This event is the following in a list of gatherings on combination of logics, such as Logical Consequences and its Combinations held in Pune, India, December 2005, CombLog'04 held in Lisbon, July 2004 and the FroCoS (Frontiers of Combining Systems) going on since 1996.

All the dimensions of combination of logics will be touched: from abstract general frameworks based on universal logic and category theory to applications to some philosophical problems through some typical cases related with classical and intuitionistic logics

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

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

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

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

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

The British Logic Colloquium (BLC 2007) will be held in De Morgan House, Central London, 6th September to 8th September 2007.

For more information, see here or http://www.dcs.bbk.ac.uk/~roman/blc/

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

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

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

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

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.

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

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

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.

WMSCI 2007 is an international forum for scientists and engineers, researchers and consultants, theoreticians and practitioners in the fields of Systemics, Cybernetics and Informatics. The forum focuses into specific disciplinary research, and also in multi, inter, and trans-disciplinary studies and projects. One of its aims is to relate disciplines, fostering analogical thinking and, hence, producing input to the logical thinking.

For more information, see http://www.iiis-cyber.org/wmsci2007/.

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.

WMSCI 2007 is an international forum for scientists and engineers, researchers and consultants, theoreticians and practitioners in the fields of Systemics, Cybernetics and Informatics. The forum focuses into specific disciplinary research, and also in multi, inter, and trans-disciplinary studies and projects. One of its aims is to relate disciplines, fostering analogical thinking and, hence, producing input to the logical thinking.

For more information, see http://www.iiis-cyber.org/wmsci2007/.

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 13th of July 2007 in Wroclaw, Poland. ICALP'07 will be colocated with LC'07 and LICS'07.

For more information, see http://icalp07.ii.uni.wroc.pl/.

WMSCI 2007 is an international forum for scientists and engineers, researchers and consultants, theoreticians and practitioners in the fields of Systemics, Cybernetics and Informatics. The forum focuses into specific disciplinary research, and also in multi, inter, and trans-disciplinary studies and projects. One of its aims is to relate disciplines, fostering analogical thinking and, hence, producing input to the logical thinking.

For more information, see http://www.iiis-cyber.org/wmsci2007/.

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 13th of July 2007 in Wroclaw, Poland. ICALP'07 will be colocated with LC'07 and LICS'07.

For more information, see http://icalp07.ii.uni.wroc.pl/.

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic broadly construed. LICS 2007 will be held in the Institute of Computer Science, University of Wroclaw, Poland, from 10th July to 14th July 2007. It will be colocated with two other meetings: the International Colloquium on Automata, Languages, and Programming (ICALP'07) July 9-13, 2007, and also the European Logic Colloquium (ELC 2007), July 14-19. Workshops are planned for July 8, 9 and July 15 (possibly the afternoon of 14th).

For more information, see http://www2.informatik.hu-berlin.de/lics/lics07/.

WMSCI 2007 is an international forum for scientists and engineers, researchers and consultants, theoreticians and practitioners in the fields of Systemics, Cybernetics and Informatics. The forum focuses into specific disciplinary research, and also in multi, inter, and trans-disciplinary studies and projects. One of its aims is to relate disciplines, fostering analogical thinking and, hence, producing input to the logical thinking.

For more information, see http://www.iiis-cyber.org/wmsci2007/.

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 13th of July 2007 in Wroclaw, Poland. ICALP'07 will be colocated with LC'07 and LICS'07.

For more information, see http://icalp07.ii.uni.wroc.pl/.

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic broadly construed. LICS 2007 will be held in the Institute of Computer Science, University of Wroclaw, Poland, from 10th July to 14th July 2007. It will be colocated with two other meetings: the International Colloquium on Automata, Languages, and Programming (ICALP'07) July 9-13, 2007, and also the European Logic Colloquium (ELC 2007), July 14-19. Workshops are planned for July 8, 9 and July 15 (possibly the afternoon of 14th).

For more information, see http://www2.informatik.hu-berlin.de/lics/lics07/.

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 13th of July 2007 in Wroclaw, Poland. ICALP'07 will be colocated with LC'07 and LICS'07.

For more information, see http://icalp07.ii.uni.wroc.pl/.

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic broadly construed. LICS 2007 will be held in the Institute of Computer Science, University of Wroclaw, Poland, from 10th July to 14th July 2007. It will be colocated with two other meetings: the International Colloquium on Automata, Languages, and Programming (ICALP'07) July 9-13, 2007, and also the European Logic Colloquium (ELC 2007), July 14-19. Workshops are planned for July 8, 9 and July 15 (possibly the afternoon of 14th).

For more information, see http://www2.informatik.hu-berlin.de/lics/lics07/.

The IADIS CELDA 2007 conference aims to address the main issues concerned with evolving learning processes and supporting pedagogies and applications in the digital age. There have been advances in both cognitive psychology and computing that have affected the educational arena. The convergence of these two disciplines is increasing at a fast pace and affecting academia and professional practice in many ways. This conference aims to cover both technological as well as pedagogical issues related to these developments.

For more information, see http://www.celda-conf.org/

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 13th of July 2007 in Wroclaw, Poland. ICALP'07 will be colocated with LC'07 and LICS'07.

For more information, see http://icalp07.ii.uni.wroc.pl/.

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic broadly construed. LICS 2007 will be held in the Institute of Computer Science, University of Wroclaw, Poland, from 10th July to 14th July 2007. It will be colocated with two other meetings: the International Colloquium on Automata, Languages, and Programming (ICALP'07) July 9-13, 2007, and also the European Logic Colloquium (ELC 2007), July 14-19. Workshops are planned for July 8, 9 and July 15 (possibly the afternoon of 14th).

For more information, see http://www2.informatik.hu-berlin.de/lics/lics07/.

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

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

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

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic broadly construed. LICS 2007 will be held in the Institute of Computer Science, University of Wroclaw, Poland, from 10th July to 14th July 2007. It will be colocated with two other meetings: the International Colloquium on Automata, Languages, and Programming (ICALP'07) July 9-13, 2007, and also the European Logic Colloquium (ELC 2007), July 14-19. Workshops are planned for July 8, 9 and July 15 (possibly the afternoon of 14th).

For more information, see http://www2.informatik.hu-berlin.de/lics/lics07/.

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

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

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

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

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

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

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.

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

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

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

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

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

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

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

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

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

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

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

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

The 15th International Conference on Conceptual Structures (ICCS 2007) is the latest in a series of annual conferences that have been held in Europe, Australia, and North America since 1993. The focus of these conferences has been the representation and analysis of conceptual knowledge for research and business applications. ICCS brings together researchers in information technology, arts, humanities and social science to explore novel ways that can conceptual structures can be employed in information systems.

ICCS 2007's theme is "Conceptual Structures: Knowledge Architectures for Smart Applications". From these architectures, smart applications arise that allow enterprises to share meaning with its interconnected computing resources, and realise transactions that would otherwise remain as lost business opportunities. Conceptual structures and smart applications integrate the creativity of individuals and organisations with the productivity of computers for a meaningful digital future.

For more information, see http://www.iccs.info/

The 15th International Conference on Conceptual Structures (ICCS 2007) is the latest in a series of annual conferences that have been held in Europe, Australia, and North America since 1993. The focus of these conferences has been the representation and analysis of conceptual knowledge for research and business applications. ICCS brings together researchers in information technology, arts, humanities and social science to explore novel ways that can conceptual structures can be employed in information systems.

ICCS 2007's theme is "Conceptual Structures: Knowledge Architectures for Smart Applications". From these architectures, smart applications arise that allow enterprises to share meaning with its interconnected computing resources, and realise transactions that would otherwise remain as lost business opportunities. Conceptual structures and smart applications integrate the creativity of individuals and organisations with the productivity of computers for a meaningful digital future.

For more information, see http://www.iccs.info/

The 15th International Conference on Conceptual Structures (ICCS 2007) is the latest in a series of annual conferences that have been held in Europe, Australia, and North America since 1993. The focus of these conferences has been the representation and analysis of conceptual knowledge for research and business applications. ICCS brings together researchers in information technology, arts, humanities and social science to explore novel ways that can conceptual structures can be employed in information systems.

ICCS 2007's theme is "Conceptual Structures: Knowledge Architectures for Smart Applications". From these architectures, smart applications arise that allow enterprises to share meaning with its interconnected computing resources, and realise transactions that would otherwise remain as lost business opportunities. Conceptual structures and smart applications integrate the creativity of individuals and organisations with the productivity of computers for a meaningful digital future.

For more information, see http://www.iccs.info/

The 15th International Conference on Conceptual Structures (ICCS 2007) is the latest in a series of annual conferences that have been held in Europe, Australia, and North America since 1993. The focus of these conferences has been the representation and analysis of conceptual knowledge for research and business applications. ICCS brings together researchers in information technology, arts, humanities and social science to explore novel ways that can conceptual structures can be employed in information systems.

ICCS 2007's theme is "Conceptual Structures: Knowledge Architectures for Smart Applications". From these architectures, smart applications arise that allow enterprises to share meaning with its interconnected computing resources, and realise transactions that would otherwise remain as lost business opportunities. Conceptual structures and smart applications integrate the creativity of individuals and organisations with the productivity of computers for a meaningful digital future.

For more information, see http://www.iccs.info/

The 15th International Conference on Conceptual Structures (ICCS 2007) is the latest in a series of annual conferences that have been held in Europe, Australia, and North America since 1993. The focus of these conferences has been the representation and analysis of conceptual knowledge for research and business applications. ICCS brings together researchers in information technology, arts, humanities and social science to explore novel ways that can conceptual structures can be employed in information systems.

ICCS 2007's theme is "Conceptual Structures: Knowledge Architectures for Smart Applications". From these architectures, smart applications arise that allow enterprises to share meaning with its interconnected computing resources, and realise transactions that would otherwise remain as lost business opportunities. Conceptual structures and smart applications integrate the creativity of individuals and organisations with the productivity of computers for a meaningful digital future.

For more information, see http://www.iccs.info/

The 15th International Conference on Conceptual Structures (ICCS 2007) is the latest in a series of annual conferences that have been held in Europe, Australia, and North America since 1993. The focus of these conferences has been the representation and analysis of conceptual knowledge for research and business applications. ICCS brings together researchers in information technology, arts, humanities and social science to explore novel ways that can conceptual structures can be employed in information systems.

ICCS 2007's theme is "Conceptual Structures: Knowledge Architectures for Smart Applications". From these architectures, smart applications arise that allow enterprises to share meaning with its interconnected computing resources, and realise transactions that would otherwise remain as lost business opportunities. Conceptual structures and smart applications integrate the creativity of individuals and organisations with the productivity of computers for a meaningful digital future.

For more information, see http://www.iccs.info/