The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections. ESSLLIs attract around 500 participants from all over the world.

There will be 45 courses at foundational, introductory, and advanced levels, as well as 3 workshops, invited lectures and a student session to foster interdisciplinary discussion of current research. Moreover, the school features 3 satellite events: the COMPOSES workshop, the 21st Conference on Formal Grammar (FG 2016), and the Computational Creativity, Concept Invention, and General Intelligence (C3GI) Workshop.

Deadline for registration: 31 July 2016 (early registration: 31 May 2016). For more information, see http://esslli2016.unibz.it/.

The 2015 annual conference of the Australasian Association of Logic (AAL) will be held in Sydney, Australia, on Thursday 2nd July and Friday 3rd July 2015. The venue is the Muniment Room, Main Quadrangle, University of Sydney.

The AAL was founded in 1965 and this conference marks its fiftieth anniversary.

For more information, see http://aal.ltumathstats.com/

This is the seventh conference on this topic. The first, second, fourth and sixth editions of Conference were organized by Departament of Logic and Methodology at Lodz University. The third and fifth edition was organized by Department of Logic at NCU in Torun. The thematic range of the conference remains the same: theories of nonclassical logics (modal, many-valued, temporal, paraconsistent, epistemic, deontic, substructural, and nonmonotonic logic) and their applications in computer science, artificial intelligence, formal linguistics, cognitive studies, as well as to the deeper analysis of traditional philosophical problems.

For more information, see the conference webpage at http://www.logika.umk.pl/lnk15/lnk15_en.html

Context '15 will provide a forum for presenting and discussing high-quality research and applications on context modeling and use. The conference will include paper and poster presentations, system demonstrations, workshops, and a doctoral consortium.

The main theme of CONTEXT 2015 is 'Back to the roots', focusing on the importance of interdisciplinary cooperations and studies of the phenomenon. Context, context modeling and context comprehension are central topics in linguistics, philosophy, sociology, artificial intelligence, computer science, art, law, organizational sciences, cognitive science, psychology, etc. and are also essential for the effectiveness of modern, complex and distributed software systems.

For more information, see http://cyprusconferences.org/context2015/

For many applications, specific domain knowledge is required. Instead of coding such knowledge into a specific system in a way that it can never be changed (hidden in the overall implementation), different logic-based formalisms for representing different kinds of knowledge have been developed in the last 50 years. In this module, we discuss some of these approaches, namely modal logics and description logics.

Description logics are mainly designed to represent and reason about the terminology of an application domain and form the logical underpinning of the Semantic Web ontology language OWL. Modal logics can be used to represent and reason about the behaviour of systems, for example agent based systems. For both logics, automated reasoning tools have been developed to answer queries about the knowledge representation explicitly. This module provides an introduction to various modal and description logics, how to formalise knowledge and questions about this knowledge in these logics, different approaches to automated reasoning for these logics, and the relationship between these logics and first-order logic.

The module is entirely web-based, so a reliable internet connection is essential. Required Time per Week: 8-10 hours. A detailed module outline, learning outcomes, assessment information is available from the module website at http://www.cs.manchester.ac.uk/study/professional-development/study-options/. Registration deadline: 20 February 2015.

On June 1st the Amsterdam Brain and Cognition center organizes the ABC Brain Day, the yearly conference where ABC members present their research.

For more information, see http://abc.uva.nl/events/item/abc-brainday-2015.html

The organizing committee invites you to take part in the Fourth International Congress on Tools for Teaching Logic, which will be held in Rennes on June 1-4, 2015. There will be lectures, discussion sessions, round tables and software demonstrations. You are kindly invited to take active part in discussion sessions and to exhibit your teaching or professional software.

For more information, see http://ttl2015.irisa.fr/

A workshop on the mathematics surrounding Vaught's Conjecture (on the number of isomorphism types of countable models of a countable complete theory elementary first order theory) will be held at the University of California at Berkeley from June 1 to June 6, 2015. The first workshop on Vaught's Conjecture was held at the University of Notre Dame, in May of 2005. This workshop resulted in a number of new ideas and collaborations, some of which were published in a special issue of the Notre Dame Journal of Formal Logic. We hope that this second workshop will build on the success of the first.

There will be tutorials by Uri Andrews, Su Gao, and Chris Laskowski; the invited speakers currently include: Nate Ackerman, John Baldwin, Howard Becker, Samuel Coskey, Cameron Freer, Sy Friedman, Robin Knight, Paul Larson, David Marker, Ludomir Newelski, Richard Rast, Gerald Sacks, Slawomir Solecki and Ioannis Souldatos

For more information, see https://math.berkeley.edu/~schweber/vcc15/

For many applications, specific domain knowledge is required. Instead of coding such knowledge into a specific system in a way that it can never be changed (hidden in the overall implementation), different logic-based formalisms for representing different kinds of knowledge have been developed in the last 50 years. In this module, we discuss some of these approaches, namely modal logics and description logics.

Description logics are mainly designed to represent and reason about the terminology of an application domain and form the logical underpinning of the Semantic Web ontology language OWL. Modal logics can be used to represent and reason about the behaviour of systems, for example agent based systems. For both logics, automated reasoning tools have been developed to answer queries about the knowledge representation explicitly. This module provides an introduction to various modal and description logics, how to formalise knowledge and questions about this knowledge in these logics, different approaches to automated reasoning for these logics, and the relationship between these logics and first-order logic.

The module is entirely web-based, so a reliable internet connection is essential. Required Time per Week: 8-10 hours. A detailed module outline, learning outcomes, assessment information is available from the module website at http://www.cs.manchester.ac.uk/study/professional-development/study-options/. Registration deadline: 20 February 2015.

The organizing committee invites you to take part in the Fourth International Congress on Tools for Teaching Logic, which will be held in Rennes on June 1-4, 2015. There will be lectures, discussion sessions, round tables and software demonstrations. You are kindly invited to take active part in discussion sessions and to exhibit your teaching or professional software.

For more information, see http://ttl2015.irisa.fr/

A workshop on the mathematics surrounding Vaught's Conjecture (on the number of isomorphism types of countable models of a countable complete theory elementary first order theory) will be held at the University of California at Berkeley from June 1 to June 6, 2015. The first workshop on Vaught's Conjecture was held at the University of Notre Dame, in May of 2005. This workshop resulted in a number of new ideas and collaborations, some of which were published in a special issue of the Notre Dame Journal of Formal Logic. We hope that this second workshop will build on the success of the first.

There will be tutorials by Uri Andrews, Su Gao, and Chris Laskowski; the invited speakers currently include: Nate Ackerman, John Baldwin, Howard Becker, Samuel Coskey, Cameron Freer, Sy Friedman, Robin Knight, Paul Larson, David Marker, Ludomir Newelski, Richard Rast, Gerald Sacks, Slawomir Solecki and Ioannis Souldatos

For more information, see https://math.berkeley.edu/~schweber/vcc15/

The ILLC Colloquium happens three times per year (as the Autumn Colloquium, the Midwinter Colloquium, or the Midsummer Colloquium), usually directly after the Current Affairs meeting. The Colloquium brings together the six research units at the ILLC and each event consists of at least two talks by representatives from different units. The colloquium is concluded by a get together of the entire ILLC community.

All staff members, PhD candidates, MoL students and any guests of the ILLC are welcome to attend the colloquium.

The current organisers of the colloquium are Malvin Gattinger and Aybüke Özgün.

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

For many applications, specific domain knowledge is required. Instead of coding such knowledge into a specific system in a way that it can never be changed (hidden in the overall implementation), different logic-based formalisms for representing different kinds of knowledge have been developed in the last 50 years. In this module, we discuss some of these approaches, namely modal logics and description logics.

Description logics are mainly designed to represent and reason about the terminology of an application domain and form the logical underpinning of the Semantic Web ontology language OWL. Modal logics can be used to represent and reason about the behaviour of systems, for example agent based systems. For both logics, automated reasoning tools have been developed to answer queries about the knowledge representation explicitly. This module provides an introduction to various modal and description logics, how to formalise knowledge and questions about this knowledge in these logics, different approaches to automated reasoning for these logics, and the relationship between these logics and first-order logic.

The module is entirely web-based, so a reliable internet connection is essential. Required Time per Week: 8-10 hours. A detailed module outline, learning outcomes, assessment information is available from the module website at http://www.cs.manchester.ac.uk/study/professional-development/study-options/. Registration deadline: 20 February 2015.

The organizing committee invites you to take part in the Fourth International Congress on Tools for Teaching Logic, which will be held in Rennes on June 1-4, 2015. There will be lectures, discussion sessions, round tables and software demonstrations. You are kindly invited to take active part in discussion sessions and to exhibit your teaching or professional software.

For more information, see http://ttl2015.irisa.fr/

A workshop on the mathematics surrounding Vaught's Conjecture (on the number of isomorphism types of countable models of a countable complete theory elementary first order theory) will be held at the University of California at Berkeley from June 1 to June 6, 2015. The first workshop on Vaught's Conjecture was held at the University of Notre Dame, in May of 2005. This workshop resulted in a number of new ideas and collaborations, some of which were published in a special issue of the Notre Dame Journal of Formal Logic. We hope that this second workshop will build on the success of the first.

There will be tutorials by Uri Andrews, Su Gao, and Chris Laskowski; the invited speakers currently include: Nate Ackerman, John Baldwin, Howard Becker, Samuel Coskey, Cameron Freer, Sy Friedman, Robin Knight, Paul Larson, David Marker, Ludomir Newelski, Richard Rast, Gerald Sacks, Slawomir Solecki and Ioannis Souldatos

For more information, see https://math.berkeley.edu/~schweber/vcc15/

For many applications, specific domain knowledge is required. Instead of coding such knowledge into a specific system in a way that it can never be changed (hidden in the overall implementation), different logic-based formalisms for representing different kinds of knowledge have been developed in the last 50 years. In this module, we discuss some of these approaches, namely modal logics and description logics.

Description logics are mainly designed to represent and reason about the terminology of an application domain and form the logical underpinning of the Semantic Web ontology language OWL. Modal logics can be used to represent and reason about the behaviour of systems, for example agent based systems. For both logics, automated reasoning tools have been developed to answer queries about the knowledge representation explicitly. This module provides an introduction to various modal and description logics, how to formalise knowledge and questions about this knowledge in these logics, different approaches to automated reasoning for these logics, and the relationship between these logics and first-order logic.

The module is entirely web-based, so a reliable internet connection is essential. Required Time per Week: 8-10 hours. A detailed module outline, learning outcomes, assessment information is available from the module website at http://www.cs.manchester.ac.uk/study/professional-development/study-options/. Registration deadline: 20 February 2015.

The organizing committee invites you to take part in the Fourth International Congress on Tools for Teaching Logic, which will be held in Rennes on June 1-4, 2015. There will be lectures, discussion sessions, round tables and software demonstrations. You are kindly invited to take active part in discussion sessions and to exhibit your teaching or professional software.

For more information, see http://ttl2015.irisa.fr/

A workshop on the mathematics surrounding Vaught's Conjecture (on the number of isomorphism types of countable models of a countable complete theory elementary first order theory) will be held at the University of California at Berkeley from June 1 to June 6, 2015. The first workshop on Vaught's Conjecture was held at the University of Notre Dame, in May of 2005. This workshop resulted in a number of new ideas and collaborations, some of which were published in a special issue of the Notre Dame Journal of Formal Logic. We hope that this second workshop will build on the success of the first.

