A recent approach to proof theory uses techniques form modal logic to compute the consistency strength of formal theories. As a result one obtains, among other benefits, semi-finitary consistency proofs in the spirit of the extended Hilbert?s programme.

This approach requires techniques from many disciplines; the aim of this workshop is to bring together experts in relevant fields in order to discuss recent advances and foster new collaborations.

For more information, see http://www.phil.uu.nl/~jjoosten/Wormshop2016/

On Saturday, 1 October 2016, from 12:00 to 17:00, the organisations based at Amsterdam Science Park will hold their annual Open Day featuring a mix of activities suitable for all ages.

For more information, see http://www.amsterdamsciencepark.nl/about-amsterdam-science-park/open-dag/

Nowadays, there are more paradigms competing in machine translation including statistical (phrase-based, hierarchical and syntax-based), neural-based and rule-based. Each of them has their own advantages and disadvantages which make it worth the research on hybridization, integration and/or combination of approaches. Given that academic and industry perspectives may differ on the opinion of which are the most suitable paradigms, HyTra gives a strong relevance to the participation of both in the workshop. The fact that machine translation is a highly interdisciplinary field (including engineers, computer scientists, mathematicians, translators, linguists?), specially in the research of hybridization, enriches the workshop in its discussions, proceedings, invited talks and, even, in one contributed volume published by Springer.

In this edition, HyTRA (in conjunction with COLING 2016) will specially focus on motivating the cooperation and interaction between the different human components, as well as to foster innovation and creativity in the Hybrid Machine Translation research community. That is why we encourage the participation of the different integrating fields (engineers, computer scientists, mathematicians, translators, linguists either from academy or industry) to contribute to our special call of shared task proposals.

For more information, see http://glicom.upf.edu/hytra6/ or contact Patrik Lambert at patrik.lambert at gmail.com.

A recent approach to proof theory uses techniques form modal logic to compute the consistency strength of formal theories. As a result one obtains, among other benefits, semi-finitary consistency proofs in the spirit of the extended Hilbert?s programme.

This approach requires techniques from many disciplines; the aim of this workshop is to bring together experts in relevant fields in order to discuss recent advances and foster new collaborations.

For more information, see http://www.phil.uu.nl/~jjoosten/Wormshop2016/

A recent approach to proof theory uses techniques form modal logic to compute the consistency strength of formal theories. As a result one obtains, among other benefits, semi-finitary consistency proofs in the spirit of the extended Hilbert?s programme.

This approach requires techniques from many disciplines; the aim of this workshop is to bring together experts in relevant fields in order to discuss recent advances and foster new collaborations.

For more information, see http://www.phil.uu.nl/~jjoosten/Wormshop2016/

A recent approach to proof theory uses techniques form modal logic to compute the consistency strength of formal theories. As a result one obtains, among other benefits, semi-finitary consistency proofs in the spirit of the extended Hilbert?s programme.

This approach requires techniques from many disciplines; the aim of this workshop is to bring together experts in relevant fields in order to discuss recent advances and foster new collaborations.

For more information, see http://www.phil.uu.nl/~jjoosten/Wormshop2016/

Ruhr-University Bochum is hosting the interdisciplinary workshop "Rational animals? Comparing human and animal minds from an interdisciplinary perspective". The workshop will offer three keynote lectures and will be organized in four symposia, each tackling one core aspect of comparative cognition research from both philosophical and empirical perspective.

The four symposia are
a) cultural evolution & social learning,
b) causal understanding and means-end reasoning,
c) theory of mind, and
d) the anthropological difference.

For more information, see http://www.rub.de/philosophy/rationalanimals

CPP is an international forum on theoretical and practical topics in all areas, including computer science, mathematics, and education, that consider certification as an essential paradigm for their work. Certification here means formal, mechanized verification of some sort, preferably with production of independently checkable certificates.

