Wojtek Jamroga Home Page

My Research

Topics Positions Publications PhD Students Committees

Research Interests

General:

artificial intelligence,
logic in computer science,
verification.

Detailed:

multi-agent systems, theories of agency, modal logics for multi-agent systems,
game theory, computers and games, games with imperfect information,
modeling, specification and verification of multi-agent syetems,
security analysis.

I'm interested mainly in various aspects of Artificial Intelligence: multiagent systems, autonomous agents, beliefs, desires and intentions, learning and using beliefs about the agent's environment of action; computers and games, game solving (especially for games with imperfect and incomplete information), knowledge representation, logic in computer science etc. Specification and verification of strategic properties of agents, too.

Positions

1995--2003: Research assistant at the Institute of Mathematics, University of Gdansk, Poland.

2000--2004: Research assistant at the Human Media Interaction Group, University of Twente, Netherlands. Finished (suprise, surprise!) with a PhD thesis on Using Multiple Models of Reality. On Agents who Know how to Play Safer).
2004--2009: Postdoctoral researcher at the Department of Informatics, Clausthal University of Technology, Germany. Finished (surprise?) with a habilitation thesis on Modeling, Verification, and Strategic Reasoning in Multi-Agent Systems.
2009-- : Privatdozent at the Department of Informatics, Clausthal University of Technology, Germany (honorary position).
2009-- : Senior postdoctoral researcher at the Individual and Collective Reasoning & Security and Trust of Software Systems groups, University of Luxembourg.
2011-- : Visiting professor at the Polish-Japanese Institute of Information Technology, Gdansk, Poland.

Papers & other works

Note: the pdf files available here are usually semi-final versions of my papers. They can differ from the final versions slightly.
If you have any questions, or need a copy of a paper that is unavailable here, do not hesitate to email me.