There will be tutorials by Uri Andrews, Su Gao, and Chris Laskowski; the invited speakers currently include: Nate Ackerman, John Baldwin, Howard Becker, Samuel Coskey, Cameron Freer, Sy Friedman, Robin Knight, Paul Larson, David Marker, Ludomir Newelski, Richard Rast, Gerald Sacks, Slawomir Solecki and Ioannis Souldatos

For more information, see https://math.berkeley.edu/~schweber/vcc15/

This year, the 2015 LMP Conference will precede the annual Philosophy of Physics Conference, taking place June 6-7. Elaine Landry (University of California-Davis) will be giving the keynote address.

Additional information can be found on our website at http://logicmathphysics.ca. Please send questions to the LMP Conference Committee at uwolmp at gmail.com.

. The series of CLfL workshops is designed to bring together NLP researchers interested in working with literary data ~ prose and poetry ~ in any human language. This is a friendly forum to discuss ideas, bring up problems and chart new directions. CLfL-2015 is co-located with NAACL 2015.

For more information, see https://sites.google.com/site/clfl2015/ or email clfl2015 at googlegroups.com.

The mission of the TARK conferences is to bring together researchers from a wide variety of fields, including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Philosophy, and Psychology, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge.

TARK 2015 is the 15th conference of the TARK conference series. Previous conferences have been held bi-annually around the world, most recently in 2013 at the Institute of Mathematical Sciences, Chennai, India.

For more information, see http://www.imsc.res.in/tark/tark15.html

The Bertrand Russell Society (BRS), an international organization dedicated to the memory of the philosopher Bertrand Russell, will hold its annual meeting in Dublin in 2015. We meet at Trinity College, June 5-7. This meeting will be held in conjunction with the Society for the Study of the History of Analytic Philosophy, which will hold its annual meeting on June 4-6.

Further details about the annual meeting (registration, etc.) will be posted at Alan Schwerin's website at https://sites.google.com/site/alanschwerinsphilosophycorner/home/

COIN, or Coalgebra in the Netherlands, is a seminar taking place alternating at the Radboud University in Nijmegen and the CWI in Amsterdam. The aim of COIN is to bring together coalgebra researchers from various locations in the Netherlands, and share current results and questions in the world of coalgebra. We welcome presentations on any subject related to coalgebra. As usual, everyone who is interested is cordially invited to come.

Speakers:
Julian Salamanca: Equations and Coequations for Weighted Automata.
Renato Neves: Towards a calculus of hybrid components
Henning Basold: Dependent Inductive and Coinductive Types via Dialgebras in Fibrations

For more information, see http://cs.ru.nl/~hbasold/coin.

For many applications, specific domain knowledge is required. Instead of coding such knowledge into a specific system in a way that it can never be changed (hidden in the overall implementation), different logic-based formalisms for representing different kinds of knowledge have been developed in the last 50 years. In this module, we discuss some of these approaches, namely modal logics and description logics.

Description logics are mainly designed to represent and reason about the terminology of an application domain and form the logical underpinning of the Semantic Web ontology language OWL. Modal logics can be used to represent and reason about the behaviour of systems, for example agent based systems. For both logics, automated reasoning tools have been developed to answer queries about the knowledge representation explicitly. This module provides an introduction to various modal and description logics, how to formalise knowledge and questions about this knowledge in these logics, different approaches to automated reasoning for these logics, and the relationship between these logics and first-order logic.

The module is entirely web-based, so a reliable internet connection is essential. Required Time per Week: 8-10 hours. A detailed module outline, learning outcomes, assessment information is available from the module website at http://www.cs.manchester.ac.uk/study/professional-development/study-options/. Registration deadline: 20 February 2015.

A workshop on the mathematics surrounding Vaught's Conjecture (on the number of isomorphism types of countable models of a countable complete theory elementary first order theory) will be held at the University of California at Berkeley from June 1 to June 6, 2015. The first workshop on Vaught's Conjecture was held at the University of Notre Dame, in May of 2005. This workshop resulted in a number of new ideas and collaborations, some of which were published in a special issue of the Notre Dame Journal of Formal Logic. We hope that this second workshop will build on the success of the first.

There will be tutorials by Uri Andrews, Su Gao, and Chris Laskowski; the invited speakers currently include: Nate Ackerman, John Baldwin, Howard Becker, Samuel Coskey, Cameron Freer, Sy Friedman, Robin Knight, Paul Larson, David Marker, Ludomir Newelski, Richard Rast, Gerald Sacks, Slawomir Solecki and Ioannis Souldatos

For more information, see https://math.berkeley.edu/~schweber/vcc15/

This year, the 2015 LMP Conference will precede the annual Philosophy of Physics Conference, taking place June 6-7. Elaine Landry (University of California-Davis) will be giving the keynote address.

Additional information can be found on our website at http://logicmathphysics.ca. Please send questions to the LMP Conference Committee at uwolmp at gmail.com.

. The series of CLfL workshops is designed to bring together NLP researchers interested in working with literary data ~ prose and poetry ~ in any human language. This is a friendly forum to discuss ideas, bring up problems and chart new directions. CLfL-2015 is co-located with NAACL 2015.

For more information, see https://sites.google.com/site/clfl2015/ or email clfl2015 at googlegroups.com.

The mission of the TARK conferences is to bring together researchers from a wide variety of fields, including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Philosophy, and Psychology, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge.

TARK 2015 is the 15th conference of the TARK conference series. Previous conferences have been held bi-annually around the world, most recently in 2013 at the Institute of Mathematical Sciences, Chennai, India.

For more information, see http://www.imsc.res.in/tark/tark15.html

The Bertrand Russell Society (BRS), an international organization dedicated to the memory of the philosopher Bertrand Russell, will hold its annual meeting in Dublin in 2015. We meet at Trinity College, June 5-7. This meeting will be held in conjunction with the Society for the Study of the History of Analytic Philosophy, which will hold its annual meeting on June 4-6.

Further details about the annual meeting (registration, etc.) will be posted at Alan Schwerin's website at https://sites.google.com/site/alanschwerinsphilosophycorner/home/

On Friday 5th of June there will be a workshop in honour of Professor Stephen Yablo (MIT). Yablo is a world-leading figure in metaphysics, philosophical logic, philosophy of language, philosophy of mathematics and philosophy of mind. The workshop will consist of three talks addressing different aspects of Yablo's work and will conclude with a keynote address by Yablo himself.

The workshop is free and you can simply turn up on the day, but if you are definitely planning to attend please email Luca Incurvati. For more information, please contact L.Incurvati at uva.nl.

For many applications, specific domain knowledge is required. Instead of coding such knowledge into a specific system in a way that it can never be changed (hidden in the overall implementation), different logic-based formalisms for representing different kinds of knowledge have been developed in the last 50 years. In this module, we discuss some of these approaches, namely modal logics and description logics.

Description logics are mainly designed to represent and reason about the terminology of an application domain and form the logical underpinning of the Semantic Web ontology language OWL. Modal logics can be used to represent and reason about the behaviour of systems, for example agent based systems. For both logics, automated reasoning tools have been developed to answer queries about the knowledge representation explicitly. This module provides an introduction to various modal and description logics, how to formalise knowledge and questions about this knowledge in these logics, different approaches to automated reasoning for these logics, and the relationship between these logics and first-order logic.

The module is entirely web-based, so a reliable internet connection is essential. Required Time per Week: 8-10 hours. A detailed module outline, learning outcomes, assessment information is available from the module website at http://www.cs.manchester.ac.uk/study/professional-development/study-options/. Registration deadline: 20 February 2015.

The mission of the TARK conferences is to bring together researchers from a wide variety of fields, including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Philosophy, and Psychology, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge.

TARK 2015 is the 15th conference of the TARK conference series. Previous conferences have been held bi-annually around the world, most recently in 2013 at the Institute of Mathematical Sciences, Chennai, India.

For more information, see http://www.imsc.res.in/tark/tark15.html

The Bertrand Russell Society (BRS), an international organization dedicated to the memory of the philosopher Bertrand Russell, will hold its annual meeting in Dublin in 2015. We meet at Trinity College, June 5-7. This meeting will be held in conjunction with the Society for the Study of the History of Analytic Philosophy, which will hold its annual meeting on June 4-6.

Further details about the annual meeting (registration, etc.) will be posted at Alan Schwerin's website at https://sites.google.com/site/alanschwerinsphilosophycorner/home/

For many applications, specific domain knowledge is required. Instead of coding such knowledge into a specific system in a way that it can never be changed (hidden in the overall implementation), different logic-based formalisms for representing different kinds of knowledge have been developed in the last 50 years. In this module, we discuss some of these approaches, namely modal logics and description logics.

Description logics are mainly designed to represent and reason about the terminology of an application domain and form the logical underpinning of the Semantic Web ontology language OWL. Modal logics can be used to represent and reason about the behaviour of systems, for example agent based systems. For both logics, automated reasoning tools have been developed to answer queries about the knowledge representation explicitly. This module provides an introduction to various modal and description logics, how to formalise knowledge and questions about this knowledge in these logics, different approaches to automated reasoning for these logics, and the relationship between these logics and first-order logic.

The module is entirely web-based, so a reliable internet connection is essential. Required Time per Week: 8-10 hours. A detailed module outline, learning outcomes, assessment information is available from the module website at http://www.cs.manchester.ac.uk/study/professional-development/study-options/. Registration deadline: 20 February 2015.

Postgraduates are invited to apply for the 2nd PLM Masterclass, to be held at the Department of Philosophy, Stockholm University, 7-8 June 2015. The masterclass will be devoted to the work of David Chalmers, New York University and Australian National University. 9 graduate students will have the opportunity to present papers on David Chalmers's work. Professor Chalmers will comment on the papers and will also present new research.

Each student talk will be 30 minutes long, and will be followed by comments by Professor Chalmers and a general discussion.

Participation in the Masterclass will be free of charge, but students will have to find their own funding support for accommodation and living expenses.

For more information, see http://langmind.eu/

The DL workshop is the major annual event of the description logic research community. It is the forum at which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences.

Invited Speakers: Carsten Lutz (TU Bremen), Axel Polleres (TU Wien) and Maarten de Rijke (University of Amsterdam).

For more information, see http://dl2015.image.ntua.gr/

For many applications, specific domain knowledge is required. Instead of coding such knowledge into a specific system in a way that it can never be changed (hidden in the overall implementation), different logic-based formalisms for representing different kinds of knowledge have been developed in the last 50 years. In this module, we discuss some of these approaches, namely modal logics and description logics.

Description logics are mainly designed to represent and reason about the terminology of an application domain and form the logical underpinning of the Semantic Web ontology language OWL. Modal logics can be used to represent and reason about the behaviour of systems, for example agent based systems. For both logics, automated reasoning tools have been developed to answer queries about the knowledge representation explicitly. This module provides an introduction to various modal and description logics, how to formalise knowledge and questions about this knowledge in these logics, different approaches to automated reasoning for these logics, and the relationship between these logics and first-order logic.

The module is entirely web-based, so a reliable internet connection is essential. Required Time per Week: 8-10 hours. A detailed module outline, learning outcomes, assessment information is available from the module website at http://www.cs.manchester.ac.uk/study/professional-development/study-options/. Registration deadline: 20 February 2015.

Postgraduates are invited to apply for the 2nd PLM Masterclass, to be held at the Department of Philosophy, Stockholm University, 7-8 June 2015. The masterclass will be devoted to the work of David Chalmers, New York University and Australian National University. 9 graduate students will have the opportunity to present papers on David Chalmers's work. Professor Chalmers will comment on the papers and will also present new research.

