CfP: 6th Indian Conference on Logic and its Applications

April 17, 2014

                                January 8–10, 2015
                                 IIT Bombay, India

                               FIRST CALL FOR PAPERS

ALI, the Association for Logic in India, announces the sixth edition of
its biennial International Conference on Logic and its Applications
(ICLA), to be held at the Indian Institute of Technology, Bombay,  from
January 8 to 10, 2015. ICLA 2015 will be co-located with the 14th Asian
Logic Conference to be held during January 5-8, 2015.

ICLA is a forum for bringing together researchers from a wide variety of
fields that formal logic plays a significant role in, along with
mathematicians, philosophers and logicians studying foundations of formal
logic in itself. A special feature of this conference is the inclusion of
studies in systems of logic in the Indian tradition, and historical
research on logic.

As in the earlier events in this series, we shall have eminent logicians
as invited speakers. Details of the last ICLA (2013) may be found at

Important Dates
Deadline for Submission:                                5 August 2014

Notification to Authors:                                30 September 2014

Deadline for camera-ready papers:                       17 October 2014

Important Links

Programme Committee

S. Arun-Kumar (IIT Delhi)
Rupa Bandyopadhyay (Jadavpur University)
Mohua Banerjee (IIT Kanpur), co-chair
Nathalie Bertrand (INRIA Rennes Bretagne-Atlantique)
Mihir K. Chakraborty (ISI Kolkata and Jadavpur University)
Ivo Duentsch (Brock University)
Sujata Ghosh (ISI Chennai)
John Horty (University of Maryland)
Juliette Kennedy (University of Helsinki)
Krishna S. (IIT Bombay), co-chair
Benedikt Loewe (University of Hamburg and ILLC Amsterdam)
Paritosh Pandya (TIFR Mumbai)
R. Ramanujam (IMSc Chennai)
S.P. Suresh (Chennai Mathematical Institute)
Zach Weber (University of Otago)
Gregory Wheeler (LMU Munich)

Any queries related to the conference may be sent to the following email

CFP: Agent-based Modeling in Philosophy

April 10, 2014



LMU Munich

11-13 December 2014


In the past two decades, agent-based models (ABMs) have become ubiquitous in philosophy and various sciences.  ABMs have been applied, for example, to study the evolution of norms and language, to understand migration patterns of past civilizations, to investigate how population levels change in ecosystems over time, and more.  In contrast with classical economic models or population-level models in biology, ABMs are praised for their lack of assumptions and their flexibility.  Nonetheless, many of the methodological and epistemological questions raised by ABMs have yet to be fully articulated and answered.  For example, there are unresolved debates about how to test (or “validate”) ABMs, about the scope of their applicability in philosophy and the sciences, and about their implications or our understanding of reduction, emergence, and complexity in the sciences.  This conference aims to bring together an interdisciplinary group of researchers aimed at understanding the foun!
 dations of agent-based modeling and how the practice can inform and be informed by philosophy.

Topics of the conference will include, but will not be limited to:

- Advantages and disadvantages of agent-based models in relation to classical economic and biological models
- Testing and/or “validating” agent-based models
- How agent-based models inform discussions of reduction and/or emergence in the sciences
- Agent-based models and complexity
- Applications of ABMs in philosophy, which may include, but is not limited to, investigating the evolution of norms and/or language, or the study of dynamics of scientific communities and theory/paradigm change

We invite submissions of extended abstracts of 750-1000 words for contributed talks by 1 June 2014. Decisions will be made by 15 June 2014.

KEYNOTE SPEAKERS: Jason Alexander (LSE), Rosaria Conte (Rome), Scott Page (Michigan), Michael Weisberg (Penn), and Kevin Zollman (CMU)

ORGANIZERS: Lee Elkin, Stephan Hartmann, Conor Mayo-Wilson, and Gregory Wheeler

Minds and Machines 24(2), 2014

April 8, 2014
On the Claim that a Table-Lookup Program Could Pass the Turing Test
Drew McDermott
Abstract    Full text HTML    Full text PDF

Emotion, Cognition and Artificial Intelligence
Jason Megill
Abstract    Full text HTML    Full text PDF

Reasoning About the Mark of the Cognitive: A Response to Adams and Garrison
Andreas Elpidorou
Abstract    Full text HTML    Full text PDF

The Mark of the Cognitive: Reply to Elpidorou
Fred Adams & Rebecca Garrison
Abstract    Full text HTML    Full text PDF

Book Review
Olaf Sporns: Discovering the Human Connectome
Matteo Colombo
Abstract    Full text HTML    Full text PDF

Book Review
William R. Uttal: Mind and Brain: A Critical Appraisal of Cognitive Neuroscience
Fernand Gobet
Abstract    Full text HTML    Full text PDF

Book Review
Rocco Gennaro: The Consciousness Paradox: Consciousness, Concepts and Higher-Order Thoughts
David Cole
Abstract    Full text HTML    Full text PDF

Book Review
Jakob Hohwy: The Predictive Mind
Wanja Wiese
Abstract    Full text HTML    Full text PDF

Book Review
Arturo Carsetti: Epistemic Complexity and Knowledge Construction
Magali Fernández-Salazar
Abstract    Full text HTML    Full text PDF

Book Review
A. H. Eden, J. H. Moor, J. H. Søraker and E. Steinhart (eds): Singularity Hypotheses: A Scientific and Philosophical Assessment
Akop P. Nazaretyan
Abstract    Full text HTML    Full text PDF

CFP: Inductive Logic and Confirmation in Science II

April 2, 2014

