Schedule and Abstracts for Progic 2011 ...

The Progic conference will take place at Columbia University on September 10th and 11th. A detailed schedule, abstracts, and map of Columbia campus can be found at the conference page.

Progic 2011 on September 10th and 11th at Columbia University

The Progic conference series is intended to promote interactions between probability and logic. The fifth installment of the series will be held at Columbia University in New York on September 10th and 11th of 2011. While several of the earlier Progic meetings included a special focus, Progic 2011 will honor Haim Gaifman's contributions to the intersection of probability and logic. Progic 2011 will consist of 11 talks, including invited talks by the following:

• Haim Gaifman (Columbia)
• Rohit Parikh (CUNY)
• Jeff Paris (Manchester)
• Dana Scott (Carnegie Mellon)

Progic 2011 will also include a memorial session to honor Horacio Arlo-Costa (Carnegie Mellon) who was scheduled to speak at the conference but passed away on July 14, 2011.

Here is the schedule:

Saturday, September 10^th – in 602 Hamilton Hall

Morning session

9:45-10:00 Opening remarks

10:00-11:00 Mixing modality and probability (yet again)

Dana Scott (Carnegie Mellon)

11:00-11:20 Q&A

10 min break

11:30-12:00 From Bayesian epistemology to inductive logic

Jon Williamson (Kent)

12:00-12:10 Q&A

5 min break

12:15-12:45 Ultralarge lotteries: dissolving the lottery paradox using non-standard analysis

Sylvia Wenmackers (Groningen)

12:45-12:55 Q&A

Lunch

Afternoon session

2:25-3:25 T.b.a.

Rohit Parikh (CUNY Graduate Center)

3:25-3:45 Q&A

5 min break

3:50-4:20 Coherence based probability logic: philosophical and psychological applications

Niki Pfeifer (Munich)

4:20-4:30 Q&A

20 min break

4:50-5:20 Matryoshka epistemology: the role of cores in belief and decision

Paul Pedersen (Carnegie Mellon)

5:20-5:30 Q&A

5:30 – 6:30 Memorial for Horacio Arlo Costa

Sunday, September 11^th – in 403 IAB

Morning session

10:25-10:30 Opening announcements

10:30-11:30 Pure inductive logic

Jeff Paris (Manchester)

11:30-11:50 Q&A

10 min break

12:00-12:30 Probabilities on sentences in an expressive logic

M. Hutter (ANU), J. Lloyd (ANU), K. Ng (ANU), and W. Uther (National ICT)

12:30-12:40 Q&A

Lunch

Afternoon session

2:10-2:40 Confirmation as partial entailment: a representation theorem in inductive logic

Vincenzo Crupi (Munich) and Katya Tentori (Trento)

2:40-2:50 Q&A

5 min break

2:55-3:25 On a priori and a posteriori reasoning

Anubav Vasudevan (Chicago)

3:25-3:35 Q&A

10 min break

3:45-4:45 T.b.a.

Haim Gaifman (Columbia)

4:45-5:05 Q&A

5:05-5:15 Closing remarks

LORI-III: 2nd CALL FOR PAPERS

***************************************************************************

2nd CALL FOR PAPERS

THE THIRD INTERNATIONAL
WORKSHOP ON LOGIC, RATIONALITY AND INTERACTION (LORI-III)

Guangzhou, China, October 10-13, 2011

URL: http://www.golori.org/lori2011/



***************************************************************************

LORI-III

THE THIRD INTERNATIONAL WORKSHOP ON LOGIC, RATIONALITY AND INTERACTION
October 10 - 13, 2011
Institute of Logic & Cognition, Sun Yat-sen University
Guangzhou, China

We invite submissions of contributed paper bearing on any of the broad themes of the LORI workshop series, including knowledge acquisition, use, and management, information exchange, rational action, and rational interaction. Specific topics of interest include but are not limited to:

* semantic models for knowledge, for belief, and for uncertainty
* dynamic logics of knowledge, information flow, and action
* logical analysis of the structure of games
* belief revision, belief merging
* logics and preferences, compact preference representation
* logics of intentions, plans, and goals
* logics of probability and uncertainty
* logical approaches to decision making and planning
* argument systems and their role in interaction
* norms, normative interaction, and normative multiagent systems
* logical and computational approaches to social choice


Papers can be submitted on the Easychair site for the conference and should be no longer than 4,000 words (approximately 12 double spaced pages). Submissions may but need not be prepared with LNCS Proceedings Style, although final versions of accepted submissions *must* be prepared with LNCS proceedings style.

PUBLICATION INFORMATION

A LNCS Proceedings Volume containing all accepted papers will be available at the workshop. Authors of selected papers will be invited after the conference to submit to a special issue of the journal Knowledge, Rationality and Action.

SUBMISSION INFORMATION

See the conference website or go directly to the Easychair submission page:

https://www.easychair.org/conferences/?conf=lori3

***************************************************************************
Tentative dates

Submission Deadline: June 1, 2011
Notification: June 25, 2011
Final version due: July 15, 2011
Conference: October 10 - 13, 2011

Progic 2011 at Columbia

The Progic conference series is intended to promote interactions between probability and logic. The fifth installment of the series will be held at Columbia University in New York on September 10th and 11th of 2011. See this page for details (including a call for papers).