Each student talk will be 30 minutes long, and will be followed by comments by Professor Chalmers and a general discussion.

Participation in the Masterclass will be free of charge, but students will have to find their own funding support for accommodation and living expenses.

For more information, see http://langmind.eu/

The DL workshop is the major annual event of the description logic research community. It is the forum at which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences.

Invited Speakers: Carsten Lutz (TU Bremen), Axel Polleres (TU Wien) and Maarten de Rijke (University of Amsterdam).

For more information, see http://dl2015.image.ntua.gr/

The study of the logical foundations of topology is playing an important role in mathematical logic and foundations of especially constructive mathematics. Early works by Brouwer on the theory of spreads and choice sequences were influencing much work in the area. A modernized form of his ideas is embodied in constructive point-free topology or formal topology. The workshop will gather experts in this field and related areas, including computable aspects and non-classical aspects of topology. A subtheme will be modern developments in the theory of spreads and choice sequences, as well as its history.

This is the fifth of a series of successful meetings on the development of Formal Topology and its connections with related approaches. The workshop is part of the Institut Mittag-Leffler short conferences program 2015. The number of participants is limited to 30 due to reasons of space.

For more information, see http://www.math.su.se/5wftop or write to 5wftop at math.su.se

BLAST (Boolean Algebras, Lattices, Algebraic & Quantum Logic, Universal Algebra, Set Theory, and Set-theoretic & Point-free Topology) is an annual conference sponsored by the National Science Foundation that has been running since 2008. The University of North Texas is proud to host the BLAST conference this year and looks forward to your participation.

BLAST2015@UNT will feature tutorials by Agata Ciabattoni James Cummings Ralph McKenzie and Slawomir Solecki, as well as invited talks by Clifford Bergman, Alan Dow, Michael Hrusak, Peter Jipsen, Aleksandra Kwiatkowska, Dilip Raghavan, Hiroshi Sakai and Grigor Sargsyan.

Deadline for registrations: May 25, 2015. For more information, please visit http://math.unt.edu/BLAST2015@UNT or email BLAST2015 at UNT.EDU.

Epistemic game theory is a modern and blooming approach to game theory where the reasoning of people is at center stage. More precisely, it investigates the beliefs that people form – about the opponents' choices, but also about the opponents' beliefs – before they make a decision. This course offers a deep introduction into the beautiful world of epistemic game theory, and is open to advanced bachelor students, master students, PhD students and researchers all over the world.

For more information about the course, together with a full program of the course, please visit our course website: http://www.epicenter.name/springcourse/

For many applications, specific domain knowledge is required. Instead of coding such knowledge into a specific system in a way that it can never be changed (hidden in the overall implementation), different logic-based formalisms for representing different kinds of knowledge have been developed in the last 50 years. In this module, we discuss some of these approaches, namely modal logics and description logics.

Description logics are mainly designed to represent and reason about the terminology of an application domain and form the logical underpinning of the Semantic Web ontology language OWL. Modal logics can be used to represent and reason about the behaviour of systems, for example agent based systems. For both logics, automated reasoning tools have been developed to answer queries about the knowledge representation explicitly. This module provides an introduction to various modal and description logics, how to formalise knowledge and questions about this knowledge in these logics, different approaches to automated reasoning for these logics, and the relationship between these logics and first-order logic.

The module is entirely web-based, so a reliable internet connection is essential. Required Time per Week: 8-10 hours. A detailed module outline, learning outcomes, assessment information is available from the module website at http://www.cs.manchester.ac.uk/study/professional-development/study-options/. Registration deadline: 20 February 2015.

The DL workshop is the major annual event of the description logic research community. It is the forum at which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences.

Invited Speakers: Carsten Lutz (TU Bremen), Axel Polleres (TU Wien) and Maarten de Rijke (University of Amsterdam).

For more information, see http://dl2015.image.ntua.gr/

The study of the logical foundations of topology is playing an important role in mathematical logic and foundations of especially constructive mathematics. Early works by Brouwer on the theory of spreads and choice sequences were influencing much work in the area. A modernized form of his ideas is embodied in constructive point-free topology or formal topology. The workshop will gather experts in this field and related areas, including computable aspects and non-classical aspects of topology. A subtheme will be modern developments in the theory of spreads and choice sequences, as well as its history.

This is the fifth of a series of successful meetings on the development of Formal Topology and its connections with related approaches. The workshop is part of the Institut Mittag-Leffler short conferences program 2015. The number of participants is limited to 30 due to reasons of space.

For more information, see http://www.math.su.se/5wftop or write to 5wftop at math.su.se

BLAST (Boolean Algebras, Lattices, Algebraic & Quantum Logic, Universal Algebra, Set Theory, and Set-theoretic & Point-free Topology) is an annual conference sponsored by the National Science Foundation that has been running since 2008. The University of North Texas is proud to host the BLAST conference this year and looks forward to your participation.

BLAST2015@UNT will feature tutorials by Agata Ciabattoni James Cummings Ralph McKenzie and Slawomir Solecki, as well as invited talks by Clifford Bergman, Alan Dow, Michael Hrusak, Peter Jipsen, Aleksandra Kwiatkowska, Dilip Raghavan, Hiroshi Sakai and Grigor Sargsyan.

Deadline for registrations: May 25, 2015. For more information, please visit http://math.unt.edu/BLAST2015@UNT or email BLAST2015 at UNT.EDU.

Epistemic game theory is a modern and blooming approach to game theory where the reasoning of people is at center stage. More precisely, it investigates the beliefs that people form – about the opponents' choices, but also about the opponents' beliefs – before they make a decision. This course offers a deep introduction into the beautiful world of epistemic game theory, and is open to advanced bachelor students, master students, PhD students and researchers all over the world.

For more information about the course, together with a full program of the course, please visit our course website: http://www.epicenter.name/springcourse/

On June 9, 2015, there will be an informal workshop on "Computability, Probability and Logic" at the Radboud University Nijmegen.

Speakers:
Rutger Kuyper (Nijmegen)
Rod Downey (Wellington)
Denis Hirschfeldt (Chicago)
Joseph Miller (Madison)
Russell Miller (New York)
Andrea Sorbi (Siena)

On June 10, 2015, Rutger Kuyper will defend his thesis at 14:30.

A preliminary program is on http://www.ru.nl/math/research/vmconferences/computability/. Participation is free, but please register at the web page.

The European Conference on Argumentation (ECA) is a new pan-European initiative aiming to consolidate and advance various streaks of research into argumentation and reasoning: from philosophical, linguistic, discourse analytic, cognitive, to computational approaches. The chief goal of the initiative is to organize on a regular basis a major conference on argumentation. The first of these conferences will be hosted in Lisbon by the ArgLab, Institute of Philosophy (IFILNOVA), Universidade Nova de Lisboa.

The primary idea behind this first edition of the conference is that argumentation and reasoning are the main vehicles for our decisions and actions. They accompany, indeed constitute, a variety of significant social practices: from individual practical reasoning, small group decisions, deliberations of official bodies in various institutional contexts, to large-scale political and social deliberations. Argumentation is understood here as a mode of action - and not just any action, but a reasoned action, comprised of consideration of reasons (whether they are good or bad). Traditionally, argumentation has been assigned many distinct functions: epistemic, moral, conversational, etc. The aim of the conference is to explore how these functions are interrelated with the practical need for deciding on a course of action. Simply put, our chief concern is with the role argumentation and reasoning play when the question of 'what to do?' is addressed.

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

For many applications, specific domain knowledge is required. Instead of coding such knowledge into a specific system in a way that it can never be changed (hidden in the overall implementation), different logic-based formalisms for representing different kinds of knowledge have been developed in the last 50 years. In this module, we discuss some of these approaches, namely modal logics and description logics.

Description logics are mainly designed to represent and reason about the terminology of an application domain and form the logical underpinning of the Semantic Web ontology language OWL. Modal logics can be used to represent and reason about the behaviour of systems, for example agent based systems. For both logics, automated reasoning tools have been developed to answer queries about the knowledge representation explicitly. This module provides an introduction to various modal and description logics, how to formalise knowledge and questions about this knowledge in these logics, different approaches to automated reasoning for these logics, and the relationship between these logics and first-order logic.

The module is entirely web-based, so a reliable internet connection is essential. Required Time per Week: 8-10 hours. A detailed module outline, learning outcomes, assessment information is available from the module website at http://www.cs.manchester.ac.uk/study/professional-development/study-options/. Registration deadline: 20 February 2015.

The DL workshop is the major annual event of the description logic research community. It is the forum at which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences.

Invited Speakers: Carsten Lutz (TU Bremen), Axel Polleres (TU Wien) and Maarten de Rijke (University of Amsterdam).

For more information, see http://dl2015.image.ntua.gr/

The study of the logical foundations of topology is playing an important role in mathematical logic and foundations of especially constructive mathematics. Early works by Brouwer on the theory of spreads and choice sequences were influencing much work in the area. A modernized form of his ideas is embodied in constructive point-free topology or formal topology. The workshop will gather experts in this field and related areas, including computable aspects and non-classical aspects of topology. A subtheme will be modern developments in the theory of spreads and choice sequences, as well as its history.

This is the fifth of a series of successful meetings on the development of Formal Topology and its connections with related approaches. The workshop is part of the Institut Mittag-Leffler short conferences program 2015. The number of participants is limited to 30 due to reasons of space.

For more information, see http://www.math.su.se/5wftop or write to 5wftop at math.su.se

BLAST (Boolean Algebras, Lattices, Algebraic & Quantum Logic, Universal Algebra, Set Theory, and Set-theoretic & Point-free Topology) is an annual conference sponsored by the National Science Foundation that has been running since 2008. The University of North Texas is proud to host the BLAST conference this year and looks forward to your participation.

BLAST2015@UNT will feature tutorials by Agata Ciabattoni James Cummings Ralph McKenzie and Slawomir Solecki, as well as invited talks by Clifford Bergman, Alan Dow, Michael Hrusak, Peter Jipsen, Aleksandra Kwiatkowska, Dilip Raghavan, Hiroshi Sakai and Grigor Sargsyan.

Deadline for registrations: May 25, 2015. For more information, please visit http://math.unt.edu/BLAST2015@UNT or email BLAST2015 at UNT.EDU.

Epistemic game theory is a modern and blooming approach to game theory where the reasoning of people is at center stage. More precisely, it investigates the beliefs that people form – about the opponents' choices, but also about the opponents' beliefs – before they make a decision. This course offers a deep introduction into the beautiful world of epistemic game theory, and is open to advanced bachelor students, master students, PhD students and researchers all over the world.

For more information about the course, together with a full program of the course, please visit our course website: http://www.epicenter.name/springcourse/

The European Conference on Argumentation (ECA) is a new pan-European initiative aiming to consolidate and advance various streaks of research into argumentation and reasoning: from philosophical, linguistic, discourse analytic, cognitive, to computational approaches. The chief goal of the initiative is to organize on a regular basis a major conference on argumentation. The first of these conferences will be hosted in Lisbon by the ArgLab, Institute of Philosophy (IFILNOVA), Universidade Nova de Lisboa.

The primary idea behind this first edition of the conference is that argumentation and reasoning are the main vehicles for our decisions and actions. They accompany, indeed constitute, a variety of significant social practices: from individual practical reasoning, small group decisions, deliberations of official bodies in various institutional contexts, to large-scale political and social deliberations. Argumentation is understood here as a mode of action - and not just any action, but a reasoned action, comprised of consideration of reasons (whether they are good or bad). Traditionally, argumentation has been assigned many distinct functions: epistemic, moral, conversational, etc. The aim of the conference is to explore how these functions are interrelated with the practical need for deciding on a course of action. Simply put, our chief concern is with the role argumentation and reasoning play when the question of 'what to do?' is addressed.

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

