Topics
_
The scope of SLS 2012 is broad, ranging over the whole area of mathematical and philosophical logic, and logical methods in computer science. Suitable topics include (but are not limited to):
The scope of SLS 2012 is broad, ranging over the whole area of mathematical and philosophical logic, and logical methods in computer science. Suitable topics include (but are not limited to):
- Proof Theory and Constructivism
- Model Theory (including Finite Model Theory)
- Set Theory
- Computability Theory
- Categorical Logic
- Logic and Provability
- Logic and Computer Science
- Logic and Linguistics
- Modal, Hybrid, Temporal, and Description Logic
- Logics of Games, Dynamics and Interaction
- Philosophy of Mathematics
- Philosophy of Computation
- Philosophy of Logic
- Philosophical Logic
