Keynote Speakers this year are Prof Alan Weir (Glasgow) & Mary Leng (York).

The conference website may be found at http://www.phil.cam.ac.uk/events/camb-grad-conf-2015. For any further information, please see here or contact the conference organisers, Fiona Doherty and Fredrik Nyseth at cam.phil.grad.conf at googlemail.com.

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 second edition of the conference series Proof Theory, Modal Logic and Reflection Principles (formerly Proof Theory and Modal Logic) will be held in Mexico City from September 29th to October 2nd 2014, following the first installment in Barcelona in 2012.

A recent approach to proof theory uses techniques from 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.

The programme will include both tutorials and presentations of new results. Talks will be sparsely scheduled in order to allow ample time for discussion and collaboration.

For more information, see http://personal.us.es/dfduque/PMR/

The second edition of the conference series Proof Theory, Modal Logic and Reflection Principles (formerly Proof Theory and Modal Logic) will be held in Mexico City from September 29th to October 2nd 2014, following the first installment in Barcelona in 2012.

A recent approach to proof theory uses techniques from 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.

The programme will include both tutorials and presentations of new results. Talks will be sparsely scheduled in order to allow ample time for discussion and collaboration.

For more information, see http://personal.us.es/dfduque/PMR/

The workshop "The Logical Dynamics of Information, Agency and Interaction" will be organised by Alexandru Baltag and Fenrong Liu on October 2 and 3, with invited speakers from Tsinghua university and from the ILLC.

For more information, see https://www.illc.uva.nl/lgc/seminar/?p=2513 or http://zoechristoff.files.wordpress.com/2014/09/final-program-october-2-3.pdf.

The workshop "The Logical Dynamics of Information, Agency and Interaction" will be organised by Alexandru Baltag and Fenrong Liu on October 2 and 3, with invited speakers from Tsinghua university and from the ILLC.

For more information, see https://www.illc.uva.nl/lgc/seminar/?p=2513 or http://zoechristoff.files.wordpress.com/2014/09/final-program-october-2-3.pdf.

CLA is an international conference dedicated to formal concept analysis (FCA) and areas closely related to FCA such as data mining, information retrieval, knowledge management, data and knowledge engineering, logic, algebra and lattice theory. CLA provides a forum for researchers, practitioners, and students. The program of CLA consists of invited plenary talks, regular talks, and poster sessions.

For more information, see http://cla2014.ics.upjs.sk

CLA is an international conference dedicated to formal concept analysis (FCA) and areas closely related to FCA such as data mining, information retrieval, knowledge management, data and knowledge engineering, logic, algebra and lattice theory. CLA provides a forum for researchers, practitioners, and students. The program of CLA consists of invited plenary talks, regular talks, and poster sessions.

For more information, see http://cla2014.ics.upjs.sk

Hans Kamp (Johan Anthony Willem Kamp) is a Dutch philosopher, linguist and logician. His work in formal semantics, most notably his Discourse Representation Theory, is widely used both in linguistics and in natural language processing.

A workshop in honor of Hans Kamp will be held on the occasion of the award of a Doctor Honoris Causa degree from the University of Lorraine. The workshop will focus on discourse semantics, especially on issues of its structure and dynamics, based on DRT.

There is no fees, but you need to be registered. Program and registration are available here: http://hk-workshop.loria.fr

CLA is an international conference dedicated to formal concept analysis (FCA) and areas closely related to FCA such as data mining, information retrieval, knowledge management, data and knowledge engineering, logic, algebra and lattice theory. CLA provides a forum for researchers, practitioners, and students. The program of CLA consists of invited plenary talks, regular talks, and poster sessions.

For more information, see http://cla2014.ics.upjs.sk

This workshop is the sixth in an annual series of workshops in philosophy of mathematics organized by a team of scholars from France and abroad. The forthcoming workshop will be held at the Institut de Mathématiques de Toulouse (France). It will consist, as the previous workshops, in a three-day meeting, and feature both invited and contributed talks: 4 invited talks and 6 contributed talks.

