Shortlink

Arthur Prior’s birthday at RUC (4/12)

Dear All,

No, sadly, most of us can’t be in Christchurch New Zealand to celebrate Arthur Prior’s birthday party in style in the southern sun. It looks like it will be a very enjoyable event, with Justine Kingsbury (Waikato) opening and Max Cresswell (Victoria) giving the keynote. Here’s the link:

http://2014nzapconference.blogspot.co.nz/

Fortunately, there is an alternative: celebrating it at Roskilde University (RUC) in Denmark. It seems pretty likely that we will be less lucky when it comes to sunshine, but Danes know  how to make winter hyggeligt so it will be nice in a different sort of way. And Prior did spend key years of his life far away in these northern lands, so it is good to celebrate it upover and not just downunder. Now – the website will be available soon. In the meantime, this is just to say that Jack Copeland, Peter Ohrstrøm,  David Jakobsen  and Torben Braüner have all kindly agreed to talk.
Continue reading

TARK 2015

15th Conference on Theoretical Aspects of Rationality and Knowledge
June 4-6, 2015
Carnegie Mellon University, USA

Conference website: http://www.imsc.res.in/tark/tark15.html

About the Conference

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. Topics of interest include, but are not limited to, semantic models for knowledge, belief, awareness and uncertainty, bounded rationality and resource-bounded reasoning, commonsense epistemic reasoning, epistemic logic, epistemic game theory, knowledge and action, applications of reasoning about knowledge and other mental states, belief revision, and foundations of multi-agent systems. Continue reading

Reasoning Club, 4th annual meeting

The 4th annual meeting of the Reasoning Club, see http://www.kent.ac.uk/secl/philosophy/jw/reasoning/club/, will be held in the School of Mathematics, Manchester University  on the 30th and 31st of March 2015.

The Keynote Speakers are Richard Booth (Luxembourg), Leon Horsten (Bristol), Federico Luzzi (Aberdeen) and Sara Uckelman (Durham).

In addition it is planned to have ten 40 minute contributed talks by Ph.D. students and early Postdocs, for whom grants will be available to cover the cost of accommodation and subsistence.

Please see http://www.maths.manchester.ac.uk/news-and-events/events/fourth-reasoning-club-conf/  for information on abstract submission and (free) registration.

Jeff Paris & Alena Vencovská,  Local Meeting Organizers.

Logic and Probabilistic Methods for Dialog – ESSLLI 2015 workshop

For more detailed info check the website

 https://sites.google.com/site/logicprob4fordialog/

Workshop Aims.  Traditional approaches to dialogue modeling have focused on the representation and manipulation of symbolic representations of agent and dialogue states as well as communicative actions.  More recently, data driven probabilistic approaches have been receiving greater attention within the research community.  The aim of this workshop is to explore the prospects for hybrid approaches that combine both paradigms as well as analyses of the types of problems that are more amenable to one approach versus another. Continue reading

TTL 2015 -Call for papers

 4TH INTERNATIONAL CONFERENCE ON TOOLS FOR TEACHING LOGIC (TTL 2015)
June 9-­12, 2015, Rennes, France
http://ttl2015.irisa.fr/

TOPICS
Tools for Teaching Logic  seeks for original papers with a clear significance in the following topics (but are not limited to): teaching logic in sciences and humanities; teaching logic at different levels of instruction  (secondary education, university level, and postgraduate); didactic software; facing some difficulties concerning what to teach; international postgraduate programs; resources and challenges for e­Learning Logic; teaching Argumentation Theory, Critical Thinking and Informal Logic; teaching specific topics, such as Modal Logic, Algebraic Logic, Knowledge Representation, Model Theory, Philosophy of Logic, and others; dissemination of logic courseware and logic textbooks; teaching Logic Thinking.
Continue reading

31st International Conference on Logic Programming (ICLP 2015) – Cfp

