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