A recent approach to proof theory uses techniques form modal logic to compute the consistency strength of formal theories. As a result one obtains, among other benefits, semi-finitary consistency proofs in the spirit of the extended Hilbert?s programme.

This approach requires techniques from many disciplines; the aim of this workshop is to bring together experts in relevant fields in order to discuss recent advances and foster new collaborations.

For more information, see http://www.phil.uu.nl/~jjoosten/Wormshop2016/

Ruhr-University Bochum is hosting the interdisciplinary workshop "Rational animals? Comparing human and animal minds from an interdisciplinary perspective". The workshop will offer three keynote lectures and will be organized in four symposia, each tackling one core aspect of comparative cognition research from both philosophical and empirical perspective.

The four symposia are
a) cultural evolution & social learning,
b) causal understanding and means-end reasoning,
c) theory of mind, and
d) the anthropological difference.

For more information, see http://www.rub.de/philosophy/rationalanimals

The two traditions defining contemporary thought on the topic of logicality are the proof theoretic and the semantic traditions. The difference is not merely the different mathematical tools they employ in studying logical consequence: there are deep philosophical questions involved, having to do with the relation between language, meaning and truth. The aim of this workshop is to promote a dialogue between people working in these two traditions, for the benefit of both, and with the hope of gaining a wide perspective on the issues concerned with logicality.

For more information, see here.

On October 5, the PhD Council will hold another PhD day. At this event, the PhD candidates are informed about the current activities of the council and potential issues raised among the PhDs are discussed. At the same time, we will welcome the newcomers. All PhD candidates are invited. It will be followed by a lunch at Maslow.

Ruhr-University Bochum is hosting the interdisciplinary workshop "Rational animals? Comparing human and animal minds from an interdisciplinary perspective". The workshop will offer three keynote lectures and will be organized in four symposia, each tackling one core aspect of comparative cognition research from both philosophical and empirical perspective.

The four symposia are
a) cultural evolution & social learning,
b) causal understanding and means-end reasoning,
c) theory of mind, and
d) the anthropological difference.

For more information, see http://www.rub.de/philosophy/rationalanimals

The two traditions defining contemporary thought on the topic of logicality are the proof theoretic and the semantic traditions. The difference is not merely the different mathematical tools they employ in studying logical consequence: there are deep philosophical questions involved, having to do with the relation between language, meaning and truth. The aim of this workshop is to promote a dialogue between people working in these two traditions, for the benefit of both, and with the hope of gaining a wide perspective on the issues concerned with logicality.

For more information, see here.

SLSP is a yearly conference series aimed at promoting and displaying excellent research on the wide spectrum of statistical methods that are currently in use in computational language or speech processing. It aims at attracting contributions from both fields. Though there exist large, well-known conferences and workshops hosting contributions to any of these areas, SLSP is a more focused meeting where synergies between subdomains and people will hopefully happen. In SLSP 2016, significant room will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology.

For more information, see http://grammars.grlmc.com/SLSP2016/ or contact florentinalilica.voicu at urv.cat.

KNAW is organising a symposium on the AlphaGo computer that beat the strongest human Go-player by 4-1 earlier this year.

Note that only the first lecture in this workshop will be in English. The others in Dutch.

SLSP is a yearly conference series aimed at promoting and displaying excellent research on the wide spectrum of statistical methods that are currently in use in computational language or speech processing. It aims at attracting contributions from both fields. Though there exist large, well-known conferences and workshops hosting contributions to any of these areas, SLSP is a more focused meeting where synergies between subdomains and people will hopefully happen. In SLSP 2016, significant room will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology.

For more information, see http://grammars.grlmc.com/SLSP2016/ or contact florentinalilica.voicu at urv.cat.

The orthodox approach to foundations interprets mathematics in the universe of sets. More recently, however, there have been developments that offer alternatives, such as combining category-theoretic structural methods with type theory to produce a foundation that accounts for the structural aspects of mathematical practice. We are now at a point where the notion of mathematical structure can be elucidated more clearly and its role in the foundations of mathematics can be explored more fruitfully.