The program of last year's workshop is available at: http://phier.univ-bpclermont.fr/article76.html

AREW is a two-day workshop aimed at bringing together people working in the area of analogical reasoning, broadly speaking. The invited speakers are two people working on formal aspects of analogical reasoning, including issues of the logical representation of analogical reasoning and formal models of the same, and applications of analogical reasoning, particularly with reference to such applications in history.

Further information about the workshop can be found at https://analogicalreasoning.wordpress.com.

CLA is an international conference dedicated to formal concept analysis (FCA) and areas closely related to FCA such as data mining, information retrieval, knowledge management, data and knowledge engineering, logic, algebra and lattice theory. CLA provides a forum for researchers, practitioners, and students. The program of CLA consists of invited plenary talks, regular talks, and poster sessions.

For more information, see http://cla2014.ics.upjs.sk

This workshop is the sixth in an annual series of workshops in philosophy of mathematics organized by a team of scholars from France and abroad. The forthcoming workshop will be held at the Institut de Mathématiques de Toulouse (France). It will consist, as the previous workshops, in a three-day meeting, and feature both invited and contributed talks: 4 invited talks and 6 contributed talks.

The program of last year's workshop is available at: http://phier.univ-bpclermont.fr/article76.html

This workshop is the sixth in an annual series of workshops in philosophy of mathematics organized by a team of scholars from France and abroad. The forthcoming workshop will be held at the Institut de Mathématiques de Toulouse (France). It will consist, as the previous workshops, in a three-day meeting, and feature both invited and contributed talks: 4 invited talks and 6 contributed talks.

The program of last year's workshop is available at: http://phier.univ-bpclermont.fr/article76.html

The goal of the CryptoAction School on Cryptographic Attacks is to present the state of the art on uncovering and exploiting vulnerabilities of cryptographic algorithms and protocols, both at the theoretical and practical levels.

For more information, see http://attackschool.di.uminho.pt/

The goal of the CryptoAction School on Cryptographic Attacks is to present the state of the art on uncovering and exploiting vulnerabilities of cryptographic algorithms and protocols, both at the theoretical and practical levels.

For more information, see http://attackschool.di.uminho.pt/

There is widespread agreement that adequate models of the semantics of vague language and of reasoning with vague information cannot be developed within the confines of classical logic. There is less agreement over which nonclassical logic is best suited for handling vagueness and indeed over whether just one logical framework is sufficient to accommodate all vagueness related phenomena. This workshop will bring together researchers working on these issues in philosophy, logic, mathematics and computer science~with special (but not exclusive) focus on approaches that appeal to degrees of truth and fuzzy logics.

Further information can be found at http://sydney.edu.au/arts/philosophy/research/conferences.shtml#vagueness

The 2014 annual meeting of the Australasian Association of Logic will be held just prior to the 2014 New Zealand Association of Philosophers Conference.

Please register by November 3. For more information, see http://aal.ltumathstats.com/ or contact zach.weber at otago.ac.nz.

The focus of this conference is on different approaches to the foundations of mathematics. The interaction between set-theoretic and category-theoretic foundations has had significant philosophical impact, and represents a shift in attitudes towards the philosophy of mathematics. This conference will bring together leading scholars in these areas to showcase contemporary philosophical research on different approaches to the foundations of mathematics.

To accomplish this, the conference has the following general aims and objectives. First, to bring to a wider philosophical audience the different approaches that one can take to the foundations of mathematics. Second, to elucidate the pressing issues of meaning and truth that turn on these different approaches. And third, to address philosophical questions concerning the need for a foundation of mathematics, and whether or not either of these approaches can provide the necessary foundation.

For more information, see the conference website at http://sotfom.wordpress.com/.

The goal of the CryptoAction School on Cryptographic Attacks is to present the state of the art on uncovering and exploiting vulnerabilities of cryptographic algorithms and protocols, both at the theoretical and practical levels.

For more information, see http://attackschool.di.uminho.pt/

LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field developed at Rovira i Virgili University in Tarragona since 2002, LATA 2015 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 2014 will consist of invited talks and and peer-reviewed contributions

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

The goal of the CryptoAction School on Cryptographic Attacks is to present the state of the art on uncovering and exploiting vulnerabilities of cryptographic algorithms and protocols, both at the theoretical and practical levels.

For more information, see http://attackschool.di.uminho.pt/

The cognitive diversity of agents has been a recurrent topic of contemporary investigations in the fields of artificial intelligence, information science, psychology, linguistics, neurosciences and logic, opening new horizons for logical inquiry that focuses on the in-depth analysis of rational agency. Today it is a novel challenge and a cross point for various lines of research including the study of formal theories, informal philosophical and logical approaches as well as that of their wider application. We encourage the discussions related to the logical aspects of the diversity of agents.

For more information, see http://ocs.philosophy.spbu.ru/index.php/LARA/

This is the fourth of a biennially organized conference that brings together scholars and historians interested in the comparative history of the humanities (philology, art history, historiography, linguistics, logic, literary studies, musicology, theatre studies, media studies, a.o.). Although histories of single humanities disciplines already exist for a long time, the history of the humanities as a whole has only very recently been investigated, and the first monographs have just appeared.

For more information, see http://makingofthehumanities.blogspot.nl/

The cognitive diversity of agents has been a recurrent topic of contemporary investigations in the fields of artificial intelligence, information science, psychology, linguistics, neurosciences and logic, opening new horizons for logical inquiry that focuses on the in-depth analysis of rational agency. Today it is a novel challenge and a cross point for various lines of research including the study of formal theories, informal philosophical and logical approaches as well as that of their wider application. We encourage the discussions related to the logical aspects of the diversity of agents.

For more information, see http://ocs.philosophy.spbu.ru/index.php/LARA/

This is the fourth of a biennially organized conference that brings together scholars and historians interested in the comparative history of the humanities (philology, art history, historiography, linguistics, logic, literary studies, musicology, theatre studies, media studies, a.o.). Although histories of single humanities disciplines already exist for a long time, the history of the humanities as a whole has only very recently been investigated, and the first monographs have just appeared.

For more information, see http://makingofthehumanities.blogspot.nl/

The cognitive diversity of agents has been a recurrent topic of contemporary investigations in the fields of artificial intelligence, information science, psychology, linguistics, neurosciences and logic, opening new horizons for logical inquiry that focuses on the in-depth analysis of rational agency. Today it is a novel challenge and a cross point for various lines of research including the study of formal theories, informal philosophical and logical approaches as well as that of their wider application. We encourage the discussions related to the logical aspects of the diversity of agents.

For more information, see http://ocs.philosophy.spbu.ru/index.php/LARA/

This is the fourth of a biennially organized conference that brings together scholars and historians interested in the comparative history of the humanities (philology, art history, historiography, linguistics, logic, literary studies, musicology, theatre studies, media studies, a.o.). Although histories of single humanities disciplines already exist for a long time, the history of the humanities as a whole has only very recently been investigated, and the first monographs have just appeared.

For more information, see http://makingofthehumanities.blogspot.nl/

The Department of Philosophy, Linguistics and Theory of Science (FLOV) at the University of Gothenburg launched an annual lecture series last year to celebrate the singular achievements of Per (Pelle) Lindström, former Professor of Logic at the department. The Lindström Lecture series was inaugurated last year by Wilfrid Hodges.

We are pleased to announce that this year's Lindström Lectures will be delivered by Joan Moschovakis and Yiannis Moschovakis October 23 - 24, 2014. The Public Lectures will be delivered on October 23 (15:15--18:00), and the Research Lectures will be delivered on October 24 (13:15--17:15).

