Feeds:
Posts
Comments

Archive for the ‘Logic’ Category

Via LogBlog

In 2014, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, economics, and other sciences.The goals are to introduce promising students to cross-disciplinary research early in their careers, and forge lasting links between the various disciplines.

The summer school will be held from Monday, June 2 to Friday, June 20, 2014 on the Carnegie Mellon campus. Tuition and accommodations are free.

For more information click on the link below:

Carnegie Mellon Summer School in Logic and Formal Epistemology | Richard Zach | University of Calgary.

Read Full Post »

CALL FOR PAPERS – DEON 2014

12th International Conference on Deontic logic and Normative Systems
12-15 July 2014, Ghent, Belgium
http://www.deon2014.ugent.be
[co-located with TiL 2014]

Abstract Submission Deadline: **March 1, 2014**
Paper Submission Deadline: **March 8, 2014**

The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts and normative systems with computer science, artificial intelligence, philosophy, organization theory and law. (more…)

Read Full Post »

First Call For Papers

JELIA 2014

14th European Conference on Logics in Artificial Intelligence

Madeira Island, Portugal
September 24-26, 2014

http://www.uma.pt/jelia2014

Submission Deadline: May 19 (Abstracts); May 23 (Papers)

About JELIA

Logics have, for many years, laid claim to providing a formal basis for the study and development of applications and systems in Artificial Intelligence. With the depth and maturity of formalisms, methodologies and logic-based systems today, this claim is stronger than ever.

The European Conference on Logics in Artificial Intelligence (or Journées Européennes sur la Logique en Intelligence
Artificielle – JELIA) began back in 1988, as a workshop, in response to the need for a European forum for the discussion of emerging work in this field. Since then, JELIA has been organised biennially, with proceedings published in the Springer-Verlag series Lecture Notes in Artificial Intelligence. Previous meetings took place in Roscoff, France (1988), Amsterdam, Netherlands (1990), Berlin, Germany (1992), York, UK (1994), Évora, Portugal (1996), Dagstuhl, Germany (1998), Málaga, Spain (2000), Cosenza, Italy (2002), Lisbon, Portugal (2004), Liverpool, UK (2006), Dresden, Germany (2008), Helsinki, Finland (2010) and Toulouse, France
(2012).

The increasing interest in this forum, its international level with growing participation of researchers from outside Europe, and the overall technical quality, have turned JELIA into a major biennial forum for the discussion of logic-based approaches to artificial intelligence.

Aims and Scope

The aim of JELIA 2014 is to bring together active researchers interested in all aspects concerning the use of logics in Artificial Intelligence to discuss current research, results, problems, and applications of both theoretical and practical nature. JELIA strives to foster links and facilitate cross-fertilization of ideas among researchers from various disciplines, among researchers from academia and industry, and between theoreticians and practitioners. (more…)

Read Full Post »

Via M-Phi

Epistemic Logic is a formal approach to modeling knowledge, belief, and other informational attitudes, developed by logicians, philosophers, computer scientists, AI researchers, economists, linguists, and others. Historically, with its origins in philosophy, epistemic logic promised to illuminate traditional issues of epistemology, the theory of knowledge. In recent years, epistemic logic has been making good on that promise, with important new applications not only to individual epistemology, a traditional focus of philosophers for the last two-and-a-half thousand years, but also in social epistemology, the more recent investigation of the social dimensions of knowledge and information flow, as well as interactive epistemology, the study of knowledge and belief in strategic, game-theoretic situations.

Click below for the full text of the CFP:

ELISIEM Workshop – Epistemic Logic for Individual, Social, and Interactive Epistemology.

Read Full Post »

Via Loriweb:

The call for abstracts for the 3rd Conference on Games, Interaction, Reasoning, Learning & Semantics: Evolution and Cooperation held at Lund, Department of Philosophy and Cognitive Science on April 28-30, 2014, has submission deadline February 7th.

The 3rd Lund Conference on Games, Interaction, Reasoning, Learning and Semantics (GIRLS’14@LUND) welcomes submissions from researchers in philosophy, cognitive science, economics, and linguistics, using agent based models with bounded rationality, models of evolutionary dynamics, and other naturalistic approaches. The primary conference aims are to foster cooperation between these groups and help establish common ground.

Click on the link below for more information:

GIRLS’14@LUND — Call for Abstracts.

Read Full Post »

Originally posted on Choice & Inference:

Trends in Logic XIV: The Road Less Travelled Off-stream applications of formal methods
Entia et NominA workshop

Ghent University, Belgium, July 8-11, 2014

trendsinlogic2014@gmail.com

Theme

Logicians have devoted considerable e ort to applying formal methods to what are now considered core disciplines of analytic philosophy: philosophy of mathematics, philosophy of language and metaphysics. Researchers in these fields have been accused of sharpening their knives without actually cutting anything of interest to those outside of philosophy. The focus of formal methods is changing and our intent for this conference is to further counter the impression of idleness
with respect to philosophy at large. The focus of the workshop is to be on those applications of formal methods in philosophy which might be of interest to people working on philosophical questions of more direct relevance to human life. We plan three sessions with the following invited speakers:

Session 1 Applications of formal…

View original 626 more words

Read Full Post »

CALL FOR PAPERS

Eleventh International Workshop on Argumentation in Multi-Agent Systems

ArgMAS 2014

www.mit.edu/~irahwan/argmas/argmas14/

Revised submission date! (See below.)

—————————————————————-

Submissions are invited for the Eleventh International Workshop on Argumentation in Multi-Agent Systems (ArgMAS 2014), to be held in Paris, France, as part of AAMAS 2014.

For ArgMAS 2014, papers are solicited on the concepts, theories, methodologies, and applications of computational models of argument in creating autonomous agents and multi-agent systems. Argumentation can be abstractly defined as the formal interaction of different arguments for and against some conclusion (e.g., a proposition, an action intention, a preference, etc). A single agent may use argumentation techniques to perform individual reasoning, to resolve conflicting
evidence, or to decide between conflicting goals.   Multiple agents may also use dialectical argumentation in order to identify and reconcile differences between themselves, through interactions such as negotiation, persuasion, and joint deliberation.

The main goal of ArgMAS 2014 will be to bring together the community of researchers working on argumentation in multi-agent systems. The workshop has the following technical goals: (more…)

Read Full Post »

Applications are now open for a postdoctoral research grant at the Faculty of Letters of the University of Coimbra (Portugal).
Core research into the topic “The ties between logic and argumentation” under the research group Teaching Logic and Argumention.

For further information please go to:

http://www.eracareers.pt/opportunities/index.aspx?task=global&jobId=38841

or contact
Prof. Henrique Jales Ribeiro
tla.lif.fct@gmail.com

(Thanks to Frank Zenker for the heads up on this one!)

 

 

Read Full Post »

Fourth International Workshop on Logic, Rationality and Interaction

Submission deadline: Saturday, June 1 2013

Conference date(s):
Wednesday, October 9 2013 – Saturday, October 12 2013

Center for the Study of Language and Cognition, Zhejiang University

Hangzhou, China

The LORI workshop series aims at bringing together researchers working on a wide variety of logic-related fields concerned with the understanding of rationality and interaction. These include Game Theory and Decision Theory, Philosophy and Epistemology, Linguistics, Computer Science and Artificial Intelligence. The series aims at fostering a view of Logic as an interdisciplinary endeavor, and supports the creation of a Chinese community of interdisciplinary researchers.

We invite submissions of contributed papers bearing on any of the broad themes of the LORI workshop series. More specific topics of interest for this edition include but are not limited to: (more…)

Read Full Post »

The Amsterdam Workshop on Truth is organised by the Institute for Logic, Language, and Computation of the University of Amsterdam.

The workshop will take place from Wednesday the 13th to Friday the 15th of March 2013.

 

The workshop is intended to serve as a meeting point for researchers working on the philosophy of truth in order to discuss latest results and work in progress.
It will address a wide range of truth-related topics and it is open to more formal or less formal approaches.

 

The following speakers have confirmed participation:

Stefan Wintein,  Philip Welch,  Albert Visser,  Giulia Terzian,  Johannes Stern, Jönne Speck,  Sonja Smets,  Georg Schiemer,  Robert van Rooij,  Carlo Nicolai, Iris Loeb, Øystein Linnebo,  Graham Leigh,  Jeffrey Kettland,  Leon Horsten,  Volker Halbach, Nina Gierasimczuk,  Martin Fischer,  Theodora Achourioti.

 
Workshop venues (map):

Wednesday 13 March, Thursday 14 March: VOC-zall, Bushuis
Friday 15 March: Oudemanhuispoort A0.08

The workshop will start on Wednesday at 12:00 and end on Friday at 15:00.

 

Attendance is free of charge, however, registration is required.

The deadline for registering is March the 3rd.

 

More information may be found at the workshop website: http://www.illc.uva.nl/truth/truth13/

Read Full Post »

Older Posts »

Follow

Get every new post delivered to your Inbox.

Join 87 other followers