The main objective of the conference is to reevaluate the different perspectives on mathematical structuralism in the foundations of mathematics and in mathematical practice.

SLSP is a yearly conference series aimed at promoting and displaying excellent research on the wide spectrum of statistical methods that are currently in use in computational language or speech processing. It aims at attracting contributions from both fields. Though there exist large, well-known conferences and workshops hosting contributions to any of these areas, SLSP is a more focused meeting where synergies between subdomains and people will hopefully happen. In SLSP 2016, significant room will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology.

For more information, see http://grammars.grlmc.com/SLSP2016/ or contact florentinalilica.voicu at urv.cat.

The orthodox approach to foundations interprets mathematics in the universe of sets. More recently, however, there have been developments that offer alternatives, such as combining category-theoretic structural methods with type theory to produce a foundation that accounts for the structural aspects of mathematical practice. We are now at a point where the notion of mathematical structure can be elucidated more clearly and its role in the foundations of mathematics can be explored more fruitfully.

The main objective of the conference is to reevaluate the different perspectives on mathematical structuralism in the foundations of mathematics and in mathematical practice.

The orthodox approach to foundations interprets mathematics in the universe of sets. More recently, however, there have been developments that offer alternatives, such as combining category-theoretic structural methods with type theory to produce a foundation that accounts for the structural aspects of mathematical practice. We are now at a point where the notion of mathematical structure can be elucidated more clearly and its role in the foundations of mathematics can be explored more fruitfully.

The main objective of the conference is to reevaluate the different perspectives on mathematical structuralism in the foundations of mathematics and in mathematical practice.

The workshop marks the end of the EPSRC Grant Coalgebraic Logic Programming for Type Inference, by K. Komendantskaya and J. Power and will consist of two parts:
Part 1 - Semantics: Lawvere theories and Coalgebra in Logic and Functional Programming
Part 2 - Programming languages: Horn Clause Logic for Type Inference in Functional Languages and Beyond

Model theory is a branch of mathematical logic that studies languages and their interpretations. As such, research in model theory overlaps many areas in philosophy, linguistics, and mathematics. The introduction of model theory in the beginning of the previous century was intertwined with the development of set-theoretic foundations for mathematics; the implications and applications for philosophy and linguistics soon followed. The aim of this conference is to bring together philosophers, linguists and mathematicians for whom model theory is a basic tool-kit.

We wish to facilitate knowledge transfer between these disciplines and create a fruitful discussion on the applicability and the foundational role of model theory. To do this, the conference will explore the following research questions: Are model-theoretic tools sufficient for an adequate demarcation of logical from non-logical constants? How does the model-theoretic definition of truth advance our understanding of the semantic paradoxes? How is meaning in natural language represented in models? How can models account for specific linguistic phenomena (e.g., natural language quantifiers)? What are the philosophical and linguistic consequences of a theory's complexity as measured by model-theoretic classification theory?

Researchers interested in research in computational logic are invited to attend the 2016 Autumn School. The 2-day school is suited for those who wish to learn advanced topics in computational logic and logic programming. It will consist of four half-day tutorials.

A number of scholarships for students that cover local expenses for the duration of the school are available. Deadline for application: July 24.

For more information, see http://iclp16school.webs.upv.es/

Researchers interested in research in computational logic are invited to attend the 2016 Autumn School. The 2-day school is suited for those who wish to learn advanced topics in computational logic and logic programming.

Researchers interested in research in computational logic are invited to attend the 2016 Autumn School. The 2-day school is suited for those who wish to learn advanced topics in computational logic and logic programming. It will consist of four half-day tutorials.

A number of scholarships for students that cover local expenses for the duration of the school are available. Deadline for application: July 24.

For more information, see http://iclp16school.webs.upv.es/