Cork, Ireland, August 31 — September 4, 2015
http://booleconferences.ucc.ie/iclp2015

ICLP 2015 will be co-located with the 21st International Conference on Principles and Practice of Constraint Programming (CP 2015) and is part of “The Year of George Boole”, a celebration of the life and work of George Boole who was born in 1815 and worked at the University College of Cork.

IMPORTANT DATES (tentative)

Abstracts due: April 20, 2015
Papers due: April 27, 2015
Notification to authors : June 5, 2015
Camera ready versions due: July 21, 2015
Conference: August 31-September 4, 2015 Continue reading

Bridging Logical and Probabilistic Approaches to Language and Cognition – ESSLLI workshop

Bridging Logical and Probabilistic Approaches to Language and Cognition
3-7 August, 2015, Barcelona, Spain
Website: jakubszymanik.com/PLLC2015

Deadline: March 1, 2015

Workshop Description:
Recent years have seen increased interest in applying logical methods and frameworks, the traditional subject matter of ESSLLI, to cognitive modeling, whereby logical models of cognitive phenomena are tested against empirical data. At the same time, there has recently been an explosion of activity in the cognitive sciences around (structured) statistical, and specifically Bayesian, models. With this workshop we propose to bring together two groups of researchers — logicians focused on cognitive modeling, and cognitive scientists incorporating logical structure into probabilistic models — with the aim of cross-pollination, and ideally, a consensus on how these two traditions relate, and how we might combine the best of what both have to offer. The primary aim is to gain a better understanding of:
Continue reading

Shortlink

UNILOG 2015 – deadline soon

UNILOG’2015 – 5th World Congress and School on Universal Logic – Istanbul, June 20-30, 2015.
http://www.uni-log.org
Deadline for sending an abstract is approaching: November 15.

Since 2005 UNILOG has been a major event in logic, dealing with all aspects of logic and gathering top researchers from all over the world. The 1st edition was in Montreux, Switzerland (2005), the 2nd in Xi’an, China (2007), the 3rd  in Lisbon, Portugal (2010), the 4th  in Rio de Janeiro, Brazil (2013). The 5th edition will happen in Istanbul in 2015. Continue reading

Shortlink

Computer-checked Proofs (DTU Copenhagen)

DTU Management Engineering invites you to a seminar about the Theory of
Science in Engineering

Computer-Checked Proofs

Jørgen Villadsen, Lektor, DTU Compute

We first give a brief introduction to the state-of-the-art in computer-checked proofs. In particular we discuss the relations to mathematical proofs, formal proofs and computer-assisted proofs, and we survey the historical developments. We then present our views on the future use of computer-checked proofs in mathematics, computer science and engineering disciplines in general, both in research and teaching.

After the talk, there will be time for a discussion on the topic

Time and place: December 1, 2014, 13:00 – 14:30, Building 101, Room S12
(ground floor), DTU

No registration required, everyone is welcome! Questions can be sent to
Martin Mose Bentzen, mmbe@dtu.dk

Empirical advances in categorial grammars (ESSLLI workshop 2015)

Workshop information:

This workshop provides a forum for discussion of recent empirical advances in categorial grammar (CG). After the revival of interest in CG in linguistics in the 80s, various extensions to the Lambek calculus (in the Type-Logical Categorial Grammar (TLCG) tradition; Morrill 1994, Moortgat 1997) and an early version of Combinatory Categorial Grammar (CCG; Ades and Steedman 1982, Steedman 2000, Baldridge 2003) have been proposed. But the fundamental question of whether CG constitutes an adequate linguistic theory still seems to be wide open. Moreover, there are now numerous variants of CG, both in the TLCG tradition and in CCG (Oehrle 1994, Jacobson 1999, Moortgat 2007, Pollard and Mihalicek 2010, Morrill et al. 2011, Barker and Shan 2015, to name just a few). Which of these theories constitutes the most adequate version of an empirical theory of natural language? Continue reading