PORI Spontaneous DepLog Workshop
June 8, 2011 - Pori Art Museum - Pori, Finland
Program:
- J. Väänänen: The current state of dependence logic research
- Museum visit (Pori Art Museum)
- P. Galliani: Modeling Belief Updating in Team Semantics
- Lunch
- S. Abramsky: Sheafs and dependence logic
- H. Vollmer: Clones and satisfaction classes
- A. Durand: Queries and enumeration
- Excursion to Villa Mairea
Participants:
- Väänänen, Jouko
- Kontinen, Juha
- Kuusisto, Antti
- Virtema, Jonni
- Yang, Fan
- Galliani, Pietro
- Mann, Allen
- Abramsky, Samson
- Durand, Arnold
- Vollmer, Heribert
- Ebbing, Johannes
maintained by: Pietro Galliani (
)