You can access the latest information (as well as the link for last year's lectures) on the homepage for the Lindström Lectures below:
http://www.flov.gu.se/english/research/logic/lindstrom-lectures/. For more information, please contact ali.enayat at gu.se

The DHCS Colloquium has been a lively regional conference (with non-trivial bi-coastal and overseas sprinkling), rotating since 2006 among the University of Chicago (where it began), DePaul, IIT, Loyola, and Northwestern. This year's colloquium will partly overlap and share some programming with the annual members meeting and conference of the Text Encoding Initiative, which will be hosted by Northwestern University, October 22-24.

For more information, see http://dhcs.northwestern.edu/

The Department of Philosophy, Linguistics and Theory of Science (FLOV) at the University of Gothenburg launched an annual lecture series last year to celebrate the singular achievements of Per (Pelle) Lindström, former Professor of Logic at the department. The Lindström Lecture series was inaugurated last year by Wilfrid Hodges.

We are pleased to announce that this year's Lindström Lectures will be delivered by Joan Moschovakis and Yiannis Moschovakis October 23 - 24, 2014. The Public Lectures will be delivered on October 23 (15:15--18:00), and the Research Lectures will be delivered on October 24 (13:15--17:15).

You can access the latest information (as well as the link for last year's lectures) on the homepage for the Lindström Lectures below:
http://www.flov.gu.se/english/research/logic/lindstrom-lectures/. For more information, please contact ali.enayat at gu.se

The DHCS Colloquium has been a lively regional conference (with non-trivial bi-coastal and overseas sprinkling), rotating since 2006 among the University of Chicago (where it began), DePaul, IIT, Loyola, and Northwestern. This year's colloquium will partly overlap and share some programming with the annual members meeting and conference of the Text Encoding Initiative, which will be hosted by Northwestern University, October 22-24.

For more information, see http://dhcs.northwestern.edu/

"Inconsistencies in Scientific Reasoning" is a one day workshop organized by the Centre for Logic and Philosophy of Science (CLPS) at Ghent University (http://logica.ugent.be/centrum). The workshop aims at exploring two closely related issues. First, the descriptive question, how frequent and how significant inconsistencies in scientific reasoning are. This gives rise to the second question, what normative conclusions we can draw from such historical analyses. The latter issue concerns the methodological standards of scientific inquiry, as well as the question whether classical logic is sufficient for the explication of scientific reasoning, or whether specific non-classical logics are needed to this end.

For more information, see http://www.philosophy.ugent.be/isr

This workshop is addressed to all researchers (early and not so early career) who have an interest in inductive logic and confirmation theory as they relate to science and the philosophy of science. PhD students are particularly encouraged to participate. The workshop is free and open to anyone. If you plan to attend, please register by simply dropping an email to the organizers with your name and affiliation.

For more information, see http://jonahschupbach.com/ILCS/

This workshop is addressed to all researchers (early and not so early career) who have an interest in inductive logic and confirmation theory as they relate to science and the philosophy of science. PhD students are particularly encouraged to participate. The workshop is free and open to anyone. If you plan to attend, please register by simply dropping an email to the organizers with your name and affiliation.

For more information, see http://jonahschupbach.com/ILCS/

The School offers an interdisciplinary programme of lectures and tutorials from experts in various areas of Artificial Intelligence and linguistics that study evolving and negotiated meaning in natural and artificial systems, including knowledge representation and ontologies, multiagent systems, language evolution, dialogue systems.

The registration deadline is 5 October 2014. For more information, see https://www.essence-network.com/essence-events/autumnschool/

The School offers an interdisciplinary programme of lectures and tutorials from experts in various areas of Artificial Intelligence and linguistics that study evolving and negotiated meaning in natural and artificial systems, including knowledge representation and ontologies, multiagent systems, language evolution, dialogue systems.

The registration deadline is 5 October 2014. For more information, see https://www.essence-network.com/essence-events/autumnschool/

The School offers an interdisciplinary programme of lectures and tutorials from experts in various areas of Artificial Intelligence and linguistics that study evolving and negotiated meaning in natural and artificial systems, including knowledge representation and ontologies, multiagent systems, language evolution, dialogue systems.

The registration deadline is 5 October 2014. For more information, see https://www.essence-network.com/essence-events/autumnschool/

The Philosophers and Mathematics is an international colloquium organised by Hassan Tahiri, Center for the Philosophy of Science of the University of Lisbon, that takes place on 29th and 30th October 2014, at the Faculty of Sciences of the University of Lisbon, under the FCT research project "Argumentation and scientific change. A case study of how Ibn al-Haytham al-Shukuk changed the course of Astronomy forever". The Colloquium is organised in honour of Prof. Roshdi Rashed.

For more information, see http://philosophersandmathematics.wordpress.com/ or contact cdlisboa at fc.ul.pt.

Euler and Venn diagrams have been widely studied over recent years and their role in logical reasoning and information visualization is now prominent. Venn diagrams formed the basis of what is widely regarded to be the first sound and complete diagrammatic logic, called Venn-I, developed by Sun-Joo Shin in the 1990s. Since then, substantial research has been conducted on Euler and Venn diagrams, spanning logic, cognitive science and philosophy. We will consider submissions that focus on any aspect of Euler and Venn diagrams research, that falls within the scope of JOLLI, and encourage submissions from any discipline. The proposed special issue will bring together a valuable collection of papers for researchers working in this area.

We solicit papers consisting of original research contributions. Submitted papers that extend previously published conference papers should be submitted with a cover note to the editors explaining the contribution beyond the earlier version. It is expected that substantial new material is included in the submission to the special issue.

Abstract submission: October 15, 2014. Paper submission: October 30, 2014. More information, including formatting guidelines and details of the scope of JOLLI can be found on our web page https://sites.google.com/site/eulerandvenndiagrams/.

BLAST is a conference focusing on Boolean Algebras, Lattices, Algebraic Logic, Universal Algebra, Set Theory, Set-theoretic Topology and Point-free Topology. It is supported by the NSF and circulates among different universities.

BLAST 2014 will feature invited talks by Papiya Bhattacharjee, George Gratzer, Thomas Icard, John Krueger, Julie Lindman, Jan van Mill, Daniele Mundici and Constantine Tsinakis, as well as tutorials on Algebraic Logic (Nick Bezhanishvili), Set Theory (Joel Hamkins), Point-free Topology (Jorge Picado) and Universal Algebra (Matt Valeriote).

For more information, see http://www.math.nmsu.edu/blast2015/ or contact BLAST at math.nmsu.edu.

The School offers an interdisciplinary programme of lectures and tutorials from experts in various areas of Artificial Intelligence and linguistics that study evolving and negotiated meaning in natural and artificial systems, including knowledge representation and ontologies, multiagent systems, language evolution, dialogue systems.

The registration deadline is 5 October 2014. For more information, see https://www.essence-network.com/essence-events/autumnschool/

The Philosophers and Mathematics is an international colloquium organised by Hassan Tahiri, Center for the Philosophy of Science of the University of Lisbon, that takes place on 29th and 30th October 2014, at the Faculty of Sciences of the University of Lisbon, under the FCT research project "Argumentation and scientific change. A case study of how Ibn al-Haytham al-Shukuk changed the course of Astronomy forever". The Colloquium is organised in honour of Prof. Roshdi Rashed.

For more information, see http://philosophersandmathematics.wordpress.com/ or contact cdlisboa at fc.ul.pt.

The series of workshops on Computational Models of Natural Argument acts to nurture and provide succor to the ever growing community working on Argument and Computation, a field developed in recent years overlapping Argumentation Theory and Artificial Intelligence.

The workshop focuses on the issue of modelling "natural" argumentation. Naturalness may involve the use of means which are more visual than linguistic to illustrate a point, such as graphics or multimedia. Or to the use of more sophisticated rhetorical devices, interacting at various layers of abstraction. Or the exploitation of "extra-rational" characteristics of the audience, taking into account emotions and affective factors.

For more information, see http://www.cmna.info/CMNA14/

As in the previous editions, the purpose of this meeting is to inform you on various issues that are currently of importance in the ILLC and / or the Master of Logic programme. All ILLC staff, PhD students and guests are invited to attend. Drinks will be served afterwards in the ILLC Common Room.

For more information, contact illc at uva.nl