Researchers interested in research in computational logic are invited to attend the 2016 Autumn School. The 2-day school is suited for those who wish to learn advanced topics in computational logic and logic programming.

TIME 2016 aims to bring together researchers interested in reasoning about temporal aspects of information in any area of Computer Science. The symposium, currently in its 23rd edition, has a wide remit and intends to cater to both theoretical aspects and well-founded applications. One of the key aspects of the symposium is its interdisciplinarity, with attendees from distinct areas such as artificial intelligence, database management, logic and verification, and beyond.

For more information, see http://time2016.compute.dtu.dk or email the organizers at time2016 at compute.dtu.dk.

TIME 2016 aims to bring together researchers interested in reasoning about temporal aspects of information in any area of Computer Science. The symposium, currently in its 23rd edition, has a wide remit and intends to cater to both theoretical aspects and well-founded applications. One of the key aspects of the symposium is its interdisciplinarity, with attendees from distinct areas such as artificial intelligence, database management, logic and verification, and beyond.

For more information, see http://time2016.compute.dtu.dk or email the organizers at time2016 at compute.dtu.dk.

TIME 2016 aims to bring together researchers interested in reasoning about temporal aspects of information in any area of Computer Science. The symposium, currently in its 23rd edition, has a wide remit and intends to cater to both theoretical aspects and well-founded applications. One of the key aspects of the symposium is its interdisciplinarity, with attendees from distinct areas such as artificial intelligence, database management, logic and verification, and beyond.

For more information, see http://time2016.compute.dtu.dk or email the organizers at time2016 at compute.dtu.dk.

Student support is available from the Association for Symbolic Logic for ASL student members upon application. Deadline for application: July 18th.

For more information, see https://sites.google.com/site/bnpair2016/

ALT-2016 is a conference on the theoretical foundations of machine learning. The conference will be co-located with the 19th International Conference on Discovery Science (DS 2016).

The invited speakers are Avrim Blum, Kristian Kersting, John Shawe-Taylor, Gábor Lugosi, and Gianluca Bontempi.

Early registration deadline: Sep 8, 2016. For more information, see http://www.comp.nus.edu.sg/~fstephan/alt/alt2016/

Student support is available from the Association for Symbolic Logic for ASL student members upon application. Deadline for application: July 18th.

For more information, see https://sites.google.com/site/bnpair2016/

ALT-2016 is a conference on the theoretical foundations of machine learning. The conference will be co-located with the 19th International Conference on Discovery Science (DS 2016).

The invited speakers are Avrim Blum, Kristian Kersting, John Shawe-Taylor, Gábor Lugosi, and Gianluca Bontempi.

Early registration deadline: Sep 8, 2016. For more information, see http://www.comp.nus.edu.sg/~fstephan/alt/alt2016/

The conference features talks by invited speakers Catarina Dutilh Novaes (Groningen) and Stephen Read (St Andrews).

It will also include submitted talks on the following topics: - the bounds of logic and the bounds of rationality
- criteria of formality, logical hylomorphism, the invariance under isomorphism as a criterion of formality
- psychologism and anti-psychologism
- limits of classical logic, logical monism and logical pluralism, universal logic
- logic as a theory of agency, ideal and non-ideal logical agents
- logic as metaphysics, the connection between epistemic logic and epistemology
- Wittgenstein and the limits of logic
- logical form and linguistic form, the problem of ontological commitment

For more information, see https://sites.google.com/site/hselogic2016/ or contact Anastasiya Yastrebtseva ( ayastrebtseva at gmail.com or Vitaliy Dolgorukov (v.dolgorukov at gmail.com).

The Laboratory of Game Theory and Decision Making at HSE St. Petersburg will organise an autumn school on computational social choice and fair division. Lectures will be given by Hervé Moulin (Glasgow and HSE), Anna Bogomolnaia (Glasgow and HSE), Felix Brandt (Munich), William Thomson (Rochester), and Clemens Puppe (Karlsruhe). Participation is free, but registration is required.