Valentin Goranko and Wojciech Jamroga (2012), State and Path Effectivity Models for Logics of Multi-Player Games. Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2012, to appear.
Wojciech Jamroga and Marija Slavkovik (2012), Distance-Based Rules for Weighted Judgment Aggregation (extended abstract). Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2012, to appear.
Valentin Goranko, Wojciech Jamroga and Paolo Turrini (2012), Strategic Games and Truly Playable Effectivity Functions. Journal of Autonomous Agents and Multi-Agent Systems, to appear.
Hans van Ditmarsch, David Fernandez Duque, Valentin Goranko, Wojtek Jamroga and Manuel Ojeda-Aciego, eds. (2011), Proceedings of the 7th Workshop on Methods for Modalities (M4M'2011) and the 4th Workshop on Logical Aspects of Multi-Agent Systems (LAMAS'2011). Electronic Notes in Theoretical Computer Science vol. 278. © Elsevier. See here for detailed information about the workshop. The proceedings are available here.
Wojciech Jamroga and Matthijs Melissen (2011), Doubtful Deviations and Farsighted Play. Progress in Artificial Intelligence: Proceedings of the 15th Portuguese Conference on Artificial Intelligence EPIA 2011, pp. 295-308, LNCS 7026 © Springer-Verlag. The paper in PDF.
Marija Slavkovik and Wojciech Jamroga (2011), Distance-based Judgment Aggregation of Three-valued Judgments with Weights. Proceedings of WSCAI-11 (the IJCAI-11 Workshop on Social Choice and AI), pp. 81-86. PDF.
Peter Novak and Wojciech Jamroga (2011), Agents, Actions and Goals in Dynamic Environments. Proceedings of the 22nd International Joint Conference on Artificial Intelligence IJCAI'11, pp. 313-318. PDF.
Wojciech Jamroga and Nils Bulling (2011), Comparing Variants of Strategic Ability. Proceedings of the 22nd International Joint Conference on Artificial Intelligence IJCAI'11, pp. 252-257. PDF.
Nils Bulling and Wojciech Jamroga (2011), Alternating Epistemic Mu-Calculus. Proceedings of the 22nd International Joint Conference on Artificial Intelligence IJCAI'11, pp. 109-114. PDF.
Wojciech Jamroga, Sjouke Mauw, and Matthijs Melissen (2011), The Fairness Requirement for Non-repudiation Protocols. Proceedings of the 7th International Workshop on Security and Trust Management STM'11, to appear.
Wojciech Jamroga (2011), Games with Epistemic Moves (Extended Abstract). International Joint Conference on Security and Intelligent Information Systems S&IIS'11. PDF.
Valentin Goranko, Wojciech Jamroga and Paolo Turrini (2011), Strategic Games and Truly Playable Effectivity Functions. Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2011, pp. 727-734. © IFAAMAS. PDF.
Wojciech Jamroga and Nils Bulling (2010), Comparing Variants of Strategic Ability. Proceedings of the 8th European Workshop on Multi-Agent Systems EUMAS'10. PDF.
Valentin Goranko, Wojciech Jamroga and Paolo Turrini (2010), Strategic Games and Truly Playable Effectivity Functions. Proceedings of the 8th European Workshop on Multi-Agent Systems EUMAS'10. PDF. A preliminary version of the AAMAS 2010 paper.
Nils Bulling and Wojciech Jamroga (2010), Model Checking Agents with Memory Is Harder than It Seemed. AI Communications, 23, pp. 380-403 © IOS Press. This is the journal version of the paper. Previous preliminary versions were presented at EUMAS'09 and AAMAS'10. PDF.
Inanc Seylan and Wojciech Jamroga (2010), Coalition Description Logic with Individuals. Electronic Notes in Theoretical Computer Science, 262, pp. 231-248. This is a journal version of the M4M paper. PDF.
Juergen Dix, Joao Leite, Guido Governatori, and Wojciech Jamroga, eds. (2010), Computational Logic in Multi-Agent Systems. Proceedings of CLIMA XI, Lecture Notes in Computer Science vol. 6245. © Springer. See here for detailed information about the workshop. The proceedings are available here.
Valentin Goranko and Wojciech Jamroga, eds. (2010), Proceedings of the 3rd Workshop on Logical Aspects of Multi-Agent Systems (LAMAS 2010). See here for detailed information about the workshop.
Nils Bulling, Juergen Dix, and Wojciech Jamroga (2010), Model Checking Logics of Strategic Ability: Complexity. In: M. Dastani, K. Hindriks, and J.-J. Meyer (eds.), Specification and Verification of Multi-Agent Systems, pp. 125-159, © Springer. PDF.
Nils Bulling and Wojciech Jamroga (2010), Model Checking Agents with Memory Is Harder than It Seemed. Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2010, pp. 633-640. © IFAAMAS. Abstract, the paper in PDF.
Mehdi Dastani and Wojciech Jamroga (2010), Reasoning about Strategies of Multi-Agent Programs. Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2010, pp. 625-632. © IFAAMAS. Abstract, the paper in PDF.
Wojciech Jamroga (2009), Modeling, Verification, and Strategic Reasoning in Multi-Agent Systems. Habilitation thesis, Clausthal University of Technology, Germany. More details can be found here.
Nils Bulling and Wojciech Jamroga (2009), Model Checking ATL+ Is Harder than It Seemed. Proceedings of the 7th European Workshop on Multi-Agent Systems EUMAS'09. Abstract, the paper in PDF.
Mehdi Dastani and Wojciech Jamroga (2009), Reasoning about Strategic Properties of Multi-Agent Programs. Proceedings of the 7th European Workshop on Multi-Agent Systems EUMAS'09. Abstract, the paper in PDF.
Inanc Seylan and Wojciech Jamroga (2009), Coalition Description Logic with Individuals. Proceedings of the 6th Workshop on Methods for Modalities M4M-6, pp. 146-162. The paper in PDF.
Nils Bulling and Wojciech Jamroga (2009), What Agents Can Probably Enforce. Fundamenta Informaticae, 93(1-3), pp. 81-96. The paper in PDF.
Wojciech Jamroga (2009), Easy Yet Hard: Model Checking Strategies of Agents. Computational Logic in Multi-Agent Systems: Proceedings of CLIMA IX, pp. 1-12, LNCS 5405 © Springer-Verlag. The paper in PDF.
Peter Novak and Wojciech Jamroga (2009), Code Patterns for Agent Oriented Programming. Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems AAMAS'09, pp. 105-112. © IFAAMAS. The paper in PDF.
Inanc Seylan and Wojciech Jamroga (2009), Description Logic for Coalitions. Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems AAMAS'09, pp. 425-432. © IFAAMAS. The paper in PDF.
Nils Bulling and Wojciech Jamroga (2009), Rational Play and Rational Beliefs under Uncertainty. Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems AAMAS'09, pp. 257-264. © IFAAMAS. The paper in PDF.
Wojciech Jamroga (2008), A Temporal Logic for Stochastic Multi-Agent Systems. Proceedings of the 11th Pacific Rim Conference on Multi-Agents PRIMA 2008, pp. 239-250, LNAI 5357 © Springer-Verlag. The paper in PDF.
Wojciech Jamroga (2008), Easy Yet Hard: Model Checking Strategies of Agents. Proceedings of the 9th International Workshop on Computational Logic in Multi-Agent Systems CLIMA IX, pp. 3-12 (informal proceedings). The paper in PDF.
Nils Bulling, Wojciech Jamroga, and Juergen Dix (2008), Reasoning about Temporal Properties of Rational Play. Annals of Mathematics and AI, 53(1-4), pp. 51-114. Springer-Verlag. Abstract. A semi-final version is available as a technical report.
Wojciech Jamroga and Nils Bulling (2008), A Logic for Reasoning about Rational Agents. Proceedings of the 8th Workshop on Computational Logic in Multi-Agent Systems CLIMA-VIII, pp. 42-61, LNAI 5056 © Springer-Verlag. (This is the post-proceedings version.)
Wojciech Jamroga (2008), Knowledge and Strategic Ability for Model Checking: A Refined Approach. Proceedings of MATES'08, pp. 99-110, LNAI 5244 © Springer-Verlag. Abstract, the paper in PDF.
Nils Bulling and Wojciech Jamroga (2008), What Agents Can Probably Enforce. Proceedings of the Polish-German Workshop on Concurrency, Specification and Programming CS&P'08, pp. 61-72. Abstract. To download, see the Fundamenta Informaticae version.
Wojciech Jamroga (2008), A Temporal Logic for Multi-Agent MDP's. Proceedings of the AAMAS Workshop on Formal Models and Methods for Multi-Robot Systems, pp. 29-34. Abstract, the paper in PDF.
Wojciech Jamroga (2008), A Temporal Logic for Markov Chains. Proceedings of the 7th International Conference on Autonomous Agents and Multiagent Systems AAMAS'08, pp. 697-704. © IFAAMAS. Abstract, The paper in PDF. Extended version available as Technical Report IfI-07-11, Clausthal University of Technology.
Wojciech Jamroga and Juergen Dix (2008), Model Checking Abilities of Agents: A Closer Look. Theory of Computing Systems, 42(3), pp. 366-410. Abstract, the paper in PDF.
Thomas Agotnes, Valentin Goranko, and Wojciech Jamroga (2008), Strategic Commitment and Release in Logics for Multi-Agent Systems (Extended abstract). Technical Report IfI-08-01, Clausthal University of Technology.
Wojciech Jamroga and Thomas Agotnes (2007), Constructive Knowledge: What Agents Can Achieve under Imperfect Information. Journal of Applied Non-Classical Logics, 17(4), pp. 423-475. Abstract, a semi-final version of the paper in PDF.
Nils Bulling and Wojciech Jamroga (2007), A Logic for Reasoning about Rational Agents: Yet Another Attempt. Proceedings of the Polish-German Workshop on Concurrency, Specification and Programming CS&P'07, pp. 87-99. Abstract.
Thomas Agotnes, Valentin Goranko, and Wojciech Jamroga (2007), Alternating-time Temporal Logics with Irrevocable Strategies. Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge TARK XI, pp. 15-24. Abstract, the paper in PDF.
Nils Bulling and Wojciech Jamroga (2007), Agents, Beliefs, and Plausible Behavior in a Temporal Setting. Proceedings of the 6th International Conference on Autonomous Agents and Multiagent Systems AAMAS'07, pp. 570-577. © IFAAMAS 2007. Abstract. The paper in PDF.
Wojciech Jamroga and Nils Bulling (2007), A Logic for Reasoning about Rational Agents. Proceedings of CLIMA-VIII, pp. 54-69. (This is the version from the informal proceedings.)
Wojciech Jamroga and Nils Bulling (2007), A Framework for Reasoning about Rational Agents (short paper). Proceedings of the 6th International Conference on Autonomous Agents and Multiagent Systems AAMAS'07, pp. 592-594. © IFAAMAS 2007. Abstract. The paper in PDF.
Wojciech Jamroga and Thomas Agotnes (2007), Modular Interpreted Systems. Proceedings of the 6th International Conference on Autonomous Agents and Multiagent Systems AAMAS'07, pp. 892-899. © IFAAMAS 2007. Abstract. The paper in PDF.
Wiebe van der Hoek, Wojciech Jamroga, and Michael Wooldridge (2007), Towards a Theory of Intention Revision. Synthese, 155(2), pp. 265-290. Abstract.
Wojciech Jamroga and Thomas Agotnes (2006), Modular Interpreted Systems: A Preliminary Report. Technical Report IfI-06-15, Clausthal University of Technology. The report is available here.
Wojciech Jamroga and Juergen Dix (2006), Model Checking Abilities under Incomplete Information is Indeed Delta2-complete. Proceedings of the Fourth European Workshop on Multi-Agent Systems EUMAS 2006. Preliminary version appeared as Technical Report IfI-06-10, Clausthal University of Technology (available here).
Wojciech Jamroga(2006), On the Relationship between Playing Rationally and Knowing how to Play: A Logical Account. Proceedings of the 29th German Conference on Artificial Intelligence KI'06, pp. 403-417, Lecture Notes in Artificial Intelligence vol. 4314 © Springer-Verlag. Abstract, the paper in pdf.
Wojciech Jamroga and Thomas Agotnes (2006), What Agents Can Achieve under Incomplete Information. Presented at the 5th International Conference on Autonomous Agents and Multiagent Systems AAMAS'06. Published (as a short paper) in the proceedings, pp. 232-234 © ACM Press. Abstract, the paper in PDF (716K).
Marek A. Bednarczyk, Wojciech Jamroga and Wieslaw Pawlowski (2006), Expressing and Verifying Temporal and Structural Properties of Mobile Agents. Fundamenta Informaticae, 72, pp. 51-63. Abstract, the paper in PDF. This is the journal version of our CS&P'05 paper.
Wojciech Jamroga and Thomas Agotnes (2005), Constructive Knowledge: What Agents Can Achieve under Incomplete Information. Technical Report IfI-05-10, Clausthal University of Technology. Abstract, the report in PDF (93K).
Wojciech Jamroga, Wiebe van der Hoek and Michael Wooldridge (2005), Intentions and Strategies in Game-Like Scenarios. Presented at the 3rd Workshop on Multi-Agent Systems: Theory and Applications MASTA 2005, a workshop of EPIA 2005. Published in C. Bento, A. Cardoso and G. Dias (eds.), Progress in Artificial Intelligence: Proceedings of EPIA 2005, Lecture Notes in Artificial Intelligence, vol. 3808, pp. 512-523 © Springer-Verlag. Abstract, the paper in PDF. An extended version appeared as Technical Report IfI-05-08, Clausthal University of Technology (download).
Wojciech Jamroga and Juergen Dix (2005), Turning Game Models Turn-Based for Model Checking Properties of Agents. In: K. Verbeeck, K. Tuyls, A. Nowe, B. Manderick, B. Kuijpers (eds.), Proceedings of the 17th Belgian-Dutch Conference on Artificial Intelligence BNAIC'05, pp. 143-150. Abstract.
Wojciech Jamroga and Juergen Dix (2005), Model Checking Strategic Abilities of Agents under Incomplete Information. Presented at the 9th Italian Conference on Theoretical Computer Science ICTCS 2005. Published in M. Coppo, E. Lodi, G.M. Pinna (eds.), Theoretical Computer Science, Lecture Notes in Computer Science, vol. 3701, pp. 295-308 © Springer-Verlag. Abstract.
Marek A. Bednarczyk, Wojciech Jamroga and Wieslaw Pawlowski (2005), Expressing and Verifying Temporal and Structural Properties of Mobile Agents. In: L. Czaja (ed.), Proceedings of the Concurrency, Specification and Programming Workshop CS&P'05, pp. 57-68. Abstract, the paper in PDF. An extended version appeared as Technical Report IfI-05-09, Clausthal University of Technology (to be downloaded here).
Wojciech Jamroga and Juergen Dix (2005), Do Agents Make Model Checking Explode (Computationally)? Presented at the 4th International Central and Eastern European Conference on Multi-Agent Systems CEEMAS'05. Published in M. Pechoucek, P. Petta, L.Z. Varga (eds.), Multi-Agent Systems and Applications IV, Lecture Notes in Artificial Intelligence, vol. 3690, pp. 398-407 © Springer-Verlag. Abstract.
Wiebe van der Hoek, Wojciech Jamroga and Michael Wooldridge (2005), A Logic for Strategic Reasoning. Presented at the 4th International Conference on Autonomous Agents and Multiagent Systems AAMAS'05. Published in the proceedings (ACM Press), pp. 157-164. Abstract, the paper in PDF (716K).
Wojciech Jamroga and Wiebe van der Hoek (2005), Strategic Ability under Uncertainty. Technical Report IfI-05-06, Clausthal University of Technology. Abstract, the paper in PDF (93K).
Wojciech Jamroga (2004), Using Multiple Models of Reality. On Agents who Know how to Play Safer. PhD thesis, University of Twente, Netherlands, ISBN 90-75296-11-8. The thesis in PDF, my introductory slides and a bunch of photos from the defense are available here.
Wojciech Jamroga, Wiebe van der Hoek and Mike Wooldridge (2004), On Obligations and Abilities. Presented at the Seventh International Workshop on Deontic Logic in Computer Science DEON'04. Published in A. Lomuscio, D. Nute (eds.), Deontic Logic in Computer Science, Lecture Notes in Artificial Intelligence vol. 3065, pp. 165-181 © Springer Verlag. Abstract, the paper in PDF (445K).
Wojciech Jamroga (2004), Strategic Planning through Model Checking of ATL Formulae. Presented at the Seventh International Conference on Artificial Intelligence and Soft Computing ICAISC 2004. Published in: L. Rutkowski et al. (eds.), Artificial Intelligence and Soft Computing, Lecture Notes in Artificial Intelligence vol. 3070, pp. 879-884 © Springer Verlag. Abstract, the paper in PDF (240K).
Wojciech Jamroga and Wiebe van der Hoek (2004), Agents that Know How to Play. Fundamenta Informaticae, 63 (2-3), pp. 185-219. Abstract, the paper in PDF (445K).
Valentin Goranko and Wojciech Jamroga (2004), Comparing Semantics of Logics for Multi-agent Systems. Synthese, 139 (2), pp. 241-280. Abstract, the paper in PDF (488K). The paper appeared in the section on Knowledge, Rationality and Action.
Wojciech Jamroga (2003), Confidence Measure for a Learning Agent. Proceedings of the Eighth Scandinavian Conference on Artificial Intelligence (SCAI'03), Bergen, Norway, November 2-4, 2003 (edited by B. Tessem et al.). Published by IOS Press in the series Frontiers in Artificial Intelligence and Applications, vol. 103, pp. 95-106. Abstract, the paper in PDF (1M).
The Duy Bui and Wojciech Jamroga (2003), Multi-Agent Planning with Planning Graph. Presented at eunite 2003, 10-12 July 2003 in Oulu, Finland. Published in the proceedings, pp. 558-565. Abstract, the paper in PDF (170K).
Wojciech Jamroga (2003), Safer Decisions Against A Dynamic Opponent. Presented at the Intelligent Information Systems '03 (IIS 2003), Zakopane, Poland, June 2-5, 2003. Published in: M.A. Klopotek, S.T. Wierzchon, K. Trojanowski (eds.), Intelligent Information Processing and Web Mining, pp. 79-86, the Springer-Verlag series on Advances in Soft Computing. Abstract, the paper in PDF (1200K).
Wojciech Jamroga (2003), Some Remarks on Alternating Temporal Epistemic Logic. Presented at the Formal Approaches to Multi-Agent Systems FAMAS 2003, Warsaw, Poland, April 12, 2003. Published in the proceedings (edited by B. Dunin-Keplicz and R. Verbrugge), pp. 133-140. Abstract, the paper in PDF (332K).
Wojciech Jamroga (2003), A Confidence Measure for Learning Probabilistic Knowledge in a Dynamic Environment. Presented at the International Conference on Computational Intelligence for Modelling, Control and Automation CIMCA 2003, February 12-14, 2003, Vienna, Austria. Published in the proceedings (editor: M. Mohammadian), pp. 182-193. Abstract, gzipped postscript copy (354K).
Wojciech Jamroga (2002), Datasize-Based Confidence Measure for a Learning Agent. Presented at the 12th Belgian-Dutch Conference on Machine Learning Benelearn 2002, December 4, 2002, Utrecht, Netherlands. Published in the proceedings (editor: M. Wiering), pp. 39-45. Abstract, the paper in PDF (1.57M).
Wojciech Jamroga (2002), Multiple Models of Reality and How to Use Them. Presented at the 14th Belgian-Dutch Conference on Artificial Intelligence BNAIC 2002, October 21-22, 2002, Leuven, Belgium, and published in the proceedings (editors: H. Blockeel and M. Denecker), pp. 155-162. Abstract, the paper in PDF (434K).
Wojciech Jamroga (2001), Multilevel Modeling of Dialogue Environment for e-Commerce Agents. Presented on Polish Workshop on Electronic Commerce "Electronic Commerce - gospodarka XXI wieku", November 9-11, 2001, Jastrzebia Gora, Poland. Published in: D. Waldzinski (ed.), Electronic Commerce - gospodarka XXI wieku, pp. 49-53. See the abstract or get a copy (gzipped postscript, 82K).
Wojciech Jamroga (2001), A Defense Model for Games with Incomplete Information. Presented at the Joint 24th German/9th Austrian Conference on Artificial Intelligence "KI-2001", September 19-21, 2001, Vienna, Austria. Published in F. Baader, G. Brewka, T. Eiter (eds.), KI 2001: Advances in Artificial Intelligence, Lecture Notes in Artificial Intelligence vol. 2174, pp. 260-274 © Springer-Verlag. See the abstract or download the paper in PDF (225K).
Wojciech Jamroga (2001), Changing and Using Beliefs under Incomplete Information. Presented at the 10th International Symposium "Intelligent Information Systems '01", June 18-22, 2001, Zakopane, Poland. Published in the conference proceedings, volume Communications (ICS PAS Report No. 928; ed. by M.A. Klopotek, S.T. Wierzchon and M. Michalewicz), pp. 31-36. See the abstract or download a gzipped postscript copy (236K).
Wojciech Jamroga (1999), Modelling Artificial Intelligence on a Case of Bridge Card Play Bidding. The paper was presented at the 8th International Symposium "Intelligent Information Systems '99", June 14-18, 1999, Ustron, Poland, and published in the conference proceedings (pp. 267-277). You can also find a gzipped postscript copy (109K) of the paper here.
Wojciech Jamroga (1999), Extending Fuzzy Logics to Support Decisions. Unpublished. See the abstract or get a gzipped postscript copy (65K).
Iwona Fuchs-Jamroga and Wojciech Jamroga (1999), "Learning Europe on Hypertext". Accepted for the 19th World Conference on Open Learning and Distance Education, Vienna, 20-24 June 1999.
Wojciech Jamroga (1995), Machine-assisted Translation of English computer science texts to Polish langage (M.Sc. thesis, in Polish). Get a zipped MS-Word copy here (136K).

Ph.D. Students

I have taken part in supervising the following Ph.D. students:

Juan Acosta Guadarrama, Clausthal University of Technology. Role: co-supervisor (main supervisor: Juergen Dix). Subject: On Updates of Epistemic States. Defended in December 2009.
Nils Bullling, Clausthal University of Technology. Role: co-supervisor (main supervisor: Juergen Dix). Subject: Modelling and Verifying Abilities of Rational Agents. Defended in October 2010.
Matthijs Melissen, University of Luxembourg. Role: daily supervisor (main supervisor: Sjouke Mauw). Subject: Games in Modeling and Analysis of Security.

Committees

Organization of conferences that I have been involved in:

20th European Conference on Artificial Intelligence ECAI 2012, August 27-31, 2012, Montpelier, France. Program Committee member.
26th Conference on Artificial Intelligence AAAI-12, July 22-26, 2012, Toronto, Ontario. Program Committee member.
13th International Conference on Principles of Knowledge Representation and Reasoning KR 2012, June 7-10, 2012, Rome, Italy. Program Committee member.
11th International Joint Conference on Autonomous Agents and Multi-Agent Systems AAMAS 2012, June 4-8, 2012, Valencia, Spain. Program Committee member.
4th International Conference on Agents and AI ICAART 2012, 6-8 February, 2012, Vilamoura, Portugal. Program Committee member.
9th European Workshop on Multi-Agent Systems EUMAS'11, 14-15 November 2011, Maastricht, Netherlands. Program Committee member.
23rd Benelux Conference on Artificial Intelligence BNAIC 2011, November 3-4, 2011, Ghent, Belgium. Program Committee member.
4th Workshop on Logical Aspects of Multi-Agent Systems LAMAS 2011, 11 November 2011, Osuna, Spain. Co-organizer and PC co-chair.
6th Workshop on Multi-Agent Systems: Theory and Applications MASTA'11, October 10-13, 2011, Lisbon, Portugal. Program Committee member.
9th German Conference on Multi-Agent System Technologies MATES 2011, October 6-7, 2011, Berlin, Germany. Program Committee member.
Workshop on Agent Based Computing: from Model to Implementation VIII ABC:MI, September 18-21, 2011, Szczecin, Poland. Program Committee member.
International Joint Conference on Security and Intelligent Information Systems S&IIS'11, 13-14 June 2011, Warsaw, Poland. Program Committee member.
22nd International Joint Conference on Artificial Intelligence IJCAI'11, 16-22 July 2011, Barcelona, Spain. Program Committee member.
12th International Workshop on Computational Logic in Multi-Agent Systems CLIMA XII, 17-18 July 2011, Barcelona, Spain. Program Committee member.
2nd International Symposium on Games, Automata, Logics and Formal Verification GandALF2011, June 15-17, 2011, Minori, Italy. Program Committee member.
13th International Conference on Artificial Intelligence and Law ICAIL 2011, June 6-10, 2011, Pittsburgh, USA. Program Committee member.
10th International Joint Conference on Autonomous Agents and Multi-Agent Systems AAMAS 2011, 2-6 May 2011, Taipei, Taiwan. Program Committee member.
2nd Workshop on Cooperative Games in Multiagent Systems CoopMAS'11, 2 May 2011, Taipei, Taiwan. Program Committee member.
Dagstuhl Seminar 11101 Reasoning about Interaction: From Game Theory to Logic and Back, March 6-11, 2011, Dagstuhl, Germany. Co-organizer.
3rd International Conference on Agents and Artificial Intelligence ICAART 2011, January 28-30, 2011, Rome, Italy. Program Committee member.
8th European Workshop on Multi-Agent Systems EUMAS'10, 16-17 December 2010, Paris, France. Program Committee member.
22nd Benelux Conference on Artificial Intelligence BNAIC 2010, October 25-26, 2010, Luxembourg. Program Committee member.
3rd Workshop on Logics for Intelligent Agents and Multi-Agent Systems WLIAMAS 2010, August 31 - September 3, 2010, Toronto, Canada. Program Committee member.
Third international Workshop on LAnguages, methodologies and Development tools for multi-agent systemS LADS'010, 30 August 2010 - 4 September 2010, Lyon, France. Program Committee member.
11th International Conference on Electronic Commerce and Web Technologies EC-Web-2010, 30 August-3 September 2010, Bilbao, Spain. Program Committee member.
19th European Conference on Artificial Intelligence ECAI 2010, August 16-20, 2010, Lisbon, Portugal. Program Committee member.
European Starting AI Researcher Symposium STAIRS 2010, August 16-20, 2010, Lisbon, Portugal. Program Committee member.
11th International Workshop on Computational Logic in Multi-Agent Systems CLIMA XI, August 16-17, 2010, Lisbon, Portugal. Chair of the special session on Logics for Games and Strategic Reasoning.
ESSLLI Workshop on Logics in Security, 9-13 August 2010, Copenhagen, Denmark. Program Committee member.
11th European Summer School in Logic, Language and Information ESSLLI 2010, 9-20 August 2010, Copenhagen, Denmark. PC member of the student session.
International Joint Conference on Intelligent Information Systems IIS'10, June 8-10, 2010, Siedlce, Poland. Program Committee member.
3rd Workshop on Logics for Agents and Mobility LAM'10, 15 July 2010, Edinburgh, UK. Program Committee member.
3rd Workshop on Logical Aspects of Multi-Agent Systems LAMAS 2010, 10 May 2010, Toronto, Canada. Co-organizer and PC co-chair.
1st Workshop on Cooperative Games in Multiagent Systems CoopMAS-2010, 10 or 11 May 2010, Toronto, Canada. Program Committee member.
9th International Joint Conference on Autonomous Agents and Multi-Agent Systems AAMAS 2010, 10-14 May 2010, Toronto, Canada. Program Committee member.
2nd International Conference on Agents and AI ICAART 2010, January 22-24, 2010, Valencia, Spain. Program Committee member.
7th European Workshop on Multi-Agent Systems EUMAS'09, December 2009, Ayia Napa, Cyprus. Program Committee member.
The first International Conference on Knowledge and Systems Engineering KSE 2009, October 13-17, 2009, Hanoi, Vietnam. Program Committee member.
5th Workshop on Multi-Agent Systems: Theory and Applications MASTA '09, 12-15 October 2009, Aveiro, Portugal. Program Committee member.
2nd Workshop on Logics for Intelligent Agents and Multi-Agent Systems WLIAMAS 2009, September 15-18, 2009, Milano, Italy. Program Committee member.
Workshop on Theory and Practice of Programming Collectives PROTOCOL-2009, September 2009, San Francisco, US. Program Committee member. Note: the workshop has been cancelled.
10th International Workshop on Computational Logic in Multi-Agent Systems CLIMA X, 9-10 September 2009, Hamburg, Germany. Program Committee member.
2nd International Workshop on LAnguages, methodologies and Development tools for multi-agent systemS LADS'009, September 2009, Torino, Italy. Program Committee member.
4th Workshop on Formal Approaches to Multiagent Systems FAMAS 2009, September 2009, Torino, Italy. Program Committee member.
11th European Agent Systems Summer School EASSS'09, August 31-September 4, 2009, Torino, Italy. PC member of the student session.
2nd Workshop on Logics for Agents and Mobility LAM'09, 9-10 August 2009, Los Angeles, USA. Program Committee member.
8th International Joint Conference on Autonomous Agents and Multi-Agent Systems AAMAS-2009, 10-15 May 2009, Budapest, Hungary. Program Committee member.
6th European Workshop on Multi-Agent Systems EUMAS'08, 18-19 December 2008, Bath, UK. Program Committee member.
Pacific Rim International Workshop on Multi-Agents PRIMA 2008, 15-16 December 2008, Hanoi, Vietnam. Program Committee member.
Workshop on Knowledge Representation for Agents and Multi-Agent Systems KRAMAS 2008, 16-19 September 2008, Sydney, Australia. Program Committee member.
ESSLLI 2008 Workshop on Dynamics in Logic, 4-8 August 2008, Hamburg, Germany. Program Committee member.
Workshop on Logics for Agents and Mobility LAM'08, 4-8 August 2008, Hamburg, Germany. Program Committee member.
8th Conference on Logic and the Foundations of Game and Decision Theory LOFT 2008, 3-5 July 2008, Amsterdam, The Netherlands. Program Committee member.
7th International Joint Conference on Autonomous Agents and Multi-Agent Systems AAMAS-2008, 12-16 May 2008, Estoril, Portugal. Program Committee member.
10th European Agent Systems Summer School EASSS'08, 5-9 May 2008, Lisbon, Portugal. PC member of the student session.
5th European Workshop on Multi-Agent Systems EUMAS-2007, 13-14 December 2007, Hammamet, Tunisia. Program Committee member.
4th Workshop on Multi-Agent Systems: Theory and Applications MASTA '07, 3-7 December 2007, Guimaraes, Portugal. Program Committee member.
3rd Workshop on Formal Approaches to Multiagent Systems FAMAS 2007, 6-7 September 2007, Durham, UK. Program Committee member.
6th International Joint Conference on Autonomous Agents and Multi-Agent Systems AAMAS-2007, 14-18 May 2007, Honolulu, Hawaii, USA. Program Committee member.
4th European Workshop on Multi-Agent Systems EUMAS-2006, 14-15 December, Lisbon, Portugal. Program Committee member.
17th European Conference on Artificial Intelligence ECAI 2006, August 28-September 1, 2006, Riva del Garda, Italy. Program Committee member.
7th Conference on Logic and the Foundations of Game and Decision Theory LOFT06, 13-15 July 2006, Liverpool, UK. Program Committee member.
2nd Workshop on Formal Approaches to Multiagent Systems FAMAS 2006, August 28, 2006, Riva del Garda, Italy. Program Committee member.
5th International Joint Conference on Autonomous Agents and Multi-Agent Systems AAMAS-2006, May 8-12, 2006, Hakodate, Japan. Program Committee member.
4th International Joint Conference on Autonomous Agents and Multi-Agent Systems AAMAS-2005, July 25-29, 2005, Utrecht, the Netherlands. Program Committee member.
3rd International Joint Conference on Autonomous Agents and Multi-Agent Systems AAMAS-2004, July 19-23, 2004, New York, USA. Program Committee member.
Symposium Agents Everywhere, July 1, 2004, Enschede, the Netherlands. Co-organizer.
ECOM-03, October 16-18, 2003, Gdansk, Poland. Organizing Committee co-chair and Program Committee member.
ECOM-02, November 13-15, 2002, Sopot, Poland. Organizing Committee co-chair.

Individual and Collective Reasoning Group @ University of Luxembourg

Security and Trust of Software Systems Group @ University of Luxembourg

Computational Intelligence Group @ Clausthal University of Technology Last modified 2012-02-10

Individual and Collective Reasoning Group @ University of Luxembourg
Security and Trust of Software Systems Group @ University of Luxembourg
Computational Intelligence Group @ Clausthal University of Technology	Last modified 2012-02-10