R. van der Meyden, Past Conference Organisation
PC Memberships
- American Association of Artificial Intelligence, National
Conference on AI, Seattle, Aug 1996.
- Computing, the Australian Theory Symposium, Perth, Jan 1998.
- Workshop on Transactions and Change in Logic Programming and
Deductive Databases, International Logic Programming Symposium, Port
Jefferson, New York, Oct 1997.
- Conference on Theoretical Aspects of Rationality and Knowledge,
Evanston, Il, Jul 1998.
-
Workshop on Logic in Computer Science, UTS, Dec 16, 1998 (chair)
- Sixth International Workshop on Temporal Representation
and Reasoning (TIME-99), Orlando, Florida, May 1999.
- Seventh International Workshop on Temporal
Representation and Reasoning (TIME-2000),
Cape Breton, Nova Scotia, Canada, July 7-9 2000.
- IEEE Symposium on Logic in Computer Science, 2001
- Computing, the Australasian Theory Symposium, 2002
- ECAI-2002 Workshop on Model Checking for Artificial Intelligence
(MoChArt-2002)
-
9th International Workshop on Knowledge Representation meets Databases (KRDB-2002)
Toulouse, France, April 21, 2002
-
MoChArt-2003: Model Checking and Artificial Intelligence (IJCAI-03 workshop)
- 10th International Conference on
Logic for
Programming
Artificial Intelligence and
Reasoning, September 22-26th, 2003, Almaty, Kazakhstan
- DEON04: Seventh International Workshop on
Deontic Logic in Computer Science Madeira, Portugal - 26-28 May, 2004
- 2nd IEEE International Conference on Software Engineering and Formal Methods, Beijing, Sep 2004
- 10th Conference on Theoretical Aspects of Knowledge And Rationality Signapore, June 2005 (program chair)
-
MoChArt-2005: Model Checking and Artificial Intelligence
-
3rd International Workshop on Formal Aspects in Security & Trust (FAST2005), Newcastle, UK, 18-19 July 2005.
- Eighth International Workshop on Deontic Logic in Computxer Science (DEON'06)
Utrecht, The Netherlands, 12-14 July, 2006
-
MOCHART IV 4th International Workshop on Model checking and
Artificial Intelligence, Riva del Garda, 29 August 2006
-
4th International Workshop on Formal Aspects in Security and Trust,
26-27 August 2006, Hamilton, Ontario Canada as a satellite event
of the 14th Formal Methods Symposium (FM'06).
- The fifth International Workshop on Formal Aspects in Security and Trust (FAST2008)
-
WORKSHOP DYNAMICS IN LOGIC @ ESSLLI 2008 HAMBURG
- MODEL CHECKING and ARTIFICIAL INTELLIGENCE (MoChArt-2008),
July 21-22 in Patras, Greece (with ECAI 2008).
- International Workshop on Deontic Logic in Computer Science (DEON'08), Luxembourg 15-18 July, 2008, Program Co-chair
-
5th International Workshop on Security and
Trust Management (STM 2009) held in
conjunction with ESORICS 2009, Saint Malo, France - September 24-25, 2009.
- 6th International Workshop on Formal Aspects of Security and Trust,
Eindhoven, Oct 5-6, 2009.
- Workshop on Model Checking and Artificial Intelligence, MoChArt 2010 (co-chair).
- Formal Aspects of Security and Trust, FAST 2010, PC member.
- Theoretical Aspects of Knowledge and Rationality, TARK 2011, PC member.
- Formal Aspects of Security and Trust, FAST 2011, PC member.
- Journal of Applied Logic, special issue on DEON'08 (editor, with Leon van der Torre)
- IEEE Symp on Logic in Computer Science, 2013, PC Member.
- DEON 2014, PC Member.
- ATVA 2014, PC Member.
- LPAR 2015,
20th International Conference on
Logic for Programming, Artificial Intelligence and Reasoning, Fiji, Nov 2105,
PC Member.
- LICS 2016,
Thirty-First Annual ACM/IEEE Symposium on
Logic in Computer Science,
July 5-8, 2016, New York City, USA,
PC Member.
- Workshop on Foundations of Computer Security 2017
August 21, 2017 Santa Barbara, CA, USA
- EACSL Annual Conference on Computer Science Logic, CSL-2017 ,
Stockholm, August 20-24, 2017
- The 3rd Symposium on DLT, 12 November 2018, Gold Coast (co-located with the 20th International Conference on Formal Engineering Methods)
- Second Symposium on Foundations and Applications of Blockchain , Los Angeles, April 2019
- IEEE International Conference on Blockchain
and Crytocurrency, 15-17 May 2019, Seoul, South Korea
- International Joint Conference on
Artificial Intelligence
-
2020 IEEE International Conference on Blockchain and Crytocurrency, Toronto 2020
Conference and Workshop Organisor
- Tutorial Day on Logic of Knowledge, Aug, 1997
- Workshop on Logic in Computer Science, Dec, 1998
- Dagstuhl Workshop on Logics for Emerging Applications of Databases, July 2000
- National ICT Australia, Inaugural Formal Methods Program
Workshop, May 29-31, 2003
- Symposium on Blockchain and Distributed Ledger Technology
UNSW Sydney, Feb 12-13, 2018, organisation and program chair.