For many applications, specific domain knowledge is required. Instead of coding such knowledge into a specific system in a way that it can never be changed (hidden in the overall implementation), different logic-based formalisms for representing different kinds of knowledge have been developed in the last 50 years. In this module, we discuss some of these approaches, namely modal logics and description logics.

Description logics are mainly designed to represent and reason about the terminology of an application domain and form the logical underpinning of the Semantic Web ontology language OWL. Modal logics can be used to represent and reason about the behaviour of systems, for example agent based systems. For both logics, automated reasoning tools have been developed to answer queries about the knowledge representation explicitly. This module provides an introduction to various modal and description logics, how to formalise knowledge and questions about this knowledge in these logics, different approaches to automated reasoning for these logics, and the relationship between these logics and first-order logic.

The module is entirely web-based, so a reliable internet connection is essential. Required Time per Week: 8-10 hours. A detailed module outline, learning outcomes, assessment information is available from the module website at http://www.cs.manchester.ac.uk/study/professional-development/study-options/. Registration deadline: 20 February 2015.

BLAST (Boolean Algebras, Lattices, Algebraic & Quantum Logic, Universal Algebra, Set Theory, and Set-theoretic & Point-free Topology) is an annual conference sponsored by the National Science Foundation that has been running since 2008. The University of North Texas is proud to host the BLAST conference this year and looks forward to your participation.

BLAST2015@UNT will feature tutorials by Agata Ciabattoni James Cummings Ralph McKenzie and Slawomir Solecki, as well as invited talks by Clifford Bergman, Alan Dow, Michael Hrusak, Peter Jipsen, Aleksandra Kwiatkowska, Dilip Raghavan, Hiroshi Sakai and Grigor Sargsyan.

Deadline for registrations: May 25, 2015. For more information, please visit http://math.unt.edu/BLAST2015@UNT or email BLAST2015 at UNT.EDU.

Epistemic game theory is a modern and blooming approach to game theory where the reasoning of people is at center stage. More precisely, it investigates the beliefs that people form – about the opponents' choices, but also about the opponents' beliefs – before they make a decision. This course offers a deep introduction into the beautiful world of epistemic game theory, and is open to advanced bachelor students, master students, PhD students and researchers all over the world.

For more information about the course, together with a full program of the course, please visit our course website: http://www.epicenter.name/springcourse/

The European Conference on Argumentation (ECA) is a new pan-European initiative aiming to consolidate and advance various streaks of research into argumentation and reasoning: from philosophical, linguistic, discourse analytic, cognitive, to computational approaches. The chief goal of the initiative is to organize on a regular basis a major conference on argumentation. The first of these conferences will be hosted in Lisbon by the ArgLab, Institute of Philosophy (IFILNOVA), Universidade Nova de Lisboa.

The primary idea behind this first edition of the conference is that argumentation and reasoning are the main vehicles for our decisions and actions. They accompany, indeed constitute, a variety of significant social practices: from individual practical reasoning, small group decisions, deliberations of official bodies in various institutional contexts, to large-scale political and social deliberations. Argumentation is understood here as a mode of action - and not just any action, but a reasoned action, comprised of consideration of reasons (whether they are good or bad). Traditionally, argumentation has been assigned many distinct functions: epistemic, moral, conversational, etc. The aim of the conference is to explore how these functions are interrelated with the practical need for deciding on a course of action. Simply put, our chief concern is with the role argumentation and reasoning play when the question of 'what to do?' is addressed.

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

The Panhellenic Logic Symposium(PLS), a biennial scientific event established in 1997, aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, it has evolved into an international forum for the communication of state-of-the-art advances in logic. The symposium is open to researchers worldwide who work in logic broadly conceived. The 10th Panhellenic Logic Symposium will be hosted by the Department of Mathematics at the University of Aegean, Samos, Greece.

For more information, see https://samosweb.aegean.gr/pls10/ or contact the organizers at pls10 at aegean.gr.

The 20th century has witnessed several attempts to build (parts of) mathematics on grounds other than those provided by classical logic. The goal of this seminar, along with presenting recent advances in particular areas (see the list of topics below), is to provide an opportunity for round-table discussions about the common aspects of various `non-classical' approaches, including similarities between results, proof methods, and methodological questions about the role of classical logic/mathematics in our work.

For more information, see here.

HIGHLIGHTS 2015 is the third conference on Highlights of Logic, Games and Automata which aims at integrating the community working in these fields. A visit to Highlights conference should offer a wide picture of the latest research in the area and a chance to meet everybody in the field, not just those who happen to publish in one particular proceedings volume. The participants present their best work, be it published elsewhere or yet unpublished.

The conference is three days long (Sept. 16-18) and it is preceeded by the Highlights tutorial day (Sept. 15). The contributed talks are around ten minutes. The participation costs are modest (around 80 Euro) and some cheap accomodation close to conference site is arranged. Prague is easy to reach.

Detailed information about Highlights 2015 is available at http://highlights-conference.org.

For many applications, specific domain knowledge is required. Instead of coding such knowledge into a specific system in a way that it can never be changed (hidden in the overall implementation), different logic-based formalisms for representing different kinds of knowledge have been developed in the last 50 years. In this module, we discuss some of these approaches, namely modal logics and description logics.

Description logics are mainly designed to represent and reason about the terminology of an application domain and form the logical underpinning of the Semantic Web ontology language OWL. Modal logics can be used to represent and reason about the behaviour of systems, for example agent based systems. For both logics, automated reasoning tools have been developed to answer queries about the knowledge representation explicitly. This module provides an introduction to various modal and description logics, how to formalise knowledge and questions about this knowledge in these logics, different approaches to automated reasoning for these logics, and the relationship between these logics and first-order logic.

The module is entirely web-based, so a reliable internet connection is essential. Required Time per Week: 8-10 hours. A detailed module outline, learning outcomes, assessment information is available from the module website at http://www.cs.manchester.ac.uk/study/professional-development/study-options/. Registration deadline: 20 February 2015.

BLAST (Boolean Algebras, Lattices, Algebraic & Quantum Logic, Universal Algebra, Set Theory, and Set-theoretic & Point-free Topology) is an annual conference sponsored by the National Science Foundation that has been running since 2008. The University of North Texas is proud to host the BLAST conference this year and looks forward to your participation.

BLAST2015@UNT will feature tutorials by Agata Ciabattoni James Cummings Ralph McKenzie and Slawomir Solecki, as well as invited talks by Clifford Bergman, Alan Dow, Michael Hrusak, Peter Jipsen, Aleksandra Kwiatkowska, Dilip Raghavan, Hiroshi Sakai and Grigor Sargsyan.

Deadline for registrations: May 25, 2015. For more information, please visit http://math.unt.edu/BLAST2015@UNT or email BLAST2015 at UNT.EDU.

Epistemic game theory is a modern and blooming approach to game theory where the reasoning of people is at center stage. More precisely, it investigates the beliefs that people form – about the opponents' choices, but also about the opponents' beliefs – before they make a decision. This course offers a deep introduction into the beautiful world of epistemic game theory, and is open to advanced bachelor students, master students, PhD students and researchers all over the world.

For more information about the course, together with a full program of the course, please visit our course website: http://www.epicenter.name/springcourse/

The European Conference on Argumentation (ECA) is a new pan-European initiative aiming to consolidate and advance various streaks of research into argumentation and reasoning: from philosophical, linguistic, discourse analytic, cognitive, to computational approaches. The chief goal of the initiative is to organize on a regular basis a major conference on argumentation. The first of these conferences will be hosted in Lisbon by the ArgLab, Institute of Philosophy (IFILNOVA), Universidade Nova de Lisboa.

The primary idea behind this first edition of the conference is that argumentation and reasoning are the main vehicles for our decisions and actions. They accompany, indeed constitute, a variety of significant social practices: from individual practical reasoning, small group decisions, deliberations of official bodies in various institutional contexts, to large-scale political and social deliberations. Argumentation is understood here as a mode of action - and not just any action, but a reasoned action, comprised of consideration of reasons (whether they are good or bad). Traditionally, argumentation has been assigned many distinct functions: epistemic, moral, conversational, etc. The aim of the conference is to explore how these functions are interrelated with the practical need for deciding on a course of action. Simply put, our chief concern is with the role argumentation and reasoning play when the question of 'what to do?' is addressed.

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

The Panhellenic Logic Symposium(PLS), a biennial scientific event established in 1997, aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, it has evolved into an international forum for the communication of state-of-the-art advances in logic. The symposium is open to researchers worldwide who work in logic broadly conceived. The 10th Panhellenic Logic Symposium will be hosted by the Department of Mathematics at the University of Aegean, Samos, Greece.

For more information, see https://samosweb.aegean.gr/pls10/ or contact the organizers at pls10 at aegean.gr.

The 20th century has witnessed several attempts to build (parts of) mathematics on grounds other than those provided by classical logic. The goal of this seminar, along with presenting recent advances in particular areas (see the list of topics below), is to provide an opportunity for round-table discussions about the common aspects of various `non-classical' approaches, including similarities between results, proof methods, and methodological questions about the role of classical logic/mathematics in our work.

For more information, see here.

This workshop is held in conjunction with 2015 ICAIL and aims to bring together an interdisciplinary group of researchers in law, artificial intelligence, philosophy and psychology to discuss whether (and if so how) formal, computational and philosophical methods can help us understand key ideas in civil and criminal procedure.

For more information, see https://icail2015evidence.wordpress.com/ or contact marcello.dibello at lehman.cuny.edu.

Epistemic game theory is a modern and blooming approach to game theory where the reasoning of people is at center stage. More precisely, it investigates the beliefs that people form – about the opponents' choices, but also about the opponents' beliefs – before they make a decision. This course offers a deep introduction into the beautiful world of epistemic game theory, and is open to advanced bachelor students, master students, PhD students and researchers all over the world.

For more information about the course, together with a full program of the course, please visit our course website: http://www.epicenter.name/springcourse/

The Panhellenic Logic Symposium(PLS), a biennial scientific event established in 1997, aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, it has evolved into an international forum for the communication of state-of-the-art advances in logic. The symposium is open to researchers worldwide who work in logic broadly conceived. The 10th Panhellenic Logic Symposium will be hosted by the Department of Mathematics at the University of Aegean, Samos, Greece.

For more information, see https://samosweb.aegean.gr/pls10/ or contact the organizers at pls10 at aegean.gr.

