Sched.com Conference Mobile Apps
CLMPS 2015
has ended
Create Your Own Event
CLMPS 2015
Schedule
Simple
Expanded
Grid
By Venue
Speakers
Assistants
Attendees
Search
or browse by date + venue
Affiliated Meetings
All
A1. Mathematical Logic
A2. Philosophical Logic
A3. Computational Logic and Applications of Logic
B1. Methodology
C1. Philosophy of the Formal Sciences
C8. Metaphilosophy
Book Launch
Breaks
Commission Sessions
Contributed Papers
All
A1. Mathematical Logic
A2. Philosophical Logic
A3. Computational Logic and Applications of Logic
A4. Historical Aspects of Logic
B1. Methodology
B2. Formal Philosophy of Science and Formal Epistemology
B3. Metaphysical Issues in the Philosophy of Science
B4. Ethical and Political Issues in the Philosophy of Science
B5. Historical Aspects in the Philosophy of Science
C1. Philosophy of the Formal Sciences
C2. Philosophy of the Physical Sciences
C3. Philosophy of the Life Sciences
C4. Philosophy of the Cognitive and Behavioural Sciences
C5. Philosophy of the Humanities and the Social Sciences
C6. Philosophy of the Applied Sciences and Technology
C7. Philosophy of Medicine
C8. Metaphilosophy
DLMPS general assembly
Invited Sessions
All
A1. Mathematical Logic
A2. Philosophical Logic
A3. Computational Logic and Applications of Logic
A4. Historical Aspects of Logic
B1. Methodology
B2. Formal Philosophy of Science and Formal Epistemology
B3. Metaphysical Issues in the Philosophy of Science
B4. Ethical and Political Issues in the Philosophy of Science
B5. Historical Aspects in the Philosophy of Science
C1. Philosophy of the Formal Sciences
C2. Philosophy of the Physical Sciences
C3. Philosophy of the Life Sciences
C4. Philosophy of the Cognitive and Behavioural Sciences
C5. Philosophy of the Humanities and the Social Sciences
C6. Philosophy of the Applied Sciences and Technology
C7. Philosophy of Medicine
C8. Metaphilosophy
Plenary Lectures
Registration
Social Events
Special Sessions
Symposia
All
A2. Philosophical Logic
A3. Computational Logic and Applications of Logic
A4. Historical Aspects of Logic
B1. Methodology
B3. Metaphysical Issues in the Philosophy of Science
B5. Historical Aspects in the Philosophy of Science
C1. Philosophy of the Formal Sciences
C3. Philosophy of the Life Sciences
C7. Philosophy of Medicine
Popular
menu
Menu
Schedule
Speakers
Assistants
Attendees
Search
← Back
EO
Eugenio Orlandelli
My Speakers Sessions
Friday
, August 7
14:30 EEST
Proof theory of modal and non-classical logics II
Main Building, Room 1
Timezone
CLMPS 2015
Europe/Helsinki
Filter By Date
CLMPS 2015
Aug 3
-
8, 2015
Monday
, August 3
Tuesday
, August 4
Wednesday
, August 5
Thursday
, August 6
Friday
, August 7
Saturday
, August 8
Filter By Venue
Helsinki, Finland
Sort schedule by Venue
Auditorium XII
Book Exhibition Area (1st floor)
Event Arena Bank
Helsinki City Hall
Main Building Consistory's Hall
Main Building Great Hall
Main Building Lobby
Main Building Unicafe
Main Building, auditorium I
Main Building, Auditorium II
Main Building, Auditorium IV
Main Building, new side
Main Building, Room 1
Main Building, Room 10
Main Building, Room 12
Main Building, Room 13
Main Building, Room 14
Main Building, Room 15
Main Building, Room 16
Main Building, Room 17
Main Building, Room 3
Main Building, Room 4
Main Building, Room 5
Main Building, Room 6
Main Building, Room 7
Main Building, Room 8
Main Building, Small Hall
Main Building, Teachers' Lounge
Porthania I
Room 21, Main Building
Senate Square, next to Main Building
Filter By Type
Affiliated Meetings
All
A1. Mathematical Logic
A2. Philosophical Logic
A3. Computational Logic and Applications of Logic
B1. Methodology
C1. Philosophy of the Formal Sciences
C8. Metaphilosophy
Book Launch
Breaks
Commission Sessions
Contributed Papers
All
A1. Mathematical Logic
A2. Philosophical Logic
A3. Computational Logic and Applications of Logic
A4. Historical Aspects of Logic
B1. Methodology
B2. Formal Philosophy of Science and Formal Epistemology
B3. Metaphysical Issues in the Philosophy of Science
B4. Ethical and Political Issues in the Philosophy of Science
B5. Historical Aspects in the Philosophy of Science
C1. Philosophy of the Formal Sciences
C2. Philosophy of the Physical Sciences
C3. Philosophy of the Life Sciences
C4. Philosophy of the Cognitive and Behavioural Sciences
C5. Philosophy of the Humanities and the Social Sciences
C6. Philosophy of the Applied Sciences and Technology
C7. Philosophy of Medicine
C8. Metaphilosophy
DLMPS general assembly
Invited Sessions
All
A1. Mathematical Logic
A2. Philosophical Logic
A3. Computational Logic and Applications of Logic
A4. Historical Aspects of Logic
B1. Methodology
B2. Formal Philosophy of Science and Formal Epistemology
B3. Metaphysical Issues in the Philosophy of Science
B4. Ethical and Political Issues in the Philosophy of Science
B5. Historical Aspects in the Philosophy of Science
C1. Philosophy of the Formal Sciences
C2. Philosophy of the Physical Sciences
C3. Philosophy of the Life Sciences
C4. Philosophy of the Cognitive and Behavioural Sciences
C5. Philosophy of the Humanities and the Social Sciences
C6. Philosophy of the Applied Sciences and Technology
C7. Philosophy of Medicine
C8. Metaphilosophy
Plenary Lectures
Registration
Social Events
Special Sessions
Symposia
All
A2. Philosophical Logic
A3. Computational Logic and Applications of Logic
A4. Historical Aspects of Logic
B1. Methodology
B3. Metaphysical Issues in the Philosophy of Science
B5. Historical Aspects in the Philosophy of Science
C1. Philosophy of the Formal Sciences
C3. Philosophy of the Life Sciences
C7. Philosophy of Medicine
Popular
Recently Active Attendees
Florin Alexandru Badita Nistor
WH
Wade Hutchinson
Moshe Vardi
LG
Luciana Garbayo
Emma Ruttkamp-Bloem
Petri Turunen
Ryan Samaroo
KF
Karen Frost-Arnold
More →
