Loading…
CLMPS 2015 has ended

Sign up or log in to bookmark your favorites and sync them to your phone or calendar.

Affiliated Meetings [clear filter]
Wednesday, August 5
 

09:00

The Logical Structure of Correlated Information Change (LogiCIC) I
5 August 9:00 AM – 10:50 AM

Organized by:
Sonja Smets, University of Amsterdam

Schedule:

- 09:00-09:30 lecture by Eric Pacuit

- 09:30-09:40 Commentator 1 : Olivier Roy

- 09:40-09:50 Commentator 2 : Chenwei Shi

- 09:50-09:55 Discussion

- 09:55-10:25 lecture by Branden Fitelson

- 10:25-10:35 Commentator 1 : Kevin T. Kelly

- 10:35-10:45 Commentator 2 : Zoe Christoff

- 10:45-10:50 Discussion

Chairs
SS

Sonja Smets

University of Amsterdam

Speakers
avatar for Zoe Christoff

Zoe Christoff

University of Amsterdam
BF

Branden Fitelson

Rutgers University
KT

Kevin T. Kelly

Carnegie Mellon University
avatar for Eric Pacuit

Eric Pacuit

University of Maryland
CS

Chenwei Shi

University of Amsterdam



Wednesday August 5, 2015 09:00 - 10:50
Main Building, Room 7 Fabianinkatu 33

14:30

The Logical Structure of Correlated Information Change (LogiCIC) II
5 August 2:30 PM – 4:20 PM

Organized by:
Sonja Smets, University of Amsterdam

Schedule:

- 14:30-15:25  Short Presentations Session:
     - 14:30-14:45 : Soroush Rafiee Rad: 'Forming Rational Belief on Quantified Evidence'
     - 14:50-15:05 : Paolo Galeazzi: 'Smart Transformations: or, The Evolution of Choice  Principles'
     - 15:10-15:25 : Chenwei Shi: 'Stable belief and Sensitive belief -- a comparative study'

- 15:25-15:55 lecture by Kevin T. Kelly

- 15:55-16:05 Commentator 1: Alexandru Baltag

- 16:05-16:15 Commentator 2: Soroush R. Rad

- 16:15-16:20 Discussion
 

Chairs
SS

Sonja Smets

University of Amsterdam

Speakers
AB

Alexandru Baltag

University of Amsterdam
PG

Paolo Galeazzi

University of Amsterdam
KT

Kevin T. Kelly

Carnegie Mellon University
SR

Soroush R. Rad

University of Amsterdam
OR

Olivier Roy

University of Bayreuth
CS

Chenwei Shi

University of Amsterdam



Wednesday August 5, 2015 14:30 - 16:20
Main Building, Room 7 Fabianinkatu 33

16:40

The Logical Structure of Correlated Information Change (LogiCIC) III
5 August 4:40 PM – 6:30 PM

Organized by:
Sonja Smets, University of Amsterdam

Schedule:

-16:40-17:10 lecture by Alexandru Baltag, University of Amsterdam

-17:10-17:20 Commentator 1: Branden Fitelson, Rutgers University

-17:20-17:30 Commentator 2: Paolo Galeazzi, University of Amsterdam

-17:30-17:35 Discussion

-17:35-18:05 lecture by Olivier Roy, University of Bayreuth

-18:05-18:15 Commentator 1: Eric Pacuit, University of Maryland

-18:15-18:25 Commentator 2: Sonja Smets, University of Amsterdam

-18:25-18:30 Discussion

- Closing words : Sonja Smets

 

 

Chairs
SS

Sonja Smets

University of Amsterdam

Speakers
AB

Alexandru Baltag

University of Amsterdam
BF

Branden Fitelson

Rutgers University
PG

Paolo Galeazzi

University of Amsterdam
avatar for Eric Pacuit

Eric Pacuit

University of Maryland
OR

Olivier Roy

University of Bayreuth



Wednesday August 5, 2015 16:40 - 18:30
Main Building, Room 7 Fabianinkatu 33
 
Friday, August 7
 

11:00

Proof theory of modal and non-classical logics I
07 August 11:00 AM – 01:00 PM

SESSION MOVED to ROOM 1!


ORGANIZERS

Giovanna Corsi, University of Bologna
Sara Negri, University of Helsinki

SPEAKERS AND TITLES

11.00–11.30 Using Assumptions in Gentzen-type Systems, Arnon Avron, Tel-Aviv University

11.30–12.00 Uniform interpolation and proof systems, Rosalie Iemhoff, Utrecht University

12.00–12.30 Natural deduction for bi-connexive logic, Heinrich Wansing, Ruhr-University Bochum

12.30–13.00 Mimamsa deontic logic: proof theory and applications, Agata Ciabattoni, Elisa Freschi, Francesco A. Genco, and Bjorn Lellmann, Vienna University of Technology, AUSTRIA

Chairs
GC

Giovanna Corsi

University of Bologna
avatar for Sara Negri

Sara Negri

University of Helsinki

Speakers


Friday August 7, 2015 11:00 - 13:00
Main Building, Room 1

14:30

Proof theory of modal and non-classical logics II
07 August 02:30 PM – 04:30 PM

SESSION MOVED to ROOM 1!

ORGANIZERS

Giovanna Corsi, University of Bologna
Sara Negri, University of Helsinki

SPEAKERS AND TITLES

14.30–15.00 Unified Correspondence as a Proof-Theoretic Tool, Alessandra Palmigiano, Delft University of Technology

15.00–15.30 30 min break (Due to cancellation of Proof theory for non-classical Euclid’s geometrical logic, Pierluigi Graziani, University of Chieti-Pescara)

15.30–16.00 Proof theory for first-order logic of social choice, Paolo Maffezioli, University of Bologna

16.00–16.30 Proof theory of non-normal modal logics, Eugenio Orlandelli, University of Bologna

Chairs
GC

Giovanna Corsi

University of Bologna
avatar for Sara Negri

Sara Negri

University of Helsinki

Speakers


Friday August 7, 2015 14:30 - 16:30
Main Building, Room 1

17:00

Proof theory of modal and non-classical logics III
07 August 05:00 PM – 06:30 PM

SESSION MOVED to ROOM 1!


ORGANIZERS

Giovanna Corsi, University of Bologna
Sara Negri, University of Helsinki

SPEAKERS AND TITLES

PLEASE NOTE: the presentations of Olivetti and Kurokawa have been interchanged (4 August 2015)

17.00–17.30 Proof theory for neighborhood semantics, Sara Negri, University of Helsinki

17.30–18.00 Internal and External Calculi for conditional logicsNicola Olivetti, Aix-Marseille University

18.00–18.30 Labelled sequent calculi for substructural logics I: Relevant logics, Hidenori Kurokawa, University of Helsinki




Chairs
GC

Giovanna Corsi

University of Bologna
avatar for Sara Negri

Sara Negri

University of Helsinki

Speakers
HK

Hidenori Kurokawa

University of Helsinki



Friday August 7, 2015 17:00 - 18:30
Main Building, Room 1