The 20th century has witnessed several attempts to build (parts of) mathematics on grounds other than those provided by classical logic. The goal of this seminar, along with presenting recent advances in particular areas (see the list of topics below), is to provide an opportunity for round-table discussions about the common aspects of various `non-classical' approaches, including similarities between results, proof methods, and methodological questions about the role of classical logic/mathematics in our work.

For more information, see here.

Epistemic game theory is a modern and blooming approach to game theory where the reasoning of people is at center stage. More precisely, it investigates the beliefs that people form – about the opponents' choices, but also about the opponents' beliefs – before they make a decision. This course offers a deep introduction into the beautiful world of epistemic game theory, and is open to advanced bachelor students, master students, PhD students and researchers all over the world.

For more information about the course, together with a full program of the course, please visit our course website: http://www.epicenter.name/springcourse/

The Panhellenic Logic Symposium(PLS), a biennial scientific event established in 1997, aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, it has evolved into an international forum for the communication of state-of-the-art advances in logic. The symposium is open to researchers worldwide who work in logic broadly conceived. The 10th Panhellenic Logic Symposium will be hosted by the Department of Mathematics at the University of Aegean, Samos, Greece.

For more information, see https://samosweb.aegean.gr/pls10/ or contact the organizers at pls10 at aegean.gr.

The Hyperuniverse Programme, launched in 2012, and currently pursued within a Templeton-funded research project at the Kurt Gödel Research Center in Vienna, aims to identify and philosophically motivate the adoption of new set-theoretic axioms.

The programme intersects several topics in the philosophy of set theory and of mathematics, such as the nature of mathematical (set-theoretic) truth, the universe/multiverse dichotomy, the alternative conceptions of the set-theoretic multiverse, the conceptual and epistemological status of new axioms and their alternative justificatory frameworks.

The aim of SotFoM III+The Hyperuniverse Programme Joint Conference is to bring together scholars who, over the last years, have contributed mathematically and philosophically to the ongoing work and debate on the foundations and the philosophy of set theory, in particular, to the understanding and the elucidation of the aforementioned topics. The three-day conference, taking place September 21-23 at the KGRC in Vienna, will feature invited and contributed speakers.

For more information, see http://sotfom.wordpress.com/ or contact sotfom at gmail.com.

CCC is a workshop series bringing together researchers from real analysis, computability theory, and constructive mathematics. The overall aim is to apply logical methods in these disciplines to provide a sound foundation for obtaining exact and provably correct algorithms for computations with real numbers and related analytical data, which are of increasing importance in safety critical applications and scientific computation.

For more information, see http://www.cs.swan.ac.uk/ccc2015/ <http://www.cs.swan.ac.uk/ccc2015/>

Epistemic game theory is a modern and blooming approach to game theory where the reasoning of people is at center stage. More precisely, it investigates the beliefs that people form – about the opponents' choices, but also about the opponents' beliefs – before they make a decision. This course offers a deep introduction into the beautiful world of epistemic game theory, and is open to advanced bachelor students, master students, PhD students and researchers all over the world.

For more information about the course, together with a full program of the course, please visit our course website: http://www.epicenter.name/springcourse/

The Panhellenic Logic Symposium(PLS), a biennial scientific event established in 1997, aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, it has evolved into an international forum for the communication of state-of-the-art advances in logic. The symposium is open to researchers worldwide who work in logic broadly conceived. The 10th Panhellenic Logic Symposium will be hosted by the Department of Mathematics at the University of Aegean, Samos, Greece.

For more information, see https://samosweb.aegean.gr/pls10/ or contact the organizers at pls10 at aegean.gr.

Logica 2015 is the 29th in the series of annual international symposia devoted to logic. The official language of the symposium is English.

Invited speakers are Patricia Blanchette, Walter Carnielli, Melvin Fitting, and Peter Milne.

For more information, see http://logika.flu.cas.cz/cz/logica/logica-2015 or email logica at flu.cas.cz.

Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterised by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The programme of the conference TACL 2015 will focus on three interconnecting mathematical themes central to the semantic study of logics and their applications: algebraic, categorical, and topological methods. This is the seventh conference in the series Topology, Algebra, and Categories in Logic (TACL).

Starting from 2013, the conference TACL -Topology, Algebra, and Categories in Logic- is preceded by a one-week school. In 2015 the school will be held at the campus of the University of Salerno and will include four tutorials, each consisting of 1.5 hour lectures for five days.

For more information, see http://logica.dmi.unisa.it/tacl/, or contact the local Organising Committee at tacl2015oc at gmail.com or the Programme Committee at tacl2015ed at gmail.com.

Epistemic game theory is a modern and blooming approach to game theory where the reasoning of people is at center stage. More precisely, it investigates the beliefs that people form – about the opponents' choices, but also about the opponents' beliefs – before they make a decision. This course offers a deep introduction into the beautiful world of epistemic game theory, and is open to advanced bachelor students, master students, PhD students and researchers all over the world.

For more information about the course, together with a full program of the course, please visit our course website: http://www.epicenter.name/springcourse/

Logica 2015 is the 29th in the series of annual international symposia devoted to logic. The official language of the symposium is English.

Invited speakers are Patricia Blanchette, Walter Carnielli, Melvin Fitting, and Peter Milne.

For more information, see http://logika.flu.cas.cz/cz/logica/logica-2015 or email logica at flu.cas.cz.

Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterised by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The programme of the conference TACL 2015 will focus on three interconnecting mathematical themes central to the semantic study of logics and their applications: algebraic, categorical, and topological methods. This is the seventh conference in the series Topology, Algebra, and Categories in Logic (TACL).

Starting from 2013, the conference TACL -Topology, Algebra, and Categories in Logic- is preceded by a one-week school. In 2015 the school will be held at the campus of the University of Salerno and will include four tutorials, each consisting of 1.5 hour lectures for five days.

For more information, see http://logica.dmi.unisa.it/tacl/, or contact the local Organising Committee at tacl2015oc at gmail.com or the Programme Committee at tacl2015ed at gmail.com.

Agent-based Computing addresses the challenges in managing distributed computing systems and networks through monitoring, communication, consensus-based decision-making and coordinated actuation. As a result, intelligent agents and multi-agent systems have demonstrated the capability to use intelligence, knowledge representation and reasoning, and other social metaphors like 'trust', 'game' and 'institution', not only to address real-world problems in a human-like way but also to transcend human performance. This has had a transformative impact in many application domains, particularly in e-commerce, and also in planning, logistics, manufacturing, robotics, decision support, transportation, entertainment, emergency relief & disaster management, and data mining & analytics.

For more information, see http://prima2015.apice.unibo.it/

Epistemic game theory is a modern and blooming approach to game theory where the reasoning of people is at center stage. More precisely, it investigates the beliefs that people form – about the opponents' choices, but also about the opponents' beliefs – before they make a decision. This course offers a deep introduction into the beautiful world of epistemic game theory, and is open to advanced bachelor students, master students, PhD students and researchers all over the world.

For more information about the course, together with a full program of the course, please visit our course website: http://www.epicenter.name/springcourse/

Logica 2015 is the 29th in the series of annual international symposia devoted to logic. The official language of the symposium is English.

Invited speakers are Patricia Blanchette, Walter Carnielli, Melvin Fitting, and Peter Milne.

For more information, see http://logika.flu.cas.cz/cz/logica/logica-2015 or email logica at flu.cas.cz.

Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterised by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The programme of the conference TACL 2015 will focus on three interconnecting mathematical themes central to the semantic study of logics and their applications: algebraic, categorical, and topological methods. This is the seventh conference in the series Topology, Algebra, and Categories in Logic (TACL).

Starting from 2013, the conference TACL -Topology, Algebra, and Categories in Logic- is preceded by a one-week school. In 2015 the school will be held at the campus of the University of Salerno and will include four tutorials, each consisting of 1.5 hour lectures for five days.

For more information, see http://logica.dmi.unisa.it/tacl/, or contact the local Organising Committee at tacl2015oc at gmail.com or the Programme Committee at tacl2015ed at gmail.com.

The Decisions, Games and Logic (DGL) workshop series started in 2007 and aims to bring together graduate students, post-docs and senior researchers from economics, logic and philosophy working on formal approaches to rational individual and interactive decision making.

DGL 2015 will be hosted by the Department of Philosophy, Logic and Scientific Method at the London School of Economics on 17-19 June 2015. The details of this year's workshop and the CFP can be found at the conference website at http://personal.lse.ac.uk/marcoci/dgl2015.html, or contact philosophy.probability at lse.ac.uk.

Since 1995, the NLDB conference aims at bringing together researchers, industrials and potential users interested in various applications of Natural Language in the Database and Information Systems field. The integration of databases and natural language has been an utopia for many years. However, progress has been made and this is now an established field thanks to developments in Natural Language and technologies that made the storage and manipulation of large linguistic resources and datasets possible. The use of Natural Language in Software Engineering has contributed to both improving the development process from the viewpoints of developers (improve the process of conceptual modeling, validation, etc) and the usability of applications by users (natural language query interfaces, etc). NLDB'15 will take place in Passau, Germany.

For more information, see http://nldb2015.org/

Epistemic game theory is a modern and blooming approach to game theory where the reasoning of people is at center stage. More precisely, it investigates the beliefs that people form – about the opponents' choices, but also about the opponents' beliefs – before they make a decision. This course offers a deep introduction into the beautiful world of epistemic game theory, and is open to advanced bachelor students, master students, PhD students and researchers all over the world.

For more information about the course, together with a full program of the course, please visit our course website: http://www.epicenter.name/springcourse/

Logica 2015 is the 29th in the series of annual international symposia devoted to logic. The official language of the symposium is English.

Invited speakers are Patricia Blanchette, Walter Carnielli, Melvin Fitting, and Peter Milne.

For more information, see http://logika.flu.cas.cz/cz/logica/logica-2015 or email logica at flu.cas.cz.

Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterised by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The programme of the conference TACL 2015 will focus on three interconnecting mathematical themes central to the semantic study of logics and their applications: algebraic, categorical, and topological methods. This is the seventh conference in the series Topology, Algebra, and Categories in Logic (TACL).

Starting from 2013, the conference TACL -Topology, Algebra, and Categories in Logic- is preceded by a one-week school. In 2015 the school will be held at the campus of the University of Salerno and will include four tutorials, each consisting of 1.5 hour lectures for five days.

For more information, see http://logica.dmi.unisa.it/tacl/, or contact the local Organising Committee at tacl2015oc at gmail.com or the Programme Committee at tacl2015ed at gmail.com.

The Decisions, Games and Logic (DGL) workshop series started in 2007 and aims to bring together graduate students, post-docs and senior researchers from economics, logic and philosophy working on formal approaches to rational individual and interactive decision making.

DGL 2015 will be hosted by the Department of Philosophy, Logic and Scientific Method at the London School of Economics on 17-19 June 2015. The details of this year's workshop and the CFP can be found at the conference website at http://personal.lse.ac.uk/marcoci/dgl2015.html, or contact philosophy.probability at lse.ac.uk.

Since 1995, the NLDB conference aims at bringing together researchers, industrials and potential users interested in various applications of Natural Language in the Database and Information Systems field. The integration of databases and natural language has been an utopia for many years. However, progress has been made and this is now an established field thanks to developments in Natural Language and technologies that made the storage and manipulation of large linguistic resources and datasets possible. The use of Natural Language in Software Engineering has contributed to both improving the development process from the viewpoints of developers (improve the process of conceptual modeling, validation, etc) and the usability of applications by users (natural language query interfaces, etc). NLDB'15 will take place in Passau, Germany.

For more information, see http://nldb2015.org/

The DHST commission for the history and philosophy of computing (www.hapoc.org) is happy to announce the third HAPOC conference. The series aims at creating an interdisciplinary focus on computing, stimulating a dialogue between the historical and philosophical viewpoints. To this end, the conference hopes to bring together researchers interested in the historical developments of computing, as well as those reflecting on the sociological and philosophical issues springing from the rise and ubiquity of computing machines in the contemporary landscape. In the past editions, the conference has successfully presented a variety of voices, contributing to the creation of a fruitful dialogue between researchers with different backgrounds and sensibilities.

Please check out the website of HaPoC 2015 for more information on the conference at http://hapoc2015.sciencesconf.org

Epistemic game theory is a modern and blooming approach to game theory where the reasoning of people is at center stage. More precisely, it investigates the beliefs that people form – about the opponents' choices, but also about the opponents' beliefs – before they make a decision. This course offers a deep introduction into the beautiful world of epistemic game theory, and is open to advanced bachelor students, master students, PhD students and researchers all over the world.

For more information about the course, together with a full program of the course, please visit our course website: http://www.epicenter.name/springcourse/

Logica 2015 is the 29th in the series of annual international symposia devoted to logic. The official language of the symposium is English.

Invited speakers are Patricia Blanchette, Walter Carnielli, Melvin Fitting, and Peter Milne.

For more information, see http://logika.flu.cas.cz/cz/logica/logica-2015 or email logica at flu.cas.cz.

Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterised by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The programme of the conference TACL 2015 will focus on three interconnecting mathematical themes central to the semantic study of logics and their applications: algebraic, categorical, and topological methods. This is the seventh conference in the series Topology, Algebra, and Categories in Logic (TACL).

Starting from 2013, the conference TACL -Topology, Algebra, and Categories in Logic- is preceded by a one-week school. In 2015 the school will be held at the campus of the University of Salerno and will include four tutorials, each consisting of 1.5 hour lectures for five days.

For more information, see http://logica.dmi.unisa.it/tacl/, or contact the local Organising Committee at tacl2015oc at gmail.com or the Programme Committee at tacl2015ed at gmail.com.

The Decisions, Games and Logic (DGL) workshop series started in 2007 and aims to bring together graduate students, post-docs and senior researchers from economics, logic and philosophy working on formal approaches to rational individual and interactive decision making.

DGL 2015 will be hosted by the Department of Philosophy, Logic and Scientific Method at the London School of Economics on 17-19 June 2015. The details of this year's workshop and the CFP can be found at the conference website at http://personal.lse.ac.uk/marcoci/dgl2015.html, or contact philosophy.probability at lse.ac.uk.

Since 1995, the NLDB conference aims at bringing together researchers, industrials and potential users interested in various applications of Natural Language in the Database and Information Systems field. The integration of databases and natural language has been an utopia for many years. However, progress has been made and this is now an established field thanks to developments in Natural Language and technologies that made the storage and manipulation of large linguistic resources and datasets possible. The use of Natural Language in Software Engineering has contributed to both improving the development process from the viewpoints of developers (improve the process of conceptual modeling, validation, etc) and the usability of applications by users (natural language query interfaces, etc). NLDB'15 will take place in Passau, Germany.

For more information, see http://nldb2015.org/

Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterised by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The programme of the conference TACL 2015 will focus on three interconnecting mathematical themes central to the semantic study of logics and their applications: algebraic, categorical, and topological methods. This is the seventh conference in the series Topology, Algebra, and Categories in Logic (TACL).

Starting from 2013, the conference TACL -Topology, Algebra, and Categories in Logic- is preceded by a one-week school. In 2015 the school will be held at the campus of the University of Salerno and will include four tutorials, each consisting of 1.5 hour lectures for five days.

For more information, see http://logica.dmi.unisa.it/tacl/, or contact the local Organising Committee at tacl2015oc at gmail.com or the Programme Committee at tacl2015ed at gmail.com.

This is the fifth edition of a world event dedicated to universal logic. This event is a combination of a school and a congress. The school offers many turorials on a wide range of subjects. The congress will follow with invited talks by some of the best alive logicians and a selection of contributed talks. As in previous eiditons there will also be a contest and secret speaker.

This event is intended to be a major event in logic, providing a platform for future research guidelines. Such an event is of interest for all people dealing with logic in one way or another: pure logicians, mathematicians, computer scientists, AI researchers, linguists, psychologists, philosophers, etc.

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

Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterised by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The programme of the conference TACL 2015 will focus on three interconnecting mathematical themes central to the semantic study of logics and their applications: algebraic, categorical, and topological methods. This is the seventh conference in the series Topology, Algebra, and Categories in Logic (TACL).

Starting from 2013, the conference TACL -Topology, Algebra, and Categories in Logic- is preceded by a one-week school. In 2015 the school will be held at the campus of the University of Salerno and will include four tutorials, each consisting of 1.5 hour lectures for five days.

For more information, see http://logica.dmi.unisa.it/tacl/, or contact the local Organising Committee at tacl2015oc at gmail.com or the Programme Committee at tacl2015ed at gmail.com.

This is the fifth edition of a world event dedicated to universal logic. This event is a combination of a school and a congress. The school offers many turorials on a wide range of subjects. The congress will follow with invited talks by some of the best alive logicians and a selection of contributed talks. As in previous eiditons there will also be a contest and secret speaker.

This event is intended to be a major event in logic, providing a platform for future research guidelines. Such an event is of interest for all people dealing with logic in one way or another: pure logicians, mathematicians, computer scientists, AI researchers, linguists, psychologists, philosophers, etc.

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

Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterised by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The programme of the conference TACL 2015 will focus on three interconnecting mathematical themes central to the semantic study of logics and their applications: algebraic, categorical, and topological methods. This is the seventh conference in the series Topology, Algebra, and Categories in Logic (TACL).

Starting from 2013, the conference TACL -Topology, Algebra, and Categories in Logic- is preceded by a one-week school. In 2015 the school will be held at the campus of the University of Salerno and will include four tutorials, each consisting of 1.5 hour lectures for five days.

For more information, see http://logica.dmi.unisa.it/tacl/, or contact the local Organising Committee at tacl2015oc at gmail.com or the Programme Committee at tacl2015ed at gmail.com.

This is the fifth edition of a world event dedicated to universal logic. This event is a combination of a school and a congress. The school offers many turorials on a wide range of subjects. The congress will follow with invited talks by some of the best alive logicians and a selection of contributed talks. As in previous eiditons there will also be a contest and secret speaker.

This event is intended to be a major event in logic, providing a platform for future research guidelines. Such an event is of interest for all people dealing with logic in one way or another: pure logicians, mathematicians, computer scientists, AI researchers, linguists, psychologists, philosophers, etc.

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

Attendance: is free. There is no need to register in advance; simply turn up on the day. Speakers include Matt Parker, Bruno Whittle, Mary Leng, Toby Meadows and Tom Donaldson. The conference is generously funded by Maury Friedman. For more information, see here

The international conference series Finite-State Methods and Natural Language Processing (FSMNLP) is the premier forum of the ACL Special Interest Group on Finite-State Methods (SIGFSM). It serves researchers and practitioners working on (i) natural language processing (NLP) applications or language resources, or (ii) theoretical and implementational aspects or their combinations, that have obvious relevance or an explicit relation to finite-state methods.

For more information, see http://fsmnlp2015.phil.hhu.de

MFPS conferences are dedicated to the areas of mathematics, logic, and computer science that are related to models of computation in general, and to semantics of programming languages in particular. This is a forum where researchers in mathematics and computer science can meet and exchange ideas. The participation of researchers in neighbouring areas is strongly encouraged. The 31st MFPS will be co-located with the 6th Conference on Algebra and Coalgebra in Computer Science (CALCO)

For more information, see http://events.cs.bham.ac.uk/mfps31/

A workshop ``Clusters, Games and Axioms'' will take place from 22 June 2015 through 26 June 2015 at the Lorentz Center in Leiden, The Netherlands. The workshop has no registration fee and is open to PhD students, PostDocs and researchers interested in the topic.

Registration is necessary as the number of participants is limited to 45. The deadline for registration is 31 May, 2015.

Detailed information about the workshop, including registration form, can be found at http://www.lorentzcenter.nl/lc/web/2015/702/info.php3?wsid=702&venue=Oort.

CCR 2015 will be held in Heidelberg, in the Institute of Computer Science, from the 22nd to the 26th of June 2015. The conference will be in the tradition of the previous meetings Cordoba, Buenos Aires, Nanjing, Luminy, Notre Dame, Cape Town, Cambridge, Moscow and Singapore. Topics covered include: Algorithmic randomness, Computability theory, Kolmogorov complexity, Computational complexity, Reverse mathematics and logic, and Randomness in networks and applications to biology.

For more information, see http://math.uni-heidelberg.de/logic/conferences/ccr2015/

Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterised by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The programme of the conference TACL 2015 will focus on three interconnecting mathematical themes central to the semantic study of logics and their applications: algebraic, categorical, and topological methods. This is the seventh conference in the series Topology, Algebra, and Categories in Logic (TACL).

Starting from 2013, the conference TACL -Topology, Algebra, and Categories in Logic- is preceded by a one-week school. In 2015 the school will be held at the campus of the University of Salerno and will include four tutorials, each consisting of 1.5 hour lectures for five days.

For more information, see http://logica.dmi.unisa.it/tacl/, or contact the local Organising Committee at tacl2015oc at gmail.com or the Programme Committee at tacl2015ed at gmail.com.

This is the fifth edition of a world event dedicated to universal logic. This event is a combination of a school and a congress. The school offers many turorials on a wide range of subjects. The congress will follow with invited talks by some of the best alive logicians and a selection of contributed talks. As in previous eiditons there will also be a contest and secret speaker.

This event is intended to be a major event in logic, providing a platform for future research guidelines. Such an event is of interest for all people dealing with logic in one way or another: pure logicians, mathematicians, computer scientists, AI researchers, linguists, psychologists, philosophers, etc.

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

The international conference series Finite-State Methods and Natural Language Processing (FSMNLP) is the premier forum of the ACL Special Interest Group on Finite-State Methods (SIGFSM). It serves researchers and practitioners working on (i) natural language processing (NLP) applications or language resources, or (ii) theoretical and implementational aspects or their combinations, that have obvious relevance or an explicit relation to finite-state methods.

For more information, see http://fsmnlp2015.phil.hhu.de

MFPS conferences are dedicated to the areas of mathematics, logic, and computer science that are related to models of computation in general, and to semantics of programming languages in particular. This is a forum where researchers in mathematics and computer science can meet and exchange ideas. The participation of researchers in neighbouring areas is strongly encouraged. The 31st MFPS will be co-located with the 6th Conference on Algebra and Coalgebra in Computer Science (CALCO)

For more information, see http://events.cs.bham.ac.uk/mfps31/

A workshop ``Clusters, Games and Axioms'' will take place from 22 June 2015 through 26 June 2015 at the Lorentz Center in Leiden, The Netherlands. The workshop has no registration fee and is open to PhD students, PostDocs and researchers interested in the topic.

Registration is necessary as the number of participants is limited to 45. The deadline for registration is 31 May, 2015.

Detailed information about the workshop, including registration form, can be found at http://www.lorentzcenter.nl/lc/web/2015/702/info.php3?wsid=702&venue=Oort.

CCR 2015 will be held in Heidelberg, in the Institute of Computer Science, from the 22nd to the 26th of June 2015. The conference will be in the tradition of the previous meetings Cordoba, Buenos Aires, Nanjing, Luminy, Notre Dame, Cape Town, Cambridge, Moscow and Singapore. Topics covered include: Algorithmic randomness, Computability theory, Kolmogorov complexity, Computational complexity, Reverse mathematics and logic, and Randomness in networks and applications to biology.

For more information, see http://math.uni-heidelberg.de/logic/conferences/ccr2015/

Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterised by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The programme of the conference TACL 2015 will focus on three interconnecting mathematical themes central to the semantic study of logics and their applications: algebraic, categorical, and topological methods. This is the seventh conference in the series Topology, Algebra, and Categories in Logic (TACL).

Starting from 2013, the conference TACL -Topology, Algebra, and Categories in Logic- is preceded by a one-week school. In 2015 the school will be held at the campus of the University of Salerno and will include four tutorials, each consisting of 1.5 hour lectures for five days.

For more information, see http://logica.dmi.unisa.it/tacl/, or contact the local Organising Committee at tacl2015oc at gmail.com or the Programme Committee at tacl2015ed at gmail.com.

This is the fifth edition of a world event dedicated to universal logic. This event is a combination of a school and a congress. The school offers many turorials on a wide range of subjects. The congress will follow with invited talks by some of the best alive logicians and a selection of contributed talks. As in previous eiditons there will also be a contest and secret speaker.

This event is intended to be a major event in logic, providing a platform for future research guidelines. Such an event is of interest for all people dealing with logic in one way or another: pure logicians, mathematicians, computer scientists, AI researchers, linguists, psychologists, philosophers, etc.

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

The international conference series Finite-State Methods and Natural Language Processing (FSMNLP) is the premier forum of the ACL Special Interest Group on Finite-State Methods (SIGFSM). It serves researchers and practitioners working on (i) natural language processing (NLP) applications or language resources, or (ii) theoretical and implementational aspects or their combinations, that have obvious relevance or an explicit relation to finite-state methods.

For more information, see http://fsmnlp2015.phil.hhu.de

MFPS conferences are dedicated to the areas of mathematics, logic, and computer science that are related to models of computation in general, and to semantics of programming languages in particular. This is a forum where researchers in mathematics and computer science can meet and exchange ideas. The participation of researchers in neighbouring areas is strongly encouraged. The 31st MFPS will be co-located with the 6th Conference on Algebra and Coalgebra in Computer Science (CALCO)

For more information, see http://events.cs.bham.ac.uk/mfps31/

A workshop ``Clusters, Games and Axioms'' will take place from 22 June 2015 through 26 June 2015 at the Lorentz Center in Leiden, The Netherlands. The workshop has no registration fee and is open to PhD students, PostDocs and researchers interested in the topic.

Registration is necessary as the number of participants is limited to 45. The deadline for registration is 31 May, 2015.

Detailed information about the workshop, including registration form, can be found at http://www.lorentzcenter.nl/lc/web/2015/702/info.php3?wsid=702&venue=Oort.

CCR 2015 will be held in Heidelberg, in the Institute of Computer Science, from the 22nd to the 26th of June 2015. The conference will be in the tradition of the previous meetings Cordoba, Buenos Aires, Nanjing, Luminy, Notre Dame, Cape Town, Cambridge, Moscow and Singapore. Topics covered include: Algorithmic randomness, Computability theory, Kolmogorov complexity, Computational complexity, Reverse mathematics and logic, and Randomness in networks and applications to biology.

For more information, see http://math.uni-heidelberg.de/logic/conferences/ccr2015/

CALCO aims to bring together researchers and practitioners with interests in foundational aspects, and both traditional and emerging uses of algebra and coalgebra in computer science. It is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science), and WADT (the Workshop on Algebraic Development Techniques).

For more information, see http://coalg.org/calco15/

The Society for Philosophy of Science in Practice (SPSP) is an interdisciplinary community of scholars who approach the philosophy of science with a focus on scientific practice and the practical uses of scientific knowledge. The SPSP conferences provide a broad forum for scholars committed to making detailed and systematic studies of scientific practices - neither dismissing concerns about truth and rationality, nor ignoring contextual and pragmatic factors. The conferences aim at cutting through traditional disciplinary barriers and developing novel approaches.

Keynote speakers will include: Marcel Boumans (Eramus University of Rotterdam), Nancy J. Nerssessian (Georgia Institute of Technology), Hans-Jörg Rheinberger (Max Planck Institute for the History of Science), and Léna Soler (University of Paris-I). There will be a pre-conference workshop on teaching philosophy of science to scientists to be held at Aarhus University, Aarhus on 23 June, as well as a pre-conference casual social event that evening.

For more information on local arrangements and updates on the conference, please see http://spsp2015.au.dk/, or contact Sabina Leonelli, S.Leonelli at exeter.ac.uk.

Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterised by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The programme of the conference TACL 2015 will focus on three interconnecting mathematical themes central to the semantic study of logics and their applications: algebraic, categorical, and topological methods. This is the seventh conference in the series Topology, Algebra, and Categories in Logic (TACL).

Starting from 2013, the conference TACL -Topology, Algebra, and Categories in Logic- is preceded by a one-week school. In 2015 the school will be held at the campus of the University of Salerno and will include four tutorials, each consisting of 1.5 hour lectures for five days.

For more information, see http://logica.dmi.unisa.it/tacl/, or contact the local Organising Committee at tacl2015oc at gmail.com or the Programme Committee at tacl2015ed at gmail.com.

This is the fifth edition of a world event dedicated to universal logic. This event is a combination of a school and a congress. The school offers many turorials on a wide range of subjects. The congress will follow with invited talks by some of the best alive logicians and a selection of contributed talks. As in previous eiditons there will also be a contest and secret speaker.

This event is intended to be a major event in logic, providing a platform for future research guidelines. Such an event is of interest for all people dealing with logic in one way or another: pure logicians, mathematicians, computer scientists, AI researchers, linguists, psychologists, philosophers, etc.

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

MFPS conferences are dedicated to the areas of mathematics, logic, and computer science that are related to models of computation in general, and to semantics of programming languages in particular. This is a forum where researchers in mathematics and computer science can meet and exchange ideas. The participation of researchers in neighbouring areas is strongly encouraged. The 31st MFPS will be co-located with the 6th Conference on Algebra and Coalgebra in Computer Science (CALCO)

For more information, see http://events.cs.bham.ac.uk/mfps31/

A workshop ``Clusters, Games and Axioms'' will take place from 22 June 2015 through 26 June 2015 at the Lorentz Center in Leiden, The Netherlands. The workshop has no registration fee and is open to PhD students, PostDocs and researchers interested in the topic.

Registration is necessary as the number of participants is limited to 45. The deadline for registration is 31 May, 2015.

Detailed information about the workshop, including registration form, can be found at http://www.lorentzcenter.nl/lc/web/2015/702/info.php3?wsid=702&venue=Oort.

CCR 2015 will be held in Heidelberg, in the Institute of Computer Science, from the 22nd to the 26th of June 2015. The conference will be in the tradition of the previous meetings Cordoba, Buenos Aires, Nanjing, Luminy, Notre Dame, Cape Town, Cambridge, Moscow and Singapore. Topics covered include: Algorithmic randomness, Computability theory, Kolmogorov complexity, Computational complexity, Reverse mathematics and logic, and Randomness in networks and applications to biology.

For more information, see http://math.uni-heidelberg.de/logic/conferences/ccr2015/

CALCO aims to bring together researchers and practitioners with interests in foundational aspects, and both traditional and emerging uses of algebra and coalgebra in computer science. It is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science), and WADT (the Workshop on Algebraic Development Techniques).

For more information, see http://coalg.org/calco15/

The Society for Philosophy of Science in Practice (SPSP) is an interdisciplinary community of scholars who approach the philosophy of science with a focus on scientific practice and the practical uses of scientific knowledge. The SPSP conferences provide a broad forum for scholars committed to making detailed and systematic studies of scientific practices - neither dismissing concerns about truth and rationality, nor ignoring contextual and pragmatic factors. The conferences aim at cutting through traditional disciplinary barriers and developing novel approaches.

Keynote speakers will include: Marcel Boumans (Eramus University of Rotterdam), Nancy J. Nerssessian (Georgia Institute of Technology), Hans-Jörg Rheinberger (Max Planck Institute for the History of Science), and Léna Soler (University of Paris-I). There will be a pre-conference workshop on teaching philosophy of science to scientists to be held at Aarhus University, Aarhus on 23 June, as well as a pre-conference casual social event that evening.

For more information on local arrangements and updates on the conference, please see http://spsp2015.au.dk/, or contact Sabina Leonelli, S.Leonelli at exeter.ac.uk.

The goal of this workshop is to explore questions about the morpho-syntax, semantics and underlying ontology of words and constructions used to describe dispositions. The central aim of the workshop is to develop a better understanding of how existing and novel insights from different approaches to dispositions can be integrated into a single theory of dispositions and their linguistic descriptions.

For more information, see the Workshop homepage at https://sites.google.com/site/dispositions2015/ or contact dispositions.workshop at gmail.com.

Logic as a discipline is not characterized by a stable scope throughout its history. True enough, the historical influence of Aristotelian logic over the centuries is something of a common denominator in Western philosophy. But Aristotelian logic certainly was not alone (see stoic logic for instance), not to mention non-western logics. Even within the Aristotelian tradition there is significant variability. Furthermore, as is well known, in the 19th century logic as a discipline underwent a radical modification, with the development of mathematical logic. This workshop, held at the 5th World Congress on Universal Logic in Istanbul, will focus on both the diversity and the unity of logic through time.

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

Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterised by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The programme of the conference TACL 2015 will focus on three interconnecting mathematical themes central to the semantic study of logics and their applications: algebraic, categorical, and topological methods. This is the seventh conference in the series Topology, Algebra, and Categories in Logic (TACL).

Starting from 2013, the conference TACL -Topology, Algebra, and Categories in Logic- is preceded by a one-week school. In 2015 the school will be held at the campus of the University of Salerno and will include four tutorials, each consisting of 1.5 hour lectures for five days.

For more information, see http://logica.dmi.unisa.it/tacl/, or contact the local Organising Committee at tacl2015oc at gmail.com or the Programme Committee at tacl2015ed at gmail.com.

This is the fifth edition of a world event dedicated to universal logic. This event is a combination of a school and a congress. The school offers many turorials on a wide range of subjects. The congress will follow with invited talks by some of the best alive logicians and a selection of contributed talks. As in previous eiditons there will also be a contest and secret speaker.

This event is intended to be a major event in logic, providing a platform for future research guidelines. Such an event is of interest for all people dealing with logic in one way or another: pure logicians, mathematicians, computer scientists, AI researchers, linguists, psychologists, philosophers, etc.

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

A workshop ``Clusters, Games and Axioms'' will take place from 22 June 2015 through 26 June 2015 at the Lorentz Center in Leiden, The Netherlands. The workshop has no registration fee and is open to PhD students, PostDocs and researchers interested in the topic.

Registration is necessary as the number of participants is limited to 45. The deadline for registration is 31 May, 2015.

Detailed information about the workshop, including registration form, can be found at http://www.lorentzcenter.nl/lc/web/2015/702/info.php3?wsid=702&venue=Oort.

CCR 2015 will be held in Heidelberg, in the Institute of Computer Science, from the 22nd to the 26th of June 2015. The conference will be in the tradition of the previous meetings Cordoba, Buenos Aires, Nanjing, Luminy, Notre Dame, Cape Town, Cambridge, Moscow and Singapore. Topics covered include: Algorithmic randomness, Computability theory, Kolmogorov complexity, Computational complexity, Reverse mathematics and logic, and Randomness in networks and applications to biology.

For more information, see http://math.uni-heidelberg.de/logic/conferences/ccr2015/

CALCO aims to bring together researchers and practitioners with interests in foundational aspects, and both traditional and emerging uses of algebra and coalgebra in computer science. It is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science), and WADT (the Workshop on Algebraic Development Techniques).

For more information, see http://coalg.org/calco15/

The Society for Philosophy of Science in Practice (SPSP) is an interdisciplinary community of scholars who approach the philosophy of science with a focus on scientific practice and the practical uses of scientific knowledge. The SPSP conferences provide a broad forum for scholars committed to making detailed and systematic studies of scientific practices - neither dismissing concerns about truth and rationality, nor ignoring contextual and pragmatic factors. The conferences aim at cutting through traditional disciplinary barriers and developing novel approaches.

Keynote speakers will include: Marcel Boumans (Eramus University of Rotterdam), Nancy J. Nerssessian (Georgia Institute of Technology), Hans-Jörg Rheinberger (Max Planck Institute for the History of Science), and Léna Soler (University of Paris-I). There will be a pre-conference workshop on teaching philosophy of science to scientists to be held at Aarhus University, Aarhus on 23 June, as well as a pre-conference casual social event that evening.

For more information on local arrangements and updates on the conference, please see http://spsp2015.au.dk/, or contact Sabina Leonelli, S.Leonelli at exeter.ac.uk.

The goal of this workshop is to explore questions about the morpho-syntax, semantics and underlying ontology of words and constructions used to describe dispositions. The central aim of the workshop is to develop a better understanding of how existing and novel insights from different approaches to dispositions can be integrated into a single theory of dispositions and their linguistic descriptions.

For more information, see the Workshop homepage at https://sites.google.com/site/dispositions2015/ or contact dispositions.workshop at gmail.com.

Logic as a discipline is not characterized by a stable scope throughout its history. True enough, the historical influence of Aristotelian logic over the centuries is something of a common denominator in Western philosophy. But Aristotelian logic certainly was not alone (see stoic logic for instance), not to mention non-western logics. Even within the Aristotelian tradition there is significant variability. Furthermore, as is well known, in the 19th century logic as a discipline underwent a radical modification, with the development of mathematical logic. This workshop, held at the 5th World Congress on Universal Logic in Istanbul, will focus on both the diversity and the unity of logic through time.

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

This is the fifth edition of a world event dedicated to universal logic. This event is a combination of a school and a congress. The school offers many turorials on a wide range of subjects. The congress will follow with invited talks by some of the best alive logicians and a selection of contributed talks. As in previous eiditons there will also be a contest and secret speaker.

This event is intended to be a major event in logic, providing a platform for future research guidelines. Such an event is of interest for all people dealing with logic in one way or another: pure logicians, mathematicians, computer scientists, AI researchers, linguists, psychologists, philosophers, etc.

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

The goal of this workshop is to explore questions about the morpho-syntax, semantics and underlying ontology of words and constructions used to describe dispositions. The central aim of the workshop is to develop a better understanding of how existing and novel insights from different approaches to dispositions can be integrated into a single theory of dispositions and their linguistic descriptions.

For more information, see the Workshop homepage at https://sites.google.com/site/dispositions2015/ or contact dispositions.workshop at gmail.com.

Logic as a discipline is not characterized by a stable scope throughout its history. True enough, the historical influence of Aristotelian logic over the centuries is something of a common denominator in Western philosophy. But Aristotelian logic certainly was not alone (see stoic logic for instance), not to mention non-western logics. Even within the Aristotelian tradition there is significant variability. Furthermore, as is well known, in the 19th century logic as a discipline underwent a radical modification, with the development of mathematical logic. This workshop, held at the 5th World Congress on Universal Logic in Istanbul, will focus on both the diversity and the unity of logic through time.

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

There is an ongoing philosophical and logical debate about motivations in accepting or rejecting the principle (law) of (non-)contradiction and the principle (law) of excluded middle. A logic rejecting the principle of non-contradiction is called *paraconsistent* and a logic rejecting the principle of excluded middle is called *paracomplete*. But what does it really mean to reject a classical principle (law)? And what are the philosophical consequences for this refusal? In which sense would it still be possible to defend nowadays that there is just one true logic?

This workshop, held at the 5th World Congress on Universal Logic in Istanbul, shall represent a privileged platform to evaluate proposals for a more integrated and general approach to philosophical motivations and consequences in the emergence of non-classical logics. Keynote speaker: Graham Priest (CUNY).

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

Improved computational models of semantics hold great promise for applications in language technology, be it semantics at the lexical level, sentence level or discourse level. Large-scale corpora with corresponding annotations (word senses, propositions, attributions and discourse relations) are making it possible to develop statistical models for many tasks and applications. However, developments in lexical and sentence-level semantics remain largely distinct from those in discourse semantics. This workshop aims at bridging this gap by bringing together researchers to discuss how multiple levels of semantics can be integrated and implemented in various applications.

Our goal is to gather and showcase theoretical and computational approaches to joint models of semantics, and applications that incorporate multi-level semantics. We hope to bring together researchers from various areas: computational linguistics who strive for more expressive models of language understanding, linguists and cognitive scientists interested in aspects of representing text with multiple levels of semantics, machine learning researchers interested in joint inference over different types of semantic cues, and also researchers who are interested in applications that require or will benefit from multi-level semantics. A dialog between researchers has great potential to advance work in each of these areas and bring about more powerful and enriched models of text semantics.

For more information, see http://homepages.inf.ed.ac.uk/mroth/LSDSem/

This is the fifth edition of a world event dedicated to universal logic. This event is a combination of a school and a congress. The school offers many turorials on a wide range of subjects. The congress will follow with invited talks by some of the best alive logicians and a selection of contributed talks. As in previous eiditons there will also be a contest and secret speaker.

This event is intended to be a major event in logic, providing a platform for future research guidelines. Such an event is of interest for all people dealing with logic in one way or another: pure logicians, mathematicians, computer scientists, AI researchers, linguists, psychologists, philosophers, etc.

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

Logic as a discipline is not characterized by a stable scope throughout its history. True enough, the historical influence of Aristotelian logic over the centuries is something of a common denominator in Western philosophy. But Aristotelian logic certainly was not alone (see stoic logic for instance), not to mention non-western logics. Even within the Aristotelian tradition there is significant variability. Furthermore, as is well known, in the 19th century logic as a discipline underwent a radical modification, with the development of mathematical logic. This workshop, held at the 5th World Congress on Universal Logic in Istanbul, will focus on both the diversity and the unity of logic through time.

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

This is the fifth edition of a world event dedicated to universal logic. This event is a combination of a school and a congress. The school offers many turorials on a wide range of subjects. The congress will follow with invited talks by some of the best alive logicians and a selection of contributed talks. As in previous eiditons there will also be a contest and secret speaker.

This event is intended to be a major event in logic, providing a platform for future research guidelines. Such an event is of interest for all people dealing with logic in one way or another: pure logicians, mathematicians, computer scientists, AI researchers, linguists, psychologists, philosophers, etc.

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

Logic as a discipline is not characterized by a stable scope throughout its history. True enough, the historical influence of Aristotelian logic over the centuries is something of a common denominator in Western philosophy. But Aristotelian logic certainly was not alone (see stoic logic for instance), not to mention non-western logics. Even within the Aristotelian tradition there is significant variability. Furthermore, as is well known, in the 19th century logic as a discipline underwent a radical modification, with the development of mathematical logic. This workshop, held at the 5th World Congress on Universal Logic in Istanbul, will focus on both the diversity and the unity of logic through time.

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

RTA is the major forum for the presentation of research on all aspects of rewriting. RTA 2015 will be co-located with the 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015) as part of the International Conference on Rewriting, Deduction, and Programming (RDP-2015).

For more information, see http://rewriting.loria.fr/rta/ and http://rdp15.mimuw.edu.pl/, or contact the PC chair: Maribel.Fernandez at kcl.ac.uk

The MPC conferences aim to promote the development of mathematical principles and techniques that are demonstrably practical and effective in the process of constructing computer programs, broadly interpreted.

For more information, see http://www.cs.ox.ac.uk/conferences/MPC2015/ or email jv at informatik.uni-bonn.de.

The conference aims at promoting interdisciplinary research and disseminating results at the interface between: Non-Classical Logics, Social choice and related topics, and Formal Approaches to Market Dynamics.

For more information, see http://www.appliedlogictudelft.nl/ or contact trendslsb at tudelft.nl

CiE 2015 is the 11-th conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world.

Evolution of the universe, and us within it, invite a parallel evolution in understanding. The CiE agenda - fundamental and engaged - targets the extracting and developing of computational models basic to current challenges. From the origins of life, to the understanding of human mentality, to the characterising of quantum randomness - computability theoretic questions arise in many guises. The CiE community, this coming year meeting for the first time in Bucharest, carries forward the search for coherence, depth and new thinking across this rich and vital field of research.

For more information, see http://fmi.unibuc.ro/CiE2015/

The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 20th LPAR will be held at the University of the South Pacific, Suva, Fiji in 2015.

For more information, see http://www.LPAR-20.org/

This is the fifth edition of a world event dedicated to universal logic. This event is a combination of a school and a congress. The school offers many turorials on a wide range of subjects. The congress will follow with invited talks by some of the best alive logicians and a selection of contributed talks. As in previous eiditons there will also be a contest and secret speaker.

This event is intended to be a major event in logic, providing a platform for future research guidelines. Such an event is of interest for all people dealing with logic in one way or another: pure logicians, mathematicians, computer scientists, AI researchers, linguists, psychologists, philosophers, etc.

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

Logic as a discipline is not characterized by a stable scope throughout its history. True enough, the historical influence of Aristotelian logic over the centuries is something of a common denominator in Western philosophy. But Aristotelian logic certainly was not alone (see stoic logic for instance), not to mention non-western logics. Even within the Aristotelian tradition there is significant variability. Furthermore, as is well known, in the 19th century logic as a discipline underwent a radical modification, with the development of mathematical logic. This workshop, held at the 5th World Congress on Universal Logic in Istanbul, will focus on both the diversity and the unity of logic through time.

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

RTA is the major forum for the presentation of research on all aspects of rewriting. RTA 2015 will be co-located with the 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015) as part of the International Conference on Rewriting, Deduction, and Programming (RDP-2015).

For more information, see http://rewriting.loria.fr/rta/ and http://rdp15.mimuw.edu.pl/, or contact the PC chair: Maribel.Fernandez at kcl.ac.uk

The MPC conferences aim to promote the development of mathematical principles and techniques that are demonstrably practical and effective in the process of constructing computer programs, broadly interpreted.

For more information, see http://www.cs.ox.ac.uk/conferences/MPC2015/ or email jv at informatik.uni-bonn.de.

The conference aims at promoting interdisciplinary research and disseminating results at the interface between: Non-Classical Logics, Social choice and related topics, and Formal Approaches to Market Dynamics.

For more information, see http://www.appliedlogictudelft.nl/ or contact trendslsb at tudelft.nl

CiE 2015 is the 11-th conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world.

Evolution of the universe, and us within it, invite a parallel evolution in understanding. The CiE agenda - fundamental and engaged - targets the extracting and developing of computational models basic to current challenges. From the origins of life, to the understanding of human mentality, to the characterising of quantum randomness - computability theoretic questions arise in many guises. The CiE community, this coming year meeting for the first time in Bucharest, carries forward the search for coherence, depth and new thinking across this rich and vital field of research.

For more information, see http://fmi.unibuc.ro/CiE2015/

Researchers in several communities are trying to understand the basic principles underlying creativity-related abilities (such as concept invention, concept formation, creative problem solving, the production of art, and creativity in all its facets e.g. in engineering, science, mathematics, business processes), working on computational models of their functioning, and also their utilization in different contexts and applications (e.g. applications of computational creativity frameworks with respect to mathematical invention and inventions in engineering, to the creation of poems, drawings, and music, to product design and development, to architecture etc.). In particular, a variety of different methodologies are used in such contexts ranging from logic-based frameworks to probabilistic and neuro-inspired approaches. This workshop shall offer a platform for scientists and professional users within relevant areas, on the one hand presenting actual and ongoing work in research, on the other hand also offering a chance for obtaining feedback and input from applications and use-case studies.

For more information, see http://www.cogsci.uos.de/~c3gi