From Till.Mossakowski at dfki.de Mon Apr 6 11:43:04 2009 From: Till.Mossakowski at dfki.de (Till Mossakowski) Date: Mon, 06 Apr 2009 11:43:04 +0200 Subject: [Hets-users] Lecture about Institutions, Categories and Hets Message-ID: <49D9CEA8.60909@dfki.de> Dear friends of the Heterogeneous Tool Set (Hets), tomorrow, the following lecture starts, held by Lutz Schr?der and me (in English): "Logics and categories for software engineering and artificial intelligence" http://www.informatik.uni-bremen.de/agbkb/lehre/ss09/logcat/index_e.htm It will introduce in various logics (propositional, description logics, first-order logics) with the formalisation as institutions in mind, and will contain many examples and exercises with Hets. Moreover, also category theory, institutions and structured specifications will be covered. He,ce for all working with Hets, the lecture will provide an interesting and valuable introduction into its foundations. For those who are not able to attend (and for those who attend as well :-): there will be course materials available. All the best, Till -- Till Mossakowski Cartesium, room 2.051 Phone +49-421-218-64226 DFKI GmbH Bremen Fax +49-421-218-9864226 Safe & Secure Cognitive Systems Till.Mossakowski at dfki.de Enrique-Schmidt-Str. 5, D-28359 Bremen http://www.dfki.de/sks/till Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH principal office, *not* the address for mail etc.!!!: Trippstadter Str. 122, D-67663 Kaiserslautern management board: Prof. Wolfgang Wahlster (chair), Dr. Walter Olthoff supervisory board: Prof. Hans A. Aukes (chair) Amtsgericht Kaiserslautern, HRB 2313 From Christian.Maeder at dfki.de Tue Apr 28 16:18:53 2009 From: Christian.Maeder at dfki.de (Christian Maeder) Date: Tue, 28 Apr 2009 16:18:53 +0200 Subject: [Hets-users] hets-2009-04-28-installer Message-ID: <49F7104D.7000901@dfki.de> Hi, I've created new hets installers for the current version of hets, because hets requires Isabelle2008, whereas http://isabelle.in.tum.de/ provides now Isabelle2009. The hets-0.93 installers can no longer be used to install Isabelle, because the Isabelle2008 files have been moved. http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/installation_e.htm Cheers Christian