Registration for the school is open until July 31, 2016. For more information, see http://scem.spb.hse.ru/en/ilgt/CSCFD.

LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field organized by Rovira i Virgili University since 2002, LATA 2017 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.

LATA 2017 will consist of nvited talks, invited tutorials andpeer-reviewed contributions.

Our keynote speakers for the conference are Prof Patricia Blanchette (Notre Dame) and Prof Ian Rumfitt (Oxford).

Student support is available from the Association for Symbolic Logic for ASL student members upon application. Deadline for application: July 18th.

For more information, see https://sites.google.com/site/bnpair2016/

ALT-2016 is a conference on the theoretical foundations of machine learning. The conference will be co-located with the 19th International Conference on Discovery Science (DS 2016).

The invited speakers are Avrim Blum, Kristian Kersting, John Shawe-Taylor, Gábor Lugosi, and Gianluca Bontempi.

Early registration deadline: Sep 8, 2016. For more information, see http://www.comp.nus.edu.sg/~fstephan/alt/alt2016/

The conference features talks by invited speakers Catarina Dutilh Novaes (Groningen) and Stephen Read (St Andrews).

It will also include submitted talks on the following topics: - the bounds of logic and the bounds of rationality
- criteria of formality, logical hylomorphism, the invariance under isomorphism as a criterion of formality
- psychologism and anti-psychologism
- limits of classical logic, logical monism and logical pluralism, universal logic
- logic as a theory of agency, ideal and non-ideal logical agents
- logic as metaphysics, the connection between epistemic logic and epistemology
- Wittgenstein and the limits of logic
- logical form and linguistic form, the problem of ontological commitment

For more information, see https://sites.google.com/site/hselogic2016/ or contact Anastasiya Yastrebtseva ( ayastrebtseva at gmail.com or Vitaliy Dolgorukov (v.dolgorukov at gmail.com).

The Laboratory of Game Theory and Decision Making at HSE St. Petersburg will organise an autumn school on computational social choice and fair division. Lectures will be given by Hervé Moulin (Glasgow and HSE), Anna Bogomolnaia (Glasgow and HSE), Felix Brandt (Munich), William Thomson (Rochester), and Clemens Puppe (Karlsruhe). Participation is free, but registration is required.

Registration for the school is open until July 31, 2016. For more information, see http://scem.spb.hse.ru/en/ilgt/CSCFD.

Agent-based models (ABM) are a recent tool in philosophy and the social sciences. To date, ABMs have been applied to a wide variety of topics ranging from simulating ecological systems to highly idealized models of opinion dynamics or emerging social norms. This workshop aims to bring together different approaches to ABM in philosophy and the social sciences. The objective is to represent the wide spectrum of applications of ABM and encourage exchange between various approaches. A further objective is to foster discussion about the nature of ABMs and the opportunities and potential pitfalls of their use in these disciplines.

Student support is available from the Association for Symbolic Logic for ASL student members upon application. Deadline for application: July 18th.

For more information, see https://sites.google.com/site/bnpair2016/

The Laboratory of Game Theory and Decision Making at HSE St. Petersburg will organise an autumn school on computational social choice and fair division. Lectures will be given by Hervé Moulin (Glasgow and HSE), Anna Bogomolnaia (Glasgow and HSE), Felix Brandt (Munich), William Thomson (Rochester), and Clemens Puppe (Karlsruhe). Participation is free, but registration is required.

Registration for the school is open until July 31, 2016. For more information, see http://scem.spb.hse.ru/en/ilgt/CSCFD.

Agent-based models (ABM) are a recent tool in philosophy and the social sciences. To date, ABMs have been applied to a wide variety of topics ranging from simulating ecological systems to highly idealized models of opinion dynamics or emerging social norms. This workshop aims to bring together different approaches to ABM in philosophy and the social sciences. The objective is to represent the wide spectrum of applications of ABM and encourage exchange between various approaches. A further objective is to foster discussion about the nature of ABMs and the opportunities and potential pitfalls of their use in these disciplines.

The conference promotes the study of C. S. Peirce's logic and philosophy in China by international and Chinese scholars.

The conference promotes the study of C. S. Peirce's logic and philosophy in China by international and Chinese scholars.

Established in 2004, the ICTAC conference series aims at bringing together practitioners and researchers from academia, industry and government to present research and to exchange ideas and experience addressing challenges in both theoretical aspects of computing and in the exploitation of theory through methods and tools for system development. ICTAC also aims to promote cooperation in research and education between participants and their institutions, from developing and industrial countries.

Topics of interest include theories of computation and programming, foundations of software engineering and formal techniques in software design and verification, as well as tools that support formal techniques for system modeling, design and verification.

For more information, see http://cc.ee.ntu.edu.tw/~ictac2016

Established in 2004, the ICTAC conference series aims at bringing together practitioners and researchers from academia, industry and government to present research and to exchange ideas and experience addressing challenges in both theoretical aspects of computing and in the exploitation of theory through methods and tools for system development. ICTAC also aims to promote cooperation in research and education between participants and their institutions, from developing and industrial countries.

Topics of interest include theories of computation and programming, foundations of software engineering and formal techniques in software design and verification, as well as tools that support formal techniques for system modeling, design and verification.

For more information, see http://cc.ee.ntu.edu.tw/~ictac2016

Established in 2004, the ICTAC conference series aims at bringing together practitioners and researchers from academia, industry and government to present research and to exchange ideas and experience addressing challenges in both theoretical aspects of computing and in the exploitation of theory through methods and tools for system development. ICTAC also aims to promote cooperation in research and education between participants and their institutions, from developing and industrial countries.

Topics of interest include theories of computation and programming, foundations of software engineering and formal techniques in software design and verification, as well as tools that support formal techniques for system modeling, design and verification.

For more information, see http://cc.ee.ntu.edu.tw/~ictac2016

Established in 2004, the ICTAC conference series aims at bringing together practitioners and researchers from academia, industry and government to present research and to exchange ideas and experience addressing challenges in both theoretical aspects of computing and in the exploitation of theory through methods and tools for system development. ICTAC also aims to promote cooperation in research and education between participants and their institutions, from developing and industrial countries.

Topics of interest include theories of computation and programming, foundations of software engineering and formal techniques in software design and verification, as well as tools that support formal techniques for system modeling, design and verification.

For more information, see http://cc.ee.ntu.edu.tw/~ictac2016

The aim of this workshop is to further stimulate the synergy between, on the one hand, ongoing work that concerns the logic and philosophy of human (intentional) agency, and on the other, conceptual and formal work on causation and causal reasoning. Although this means the workshop covers a very broad range of possible topics, we particularly welcome talks in which both (intentional) agency and causation, and their logical and conceptual interrelations, get a fair share.

Keynote speakers: Jan Broersen (University of Utrecht, Netherlands), Agnes Moors (Catholic University of Leuven, Belgium), Elisabeth Pacherie (Institut Jean Nicod, France)

For more information, see http://www.lrr.ugent.be/ac/

On October 27, 2016 we will have a symposium on congenital amusia. Congenital amusia is a neuro-developmental disorder that is neither caused by insufficient exposure to music, nor by a hearing deficiency, brain damage or intellectual impairment. People with congenital amusia (amusics) face lifelong impairments in the musical domain (music often causes discomfort to them). They cannot detect a pitch difference between two adjacent tones if this difference is one semitone or less.

Established in 2004, the ICTAC conference series aims at bringing together practitioners and researchers from academia, industry and government to present research and to exchange ideas and experience addressing challenges in both theoretical aspects of computing and in the exploitation of theory through methods and tools for system development. ICTAC also aims to promote cooperation in research and education between participants and their institutions, from developing and industrial countries.

Topics of interest include theories of computation and programming, foundations of software engineering and formal techniques in software design and verification, as well as tools that support formal techniques for system modeling, design and verification.

For more information, see http://cc.ee.ntu.edu.tw/~ictac2016

The aim of this workshop is to further stimulate the synergy between, on the one hand, ongoing work that concerns the logic and philosophy of human (intentional) agency, and on the other, conceptual and formal work on causation and causal reasoning. Although this means the workshop covers a very broad range of possible topics, we particularly welcome talks in which both (intentional) agency and causation, and their logical and conceptual interrelations, get a fair share.

Keynote speakers: Jan Broersen (University of Utrecht, Netherlands), Agnes Moors (Catholic University of Leuven, Belgium), Elisabeth Pacherie (Institut Jean Nicod, France)

For more information, see http://www.lrr.ugent.be/ac/

Established in 2004, the ICTAC conference series aims at bringing together practitioners and researchers from academia, industry and government to present research and to exchange ideas and experience addressing challenges in both theoretical aspects of computing and in the exploitation of theory through methods and tools for system development. ICTAC also aims to promote cooperation in research and education between participants and their institutions, from developing and industrial countries.

Topics of interest include theories of computation and programming, foundations of software engineering and formal techniques in software design and verification, as well as tools that support formal techniques for system modeling, design and verification.

For more information, see http://cc.ee.ntu.edu.tw/~ictac2016

This workshop brings together researchers active in logic and information dynamics. The upcoming installment will focus on novel formal approaches for information and its dynamics, such as topological, coalgebraic and proof-theoretic approaches. Workshop attendance is free of cost and everyone is welcome!

This is a satellite event of Lorentz Workshop: Logics, Decision and Interactions.

The 'Entia et Nomina' series features English language workshops for researchers in formally oriented philosophy, in particular in logic, philosophy of science, formal epistemology and philosophy of language. The aim of the workshop is to foster cooperation among philosophers with a formal bent. Previous editions took place at Gdansk University, Ghent University (as part of the Trends in Logic series), Jagiellonian University, and Warsaw University. The sixth conference in the series will take place in Palolem, Goa, India, on 29 January - 5 February 2017.

Please send questions and any inquiries to both Rafal Urbaniak <rfl.urbaniak at gmail.com> and Juliusz Doboszewski < jdoboszewski at gmail.com>.

Established in 2004, the ICTAC conference series aims at bringing together practitioners and researchers from academia, industry and government to present research and to exchange ideas and experience addressing challenges in both theoretical aspects of computing and in the exploitation of theory through methods and tools for system development. ICTAC also aims to promote cooperation in research and education between participants and their institutions, from developing and industrial countries.

Topics of interest include theories of computation and programming, foundations of software engineering and formal techniques in software design and verification, as well as tools that support formal techniques for system modeling, design and verification.

For more information, see http://cc.ee.ntu.edu.tw/~ictac2016

TAMC 2017 aims at bringing together a wide range of researchers with interest in computational theory and its applications. The main themes of the conference are computability, computer science logic, complexity, algorithms, models of computation and systems theory. There are two special sessions planned: 'Logic in computer science' and 'New models of computation'.

For more information, see http://www.tamc2017.unibe.ch/

Established in 2004, the ICTAC conference series aims at bringing together practitioners and researchers from academia, industry and government to present research and to exchange ideas and experience addressing challenges in both theoretical aspects of computing and in the exploitation of theory through methods and tools for system development. ICTAC also aims to promote cooperation in research and education between participants and their institutions, from developing and industrial countries.

Topics of interest include theories of computation and programming, foundations of software engineering and formal techniques in software design and verification, as well as tools that support formal techniques for system modeling, design and verification.

For more information, see http://cc.ee.ntu.edu.tw/~ictac2016