Logic List Mailing Archive

REAL 2017: Reasoning about Enterprise Architecture: Logic & Reasoning

7 Apr 2017
Luxembourg, Luxembourg

Hi all,

I'm organizing the workshop below as part of my PhD defense. The workshop
is free and open to all. *Please send an email to marcvanzee@gmail.com
<marcvanzee@gmail.com> to register yourself.*

======================
Reasoning about Enterprise Architecture: Logic and reasoning (REAL2017) -
Workshop, April 7, 2017 - Luxembourg
http://www.marcvanzee.nl/REAL2017
======================

--- Topic ---
Large and complex enterprises are a common occurrence in today?s business
environment. Such enterprises usually involve complex and interdependent
business processes and IT systems. Enterprise architecture is used to model
such enterprises in a holistic fashion by connecting their IT
infrastructure and applications to the business processes they support. In
this interdisciplinary workshop we attempt to build bridges between
Enterprise architecture and formal reasoning methods in Artificial
Intelligence, with the goal to recommend practitioners in their daily
activities.

--- Speakers ---
Farhad Arbab, CWI Amsterdam
Andreas Herzig, IRIT, Université Paul Sabatier
Wiebe van der Hoek, University of Liverpool
Mehdi Dastani, Utrecht University
Sepideh Ghanavati, Texas Tech University
Dragan Doder, University of Belgrade
Egberdien van der Torre, Visual artist
Marc van Zee, University of Luxembourg

--- Program ---
http://www.marcvanzee.nl/REAL2017/program.docx

--- Venue ---
University of Luxembourg, Belval Campus, Maison du Savoir, Room MSA 4.160,
2, avenue de l?Université, 4365 Esch-sur- Alzette (Luxembourg).

I look forward to seeing you in Luxembourg!

- Marc van Zee
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam