Full name: Floor Sietsma
Formal name: F.A.G. Sietsma
Function: PhD student
Email: F.Sietsma@cwi.nl
Telephone +31(0)20 592 4266
Room: L228
Research groups:
(PNA1) Algorithms Combinatorics and Optimization
(SEN1) Software Analysis and Transformation
Formal name: F.A.G. Sietsma
Function: PhD student
Email: F.Sietsma@cwi.nl
Telephone +31(0)20 592 4266
Room: L228
Research groups:
(PNA1) Algorithms Combinatorics and Optimization
(SEN1) Software Analysis and Transformation
Career
| 2010 - 2014 | PhD student SEN1 - Software Analysis and Transformation |
| 2010 - 2014 | PhD student PNA1 - Algorithms, Combinatorics and Optimization |
| 2009 - 2010 | Junior project member PNA1 - Algorithms, Combinatorics and Optimization |
| 2007 | Trainee SEN1 - Software Analysis and Transformation |
Recent Publications
| F.A.G. Sietsma, D.J.N. van Eijck. Message Passing in a Dynamic Epistemic Logic Setting. Proceedings of the 13th Conference on Theoretical Aspects of Rationalism and Knowledge 2011, 212–220, 2011. |
| D.J.N. van Eijck, F.A.G. Sietsma. Message Generated Kripke Semantics. Proceedings of the 10th International Joint Conference on Autonomous Agents and Multiagent Systems, 2011. |
| Y. Wang, F.A.G. Sietsma, D.J.N. van Eijck. Logic of Information Flow on Communication Channels. International Workshop on Declarative Agent Languages and TechnologiesLecture Notes in Computer Science 6619, 2011. |
| F.A.G. Sietsma, K.R. Apt. Common Knowledge in Email Exchanges. Proceedings of the Workshop on Reasoning About Other Minds: Logical and Cognitive Perspectives, 5–19, 2011. |
| D.J.N. van Eijck, F.A.G. Sietsma, S.E. Simon. Reflections on Vote Manipulation. Proceedings of Logic, Rationality and Interaction 2011, 386–387, 2011. |
