[UAI] Call for Papers: Deontic Logic in Computer Science (DEON 2008)

2007-11-07 Thread Ron van der Meyden
will be published in a special issue of the Journal of Applied Logic (Elsevier). Invited speakers To be announced. General and program co-chairs: Ron van der Meyden School of Computer Science and Engineering University of New South Wales Sydney NSW 2052, Australia [EMAIL P

[UAI] Deontic Logic in Computer Science, DEON 2008, Call for Papers

2007-12-13 Thread Ron van der Meyden
will be published in a special issue of the Journal of Applied Logic (Elsevier). Invited speakers To be announced. General and program co-chairs: Ron van der Meyden School of Computer Science and Engineering University of New South Wales Sydney NSW 2052, Australia [EMAIL P

[UAI] Postdoc and Programmer Positions - Model Checking Knowledge and Probabilty in Pursuit Evasion-Games

2008-03-10 Thread Ron van der Meyden
or details, see http://www.cse.unsw.edu.au/~meyden/positions/. Ron van der Meyden School of Computer Science and Engineering University of New South Wales Sydney 2052 Australia email: [EMAIL

[UAI] DEON'08 and NorMAS 2008 Call for participation

2008-05-30 Thread Ron van der Meyden
Ninth International Conference on Deontic Logic in Computer Science (DEON'08) http://deon2008.uni.lu/ and 3rd International Workshop on Normative Multiagent Systems (NorMAS 2008)