Call for papers: 16th International Conference on Deontic Logic and
Normative Systems (DEON 2023)
The 16th International Conference on Deontic Logic and Normative Systems
(DEON 2023) will be held at the Université du Québec à Trois-Rivières
(Trois-Rivières, Canada) on July 5-6-7 2023 (see www.uqtr
n0%3D%7C2000%7C%7C%7C&sdata=OjkaxdGmVWdPt5aTuuh15c8xyBj3TyU12vn4%2B%2Fun3Hs%3D&reserved=0>
Further information...
For further information concerning this position, please contact Prof.
Christoph Schommer (Email:
christoph.schom...@uni.lu<m
Dear UAI colleagues,
May I draw your attention to the following interesting opportunity for
the UAI community:
** Professor Position - Big Data - University of Luxembourg
The Faculty of Science, Technology and Communication at the University
of Luxembourg, an international research universi
-year fixed-term contract, full-time (40h/week)
* Beginning earliest May, 2015
Area: Collective reasoning
Your Role
The successful candidate will participate in the activities of the ICR
Group (icr.uni.lu) led by Prof. Leon van der Torre at the University of
Luxembourg (year 1 and 2
contract, extendable to 36 months in total,
full-time (40h/week)
* Start date as soon as possible
* Student status
The successful candidate will participate in the activities of the ICR
Group (icr.uni.lu) led by Prof. Leon van der Torre at the University of
Luxembourg. ICR is active in
k/~michael/clima2012.html
Important dates:
* Submission: 28th May
* Notification: 16th June
* Camera Ready: 23rd June
CLIMA XII Chairs:
* Michael Fisher, University of Liverpool, UK
* Leon van der Torre, University of Luxembourg, Luxembourg
Special Session Organisers:
Logics for Multi-Agent P
k/~michael/clima2012.html
Important dates:
* Submission: 28th May
* Notification: 16th June
* Camera Ready: 23rd June
CLIMA XII Chairs:
* Michael Fisher, University of Liverpool, UK
* Leon van der Torre, University of Luxembourg, Luxembourg
Special Session Organisers:
Logics for Multi-Agent Programmi
Doctoral and PostDoctoral Positions in Computational Logic/KRR
In the context of the Interdisciplinary Center for Security, Reliability and
Trust (SnT), the Individual and Collective Reasoning (ICR) group at the
University of Luxembourg headed by Leon van der Torre
The Knowledge
.liv.ac.uk/~michael/clima2012.html
Important dates:
* Submission (extended): June 3 (abstracts June 1)
* Notification: 16th June
* Camera Ready: 23rd June
CLIMA XII Chairs:
* Michael Fisher, University of Liverpool, UK
* Leon van der Torre, University of Luxembourg, Luxembourg
Special Session
REF : SNT-PhD-SECO-RatArch-1112
Fixed-term contract 3 years, full-time (40 hrs/week)
Your Role
You will work in the Individual and Collective Reasoning Group
(icr.uni.lu) of Prof. Leon van der Torre. The position is embedded in
the RationalArchitecture project, which is done in
/ June 10th (Papers)
* Notification: June 24th
* Camera Ready: July 4th
Norms and Normative Multi-Agent Systems Special Session Organiser:
* Leon van der Torre, Univ. of Luxembourg, Luxembourg
Argumentation Technologies Special Session Organisers:
* Paolo Torroni, University of Bologna, Italy
* St
/ June 10th (Papers)
* Notification: June 24th
* Camera Ready: July 4th
Norms and Normative Multi-Agent Systems Special Session Organiser:
* Leon van der Torre, Univ. of Luxembourg, Luxembourg
Argumentation Technologies Special Session Organisers:
* Paolo Torroni, University of Bologna, Italy
* St
Prof. Leon van der Torre.
Your Role
This position is part of the FWO-FNR research project on "Specification
logics and Inference tools for verification and Enforcement of Policies
(SIEP)", which is done in cooperation with the group of Prof. Marc
Denecker in Leuven. It is
Villata/climaXV.html
Important dates:
* Submission: May 11th
* Notification: June 9th
* Camera Ready: June 16th
CLIMA XIV Chairs:
* Nils Bulling, Clausthal University of Technology, Germany
* Leon van der Torre, University of Luxembourg, Luxembourg
* Serena Villata, INRIA Sophia Antipolis, France
Specia
PC Chairs
Mehdi Dastani, Utrecht University
Huimin Dong, Zhejiang University
Leon van der Torre, University of Luxembourg
Contact
All questions about submissions should be emailed to: clar2...@xixilogic.org
The Individual and Collective Reasoning Group ICR (Department of
Computer Science), led by Prof. Leon van der Torre, is looking for two:
*PhD students (doctoral candidates) in Knowledge Representation and
Reasoning*
with a special interest and background in one or several of the
following
representation and
multi-agent systems, led by Leon van der Torre and Emil Weydert. For
more information see:
_http://agamemnon.uni.lu/ILIAS/
_
*_Offer_:*
*
A challenging job in a dynamic and ambitious University;
*
International working environment for collaborative a
including copies of the MSc diploma and
information about the grades, and the names and coordinates of two
referees. We accept only electronic submissions.
More information can be obtained from
Prof. Dr. Leon Van der Torre (after 15.8)
E-mail: [EMAIL PROTECTED]
Homepage: http://agamemnon.un
from:
* Normative multi-agent systems
* Logic of trust and reputation
* Uncertainty models for reliability and trust
* Formal verification of security protocols
* Intrusion detection
For further information and application please consult the webpage
http://p1.uni.lu/ or contact Prof. dr. Leon van
of 3 or 4 years (40
hrs/week). The Postdoc will be employed for a period of 3 years (40
hrs/week). The project will be supervised by Prof. Dr. Leon van der
Torre and Prof. Dr. Sjouke Mauw.
The Postdoc and PhD student will be appointed by the University of
Luxembourg. The Postdoc shall start on Apri
20 matches
Mail list logo