(24-25 October 2014Department of Philosophy, University of Utah, Salt Lake City, UT, USA)

  • Submission deadline: *** Friday, May 30, 2014 ***
  • Notification by: June 30, 2014
  • Submission requirement: Extended abstract (1,000 words or less)
  • Submit extended abstracts via email to
  • Accommodations: Expenses for travel, hotel, and meals will be covered in full for any graduate students presenting at the conference. Hotel and meals will be provided for all other presenters.
  • Publication: Selected papers from ILCS1 and this workshop may be published in an edited volume or journal special issue. When submitting, please note whether you would like your paper to be considered for inclusion in a proceedings volume.
  • Website:

Keynote Speakers:

  • Tania Lombrozo (University of California, Berkeley)
  • Elliott Sober (University of Wisconsin, Madison)
  • Katie Steele (London School of Economics)

Conference Organizers:

This is the 2nd workshop on Inductive Logic and Confirmation in Science.  ILCS1, organized by Juergen Landes and Jon Williamson, was held in Paris in October 2013.  This series of workshops is addressed to all researchers (early and not so early career) in all disciplines 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 (and are not on the list of presenters), please register by simply dropping an email to the organizers with your name and affiliation.

2nd CFA: Minds and Machines Special Issue on Algorithmic Randomness

March 31, 2014

Algorithmic Randomness: Mathematical Progress and Philosophical Promise

Minds and Machines

 Call for Extended Abstracts

Deadline May 31, 2014

Minds and Machines is pleased to invite extended abstracts for “Algorithmic Randomness: Mathematical Progress and Philosophical Promise,” a special issue edited by Christopher Porter of Université Paris 7. Over roughly the past fifteen years, research in the subject of algorithmic randomness has flourished.  Despite the many developments in the theory of algorithmic randomness over this period of time, there has been little reflection on the philosophical significance of these developments.  One plausible reason for this gap in the philosophical literature is the highly technical nature of work on algorithmic randomness. The focus of the special issue is two-fold: (1) to provide an accessible point of entry into recent developments in algorithmic randomness, and (2) to provide a forum for philosophical reflection on these developments.  The editor invites articles on topics in the theory of algorithmic randomness that illustrate the various roles that algorithmic randomness plays in computational, statistical, and mathematical practice, as well as submissions addressing various issues in the philosophy of algorithmic randomness. The editor especially encourages submissions concerned with (i) whether and to what extent the theory of algorithmic randomness provides insight into the concept of randomness, (ii) the relationship between randomness and computation, and (iii) the ways in which algorithmic randomness illuminates various uses of randomness in classical mathematics. Anyone interested in contributing to the special issue must submit an extended abstract of one to three pages by May 31, 2014.  The abstract is a proposal for a full paper the author thereby agrees to submit by January 31, 2015 if his or her proposal has been approved by the editor of the special issue.  Each full paper will thereupon undergo peer review. A primary goal of the special issue is to open new interdisciplinary avenues for discussion of the significance of algorithmic randomness, potentially bringing mathematicians, computer scientists, statisticians, and philosophers of mathematics / computer science / science together in dialogue. –––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––– Deadline for extended abstracts:  May 31, 2014. To submit an extended abstract, follow the instructions at the website for submissions: When prompted to choose an article type, select “SI: Algorithmic Randomness.” –––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––– Inquiries may be directed to: –––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––– Guest Editor: Christopher P. Porter

Using Patient Data for Individual Cancer Treatments

March 29, 2014

An excerpt from the article, which appears in the ACM:

Dr. Peter Campbell, head of cancer genetics and genomics at the Wellcome Trust Sanger Institute, said at the Oncopolicy Forum 2013 held in Amsterdam, The Netherlands, last autumn that aggregating data into large, online databases would help drive the advent of personalized medicine, providing an opportunity to treat serious illnesses more effectively. “We are standing on the cusp of an era where we can characterize all patients and what drives their cancer.”

Both the US and Europe are pushing ahead with plans to build massive health databases for cancer treatments.  One reason for doing this is the high variability in the mechanisms responsible for cancers.

[One]  reason for using population-scale databases to collate and process patient information is due to cancer’s nature. Campbell says cancers have huge variations that result from the many different ways in which the DNA of tumor cells can mutate in different patients. In breast cancers, for example, analysis of tumors reveals the most commonly mutated or deleted genes were found in just 10% of affected patents. “There is a long tail of other mutations, each affecting just a few percent or less of patients,” Campbell explains.

Campbell goes on in the article to highlight the problem of identifying gene-drug interactions for such a problem domain:

“I would say that interventional clinical trials are underpowered to detect gene-drug interactions. If a particular mutation is only found in one in 700 patients, you need to screen that many just to find one participant for a clinical trial for a drug that targets it,” Campbell explains. “We do not have enough patients to study. We need several thousand patients, maybe tens of thousands of patients. For any given tumor type, we need a database of 10,000 to 20,000 patients, and with 50 to 100 common tumor types, that means access to the records of at least one million patients.”


2014 CMU Summer School in Logic and Formal Epistemology

February 22, 2014

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 fields of research at an early stage in their career; and
  • forge lasting links between the various disciplines.

The summer school will be held from Monday, June 2 to Friday, June 20, 2014. There will be morning and afternoon lectures and daily problem sessions, as well as planned outings and social events.

The summer school is free. That is, we will provide:

  • full tuition
  • dormitory accommodations on the Carnegie Mellon campus

So students need only pay for round trip travel to Pittsburgh and living expenses while here. They expect to be able to accept about 25 students in 2014. There are no grades, and the courses do not provide formal course credit.

Applications are due by Friday, March 14, 2014. For more information, visit


Get every new post delivered to your Inbox.

Join 80 other followers