From bu Wed May 12 19:54:37 1993 Date: Wed, 12 May 93 19:54:35 +0200 From: bu (Burkhart Wolff) To: bu, shi, qian, tm@p111, jvh, ric, liu, bernd, bkb, hof, ewk, ejs, mfr, mawe, wang@pc-labor.uni-Bremen.de Subject: Naechstes Extratreffen Content-Length: 285 Status: RO X-Lines: 14 Liebe Leute, nach langer Pause ist wieder ein Extratreffen anzukuendigen: Fr. 14.5 15.00 B. Gersdorff: Praktische Erfahrungen mit den Sprachen ASPECT und OPAL Weitere Vortraege sind in Vorbereitung (von Kolyang und von mir selbst) und werden bald nachgereicht. Gruss bu From bu Thu May 20 16:41:29 1993 Date: Thu, 20 May 93 16:41:27 +0200 From: bu (Burkhart Wolff) To: bu, shi, qian, tm@p111, jvh, ric, liu, bernd, bkb, hof, ewk, ejs, mfr, mawe, wang@pc-labor.uni-Bremen.de Subject: naechstes Extratreffen Content-Length: 144 Status: O X-Lines: 10 Liebe Leute, morgen um 15 Uhr wird Kolyang ueber seine Diplomarbeit berichten. Thema: Typinferenz fuer Subtypen und Polymorphie. Gruss bu From bu Mon Jun 14 11:57:54 1993 Date: Mon, 14 Jun 93 11:57:51 +0200 From: bu (Burkhart Wolff) To: bu, shi, qian, tm@p111, jvh, ric, liu, bernd, bkb, hof, ewk, ejs, mfr, mawe, wang@pc-labor.uni-Bremen.de Subject: protokoll 11.6.93 Content-Type: X-sun-attachment Status: RO X-Lines: 117 Content-Length: 5611 ---------- X-Sun-Data-Type: text X-Sun-Data-Description: text X-Sun-Data-Name: text X-Sun-Content-Lines: 0 X-Sun-Content-Length: 0 ---------- X-Sun-Data-Type: default X-Sun-Data-Name: Protokoll.Extra X-Sun-Content-Lines: 106 X-Sun-Content-Length: 5357 Protokoll vom Extra-Treffen 11.6.93 Thema: Sinn, Probleme und Verbesserung des Extra-treffens Protokollant: bu Kritik(bu): Es scheint eine Art Sinnkrise des Extratreffens zu geben. Die Motivation, einen Vortrag zu halten, ist kleiner und kleiner geworden; den "Profis" in unserer Gruppe ist das Treffen womoeglich nicht wissenschaftlich genug, den anderen sind die Themen zu speziell und zuweit hergeholt. Als Folge bin ich mehrfach hinter Vortragenden lange hergerannt, wobei der Vortrag dann letztlich doch nicht zustande kam. Dies ist natuerlich auch eine Folge der Groesse unserer Gruppe; hierbei wird es immer schwieriger, ueber die Arbeiten und Interessen der Einzelnen einen Ueberblick zu behalten. Ausserdem ist die Teilnahmedisziplin und Puenktlichkeit bisher nicht gerade hervorragend gewesen. Kritik(hui&kol): Die Motivation, einen Vortrag zu halten, ist nicht gut, wenn alle nach und nach `raus gehen und zum Schluss nur die 4 ueberbleiben, mit denen man sowieso immer ueber das Thema diskutiert. Es fehlt sowas wie ein zentrales Forum unserer Gruppe. Im Laufe der Diskussion (Einige ging schon nach 10 Minuten) wurden folgende Konsequenzen gezogen: 1). Funktion des Extra-Treffens wird entzerrt. a) Es wird der organisatorische Teil (Besprechungen, Institusinterna, Personalia etc) abgetrennt. Der findet jetzt Mittwoch 2 Uhr regelmaessig statt. Organisator ist Bert. An den sind auch Tagungspunkte einzureichen. b) Weiterhin soll eine informelle Teestunde (Anwesenheit fakultativ) eingerichtet werden, das einfach dem allgemeinen Kloenen dienen soll. Der Zeitraum fuer die Teerunde ist 1 - 1Uhr 30. Treffpunkt ist der Besprechungsraum ... Der Raum ist fuer diesen Zeitraum von Lehrveranstaltungen und sonstigem grundsaetzlich freizuhalten. c) Darueberhinaus findet das Extratreffen weiterhin im Regelfall um 15 Uhr 15 bis 16 Uhr 45 statt. Das Extratreffen IST das Doktorandenseminar unserer Gruppe und hat den formalen Titel: "Formale Methoden der Softwaretechnik". Organisatoren sind bu und kolyang. Alle Mitglieder unserer Gruppe sind grundsaetzlich moralisch verpflichtet, daran teilzunehmen. Ausserdem sollte jeder regelmaessig Vortraege halten. (Ueber Ausnahmen und moegliche Formen der Vortraege siehe Punkt 3). 2.) Verbesserung der Planung und der Information. Fuer die Gruppenkoordination werden Ausgangsbretter eingerichtet. Diese werden von den jeweiligen Koordinatoren verwaltet. Darueberhinaus gibt es im Sekretariat ein Brett wo die Urlaubs - und Tagungsaufenthalte kuenftig eingetragen werden sollen, um die Planung des Extra-Treffens zu erleichtern und um es der kuenftigen Sekretaerin zu erleichtern, auf fernmuendliche Anfragen reagieren zu koennen. 3.) Durchfuehrung der Extra-Treffen Vortraege richten sich (vom Ton, vom Niveau) grundsaetzlich an die Fachoeffentlichkeit unserer Gruppe. (Ausnahmen siehe Unten). Sie sollten mit einer hinreichend allgemeinen Einleitung und Motivation beginnen. Es wird davon ausgegangen, das jeder Grundsaetzlich auch entsprechende Zeit fuer die Vorbereitung des Vortrages aufbringt. Zwischenfragen sind nach wie vor erwuenscht. Um sich ergebende Zwischen-Diskussionen kuenftig staerker zu strukturieren (=abzuwuergen), wird die Institution eines "Chairmans" eingesetzt. (bkb oder bu); falls die selbst zusehr beteiligt sind und in dieser Funktion voruebergehend ausfallen, sollen andere eingreifen). Der chairman sorgt auch dafuer, das der offizielle Teil des Treffens kuenftig auf 16.45 begrenzt wird. Schon bisher hatte das Treffen den Charakter eines Informations-, und Diskussions-Forums sowie auch als Moeglichkeit zum Vortrags-Trainings (fuer Vortraege nach aussen). Es folgt eine Uebersicht ueber den moeglichen Charakter von Vortraegen: A) Berichte von Tagungen (wie bisher Pflicht.) B) Technischer Forschungsvortrag. (Auch Vortrag ueber andere Arbeiten, die man gelesen hat oder aehnliches; Wendet sich am ehesten an eine Teilgruppe; ) C) Probevortrag, Externvortrag (kuenftig Pflicht). Wer immer draussen einen Vortrag haelt, soll es auch drinnen tun. Das Ganze hat auch die Funktion eines Vortrags-Trainings. (Hierbei sind u.U. eher die Hoerer gefordert, wenn sich der Vortrag an ein externes Fachpublikum wendet...) D) Diskussion Eine strittige weltanschauliche Frage wird aufs Tapet gebracht. Oder eine noch unausgegorene fachliche Idee ... E) Werkvortrag Ueberblick ueber den Stand laufender oder abgeschlossener Arbeiten (z.B. auch Diplomarbeiten, technische Berichte). F) Diskussion ueber Lehrveranstaltungskonzeptionen (Berthold z.B. hat eine neue Lehrveranstaltung geplant und moechte die Konzeption zur Diskussion stellen) G) Tutorien (Elemente von Vortragsreihen). Diese (neue) Form sieht vor, das einer oder mehrere eine Folge von aufeinander aufbauenden Vortraegen halten, um so vielleicht etwas tiefer in ein gewisses Gebiet einzufuehren. Vortraege sollten kuenftig etwas besser beim Koordinator angemeldet werden. Ich haette gern eine mail, wo Titel, ein mini-abstract und eine Klassifikation (im Sinne der obigen Liste z.B.) drinsteht, damit die Hoerer sich kuenftig besser darauf einstellen koennen, was in dem Vortrag passieren soll. Ev. Dokumente (Fotokopien von Folien, handouts, ...) von Vortragen werden weiterhin von bu gesammelt. bu From bu Mon Jun 14 16:22:24 1993 Date: Mon, 14 Jun 93 16:22:21 +0200 From: bu (Burkhart Wolff) To: bu, shi, qian, tm@p111, jvh, ric, liu, bernd, bkb, hof, ewk, ejs, mfr, mawe, wang@pc-labor.uni-Bremen.de, det, kreo@informatik, drewes@informatik Subject: extratreffen Content-Length: 1177 Status: RO X-Lines: 39 Liebe Leute, fuer den folgenden Freitag habe ich gleich eine ganze Reihe von Vortraegen anzukuendigen: 1.) 10 Uhr: A. Borzyskowski: Verifying parametric algebras against parametric specifications. (Forschungsvortrag; Eigentliches Extra-Treffen) "In my talk I will recall that alg. specifications can be considered as Sigma-types while algebras as their elements; Iwill argue in favor of treating parametric specifications as function types including higher or der functions too; I will present a set of rules together defining a judgement 'an algebra satisfies a specification' ". 2.) 13 Uhr: F. Cornelius: "Semantisches Ausbaustufenkonzept, HDMS-A, und div. Themen" (Offene Diskussion, und, lt. Author, "Eigenwerbung"; richtet sich an unsere und Kreos Gruppe) "Semantisches Ausbaustufenkonzept fuer alg. Spezifikationssprachen, orientiert an SPECTRUM. Ausserdem Bericht ueber die Aktivitaeten im Rahmen vom KORSO-Subprojekt: HDMS-A." 3.) 15 Uhr 15: B Borzyskowski: (Offene Diskussion) Alle drei Termine sollen im Besprechungsraum stattfinden. Verlegungen werden bei uns an der Tafel angeschrieben. bu From bu Tue Jun 22 19:15:35 1993 Date: Tue, 22 Jun 93 19:15:33 +0200 From: bu (Burkhart Wolff) To: bu, shi, qian, tm@p111, jvh, ric, liu, bernd, bkb, hof, ewk, ejs, mfr, mawe, wang@pc-labor.uni-Bremen.de Subject: naechstes Extra-Treffen Content-Length: 923 Status: RO X-Lines: 34 Liebe Leute, das naechste Extra-Treffen findet ausnahmsweise morgen, Mittwoch, 15 ct statt. Joern v. holten wird ueber seine Dissertation vortragen: (Objekt-orientiert + Funktional == OF) == DISSERTATION Ein Extra-Vortrag mit Extra-Diskussion "Es geht um die im Titel genannte Gleichung, wobei nur der in Klammern gesetzte Ausdruck wirklich zur Diskussion steht. OF ist dabei die Sprache, die ich mir waehrend meiner Arbeit ausgedacht habe. Sie ist NICHT kompatibel zu ASpecT und enthaelt Konzepte, die Euch wahrscheinlich zu denken geben werden. Na denn bis denn... Joern" Die naechsten Wochen werden einige Leute im Urlaub sein. Insbesondere bkb. Das koennte man ja auch nutzen fuer Diskussionen, bei denen es etwas techinscher zugeht. Eine Idee waere eine Diskussion um Funktoren und Klassen-Typsysteme, oder um einen Schnellhack fuer ein Trafo-System. Wenn ihr Vorschlaege habt, bitte an mich. bu From bu Thu Jul 1 14:00:03 1993 Date: Thu, 1 Jul 93 14:00:01 +0200 From: bu (Burkhart Wolff) To: bu, shi, qian, tm@p111, jvh, ric, liu, bernd, bkb, hof, ewk, ejs, mfr, mawe, wang@pc-labor.uni-Bremen.de Subject: extratreffen morgen Content-Length: 576 X-Lines: 18 Status: RO Liebe Leute, an diesem freitag um 15.00 wird Kolyang einen Vortrag im Extra-Treffen halten. Gruss bu TITEL: Specification Language Z: Overview and Discussion ABSTRACT: The discussion is intended to be a short summary of the one week workshop organized by DST (Deutsche System-Technik) in Kiel. An overview of the language Z will by given through an example. A specification of a lift system will be shown and the schema caulus, the relationship between specification and test classes will be stressed. It is not an "extra Treffen" to learn the language Z. Kolyang From bu Wed Jul 7 17:11:11 1993 Date: Wed, 7 Jul 93 17:11:08 +0200 From: bu (Burkhart Wolff) To: bu, shi, qian, tm@p111, jvh, ric, liu, bernd, bkb, hof, ewk, ejs, mfr, mawe, wang@pc-labor.uni-Bremen.de Subject: naechstes Treffen Content-Length: 194 Status: RO X-Lines: 8 Liebe Leute, am den kommenden Freitag haben wir noch nix vor; wenn jemand also noch etwas vortragen will oder diskutieren moechte, nur zu !!! Bitte moeglichst bald bei mir melden. gruss bu From bu Tue Aug 3 16:21:09 1993 Date: Tue, 3 Aug 93 16:21:07 +0200 From: bu (Burkhart Wolff) To: bu, shi, qian, jvh, ric, wu, liu, bernd, bkb, hof, ewk, ejs, mfr, mawe, wang@pc-labor.uni-Bremen.de, jun, tm@p111, kol@p111 Subject: naechstes treffen Content-Length: 628 Status: RO X-Lines: 14 Liebe Leute, diesen Freitag (6.8.) werde ich zum ueblichen Termin (15 Uhr 15) einen Ueberblicksvortag ueber die Vorlesungen auf der Marktoberdorf - Sommerschule (20.7. - 1.8.93) geben. Themengebiete waren: Lineare Logik (Girard, Scedrow), Programmtransformation durch Beweistransformation (Wainer, Schwichtenberg), Beweis-Reflexion in Nuprl (Constable), Termersetzung (Jouannaud), Beobachtungsorientierte Spezifikationen (Wirsing), Petri-Netze (Brauer), Pi-Calcuel und Action-Structures (Milner), (Wieder mal:) Asynchrone Kommunikation in Prozessnetzen (Broy). Alle Interessierten sind herzlich eingeladen. bu From bu Thu Sep 2 15:40:38 1993 Date: Thu, 2 Sep 93 15:40:33 +0200 From: bu (Burkhart Wolff) To: bu, shi, qian, jvh, ric, wu, liu, bernd, bkb, hof, ewk, ejs, mfr, mawe, wang@pc-labor.uni-Bremen.de, jun, tm@p111, kol@p111 Subject: treffen Content-Length: 735 Status: RO X-Lines: 28 Liebe Leute, morgen werde ich um 1 Uhr (Punkt!) bis 14 Uhr 30 einen Vortrag zum Thema: "Eine Deduktionssemantik fuer die Kern-Transformationssprache TL" halten. Diesen Vortrag habe ich diesen Mittwoch in Oldenburg in 110 min. gehalten. Da der Diskussionsbedarf bei uns aber vielleicht groesser ist als dort und wir weniger Zeit haben, kann der Vortrag ggf. in zwei Teile aufgesplittet werden (Der zweite wird dann naechste Woche nachgeholt). Der erste wird dann eher den Schwerpunkt: "Konzepte und Sprachdefinition von TL" der zweite den Schwerpunkt: "Semantische Definition von TL und resultierende Eigenschaften" haben. Der Vortrag berichtet und diskutiert ein Papier, an dem Hui und ich gerade arbeiten. Gruss bu From ewk Fri Sep 3 15:41:40 1993 Date: Fri, 3 Sep 93 15:41:37 +0200 From: ewk (Einar Wolfgang Karlsen) To: bu, shi, qian, tm@p111, jvh, ric, liu, bernd, bkb, hof, ewk, ejs, mfr, herwig, jun, kol, mawe, quin, wu Subject: Visit from Jian Chen, Software Verification Research Center X-Sun-Charset: US-ASCII Content-Length: 1013 Status: RO X-Lines: 33 Dear folks, Jian Chen from the Software Verification Research Center, will make a talk monday, 17.00. Subject enclosed. Einar ---- DEFINING SOFT SORTEDNESS BY ABSTRACT INTERPRETATION Jian Chen Software Verification Research Centre The University of Queensland Brisbane, Australia 4072 ABSTRACT Sorted languages can improve the expressiveness and efficiency of reasoning. A conventional sorted language typically includes well-sortedness rules amongst the rules for well-formedness. A major disadvantage of this approach is that many intuitively meaningful expressions are ill-sorted and hence not part of the language. To overcome this limitation, soft sorting regards as well-formed, all first-order expressions of the corresponding unsorted language, and lets the semantics be the basis for defining the significance of the sort syntax. In this paper we show how soft sortedness can be defined by abstract interpretations which characterise semantic properties of softly sorted expressions. From bu Fri Sep 3 17:01:19 1993 Date: Fri, 3 Sep 93 17:01:16 +0200 From: bu (Burkhart Wolff) To: bu, shi, qian, jvh, ric, wu, liu, bernd, bkb, hof, ewk, ejs, mfr, mawe, wang@pc-labor.uni-Bremen.de, jun, tm@p111, kol@p111 Subject: Ankuendigung von zwei Vortraege Content-Length: 253 Status: RO X-Lines: 9 Liebe Leute, Am 6.9.1993, um 17 Uhr tragt Jian Chen vor: "Defining Soft Sortedness by Abstract Interpretation", im Raum 8090. Am 7.9.1993, um 14:30 Uhr tragt L. Zhou vor: "CBD/M- A Heterogeneous Distributed Multimedia DBMS", im Raum 8090. Gruss, Shi From bu Thu Sep 9 14:20:34 1993 Date: Thu, 9 Sep 93 14:20:31 +0200 From: bu (Burkhart Wolff) To: bu, shi, qian, jvh, ric, wu, liu, bernd, bkb, hof, ewk, ejs, mfr, mawe, wang@pc-labor.uni-Bremen.de, jun, tm@p111, kol@p111 Subject: treffen Content-Length: 181 Status: RO X-Lines: 11 Liebe Leute, ich wollte noch mal daran erinnern, dass ich morgen, 15 Uhr (ct) den zweiten teil meines Vortrages "Semantik einer Transformations-Kernsprache" halten werde. bu From bu Fri Sep 10 17:04:25 1993 Date: Fri, 10 Sep 93 17:04:23 +0200 From: bu (Burkhart Wolff) To: bu, shi, qian, jvh, ric, wu, liu, bernd, bkb, hof, ewk, ejs, mfr, mawe, wang@pc-labor.uni-Bremen.de, jun, tm@p111, kol@p111 Subject: Sondertreffen Content-Length: 232 Status: RO X-Lines: 16 Liebe Leute, diesen Montag, 16 Uhr, traegt Prof. Luo Ruqian ueber: 19th. Int. Conf. of Very Large Data Bases sowie 13th. Int. Joint Conf. of artificial intelligence vor. Alle Interessierten sind herzlich eingeladen. bu From bu Tue Oct 5 17:37:41 1993 Date: Tue, 5 Oct 93 17:37:38 +0100 From: bu (Burkhart Wolff) To: bu, shi, qian, jvh, ric, wu, liu, bernd, bkb, hof, ewk, ejs, mfr, mawe, wang@pc-labor.uni-Bremen.de, jun, tm@p111, kol@p111 Subject: Freitag Content-Length: 168 Status: RO X-Lines: 11 Liebe Leute, diesen Freitag, 15.00 ct, wird es zwei Kurzvortraege geben: B. Gersdorf: Monads M. Froehlich: Bericht von der Konferenz "Graph Drawing 93" Gruss bu From bu Mon Oct 11 10:12:15 1993 Date: Mon, 11 Oct 93 10:12:12 +0100 From: bu (Burkhart Wolff) To: bu, shi, qian, jvh, ric, wu, liu, bernd, bkb, hof, ewk, ejs, mfr, mawe, wang@pc-labor.uni-Bremen.de, jun, tm@p111, kol@p111 Subject: SONDER-Extratreffen Content-Length: 422 Status: RO X-Lines: 17 Liebe Leute, heute mittag werde ich einen Probevortrag ueber "Synthese-orientierte Transformationen von LEX" halten. Es handelt sich um eine formale Entwicklung der UNIX-LEX-Funktion, die Kolyang, Liu und ich im Rahmen von KORSO gemacht haben. Der Vortrag muss aus Termingruenden um 12 Uhr stattfinden (Punkt) und sollte nicht laenger als eine halbe Stunde dauern. Alle Interessierten sind herzlich eingeladen. From bu Tue Jul 13 11:46:49 1993 Date: Tue, 13 Jul 93 11:46:47 +0200 From: bu (Burkhart Wolff) To: bu, shi, qian, jvh, ric, wu, liu, bernd, bkb, hof, ewk, ejs, mfr, mawe, wang@pc-labor.uni-Bremen.de, jun, tm@p111, kol@p111 Subject: yellow submarine Content-Length: 322 Status: RO X-Lines: 7 Liebe Leute, diesen Freitag um 15.15 wird die Yellow Submarine Gruppe ueber den Stand ihrer Arbeit berichten. Es sieht ganz gut aus, aber verschiedene Dinge werden ganz anders werden als gewohnt. Das Treffen dient dazu, Aenderungen vorzustellen und zu diskutieren. BETROFFEN ist jedenfalls jeder in unserer Gruppe. bu From bu Thu Oct 21 11:37:43 1993 Date: Thu, 21 Oct 93 11:37:41 +0100 From: bu (Burkhart Wolff) To: bu, shi, qian, jvh, ric, wu, liu, bernd, bkb, hof, ewk, ejs, mfr, mawe, wang@pc-labor.uni-Bremen.de, jun, tm@p111, kol@p111 Subject: naechstes Treffen Content-Length: 159 Status: RO X-Lines: 13 Liebe Leute, diesen Freitag, 15 uhr (ct) wird B. Gersdorf ueber: Monaden und ihre Anwendungen in funktionalen Programmiersprachen berichten. gruss bu From bu Wed Oct 27 15:05:04 1993 Date: Wed, 27 Oct 93 15:04:59 +0100 From: bu (Burkhart Wolff) To: bu, shi, qian, jvh, ric, wu, liu, bernd, bkb, hof, ewk, ejs, mfr, mawe, wang@pc-labor.uni-Bremen.de, jun, tm@p111, kol@p111 Subject: naechstes treffen Content-Length: 870 Status: RO X-Lines: 17 Liebe Leute, diesen Freitag steht noch kein Gespraechsthema fest. bkb wird nicht dabei sein koennen, aber vielleicht hat einer ja Lust, irgendeines seiner Kinder zur Diskussion zu stellen (hier ist nicht Paul o.ae. gemeint...). Falls nicht, faellt es diese Woche aus. Naechste Woche Freitag, 15 (ct) werden Kolyang und ich einen Vortrag ueber: "Transformationen und Synthese-Theoreme" halten. Es geht dabei um die Tatsache, dass man viele der (vor allem komplexeren) Trafos zerlegen kann in einen "logischen Kern", gen. ein Synthese-Theorem, und "taktischen Zucker". Diese Darstellung wirft ein neues Licht auf Korrektheitsfragen von Trafos, auf Designfragen von Trafo-Regelsaetzen (braucht man wirklich eine "lokale Theorie"?) und systematische Fragen (wie kann man "Split of Postcondition" aus PROSPECTRA mit Smiths "divide & conquer" vergleichen?) gruss bu From bu Tue Nov 9 11:42:11 1993 Date: Tue, 9 Nov 93 11:42:08 +0100 From: bu (Burkhart Wolff) To: bu, shi, qian, jvh, ric, wu, liu, bernd, bkb, hof, ewk, ejs, mfr, mawe, wang@pc-labor.uni-Bremen.de, jun, reiner, kol, cabo@bettina, bohnebec@informatik, kreyss@informatik Subject: naechstes EXTRA-Treffen Content-Length: 647 Status: RO X-Lines: 14 Liebe Leute, diesen Freitag, 15 Uhr, wird auf bkb's und Hr. Herzogs Anregung ein informelles Treffen und Sich-Vorstellen unserer Arbeitsgruppen stattfinden. Von unserer Seite ist geplant, dass vier Themenbereichen unserer Gruppe (Higher-Order Unifikation, Funktional-Logische Sprachen, Transformations-System & Korrekte Software, Visualisierung) KURZ vorgestellt werden. Aehnliches haben die beiden Mitarbeiterinnen Uta Bohnebeck und Jutta Kreyss fuer ihre Fachgebiete (Expertensysteme, Wissensrepraesentation und und Sprachverarbeitung) vor. gruss bu PS: Ute und Carsten Bormann waren auch eingeladen, werden aber nicht kommen koennen. From bu Fri Nov 12 15:05:05 1993 Date: Fri, 12 Nov 93 15:05:02 +0100 From: bu (Burkhart Wolff) To: bu, shi, qian, jvh, ric, wu, liu, bernd, bkb, hof, ewk, ejs, mfr, mawe, wang@pc-labor.uni-Bremen.de, jun, reiner, kol, cabo@bettina, bohnebec@informatik, kreyss@informatik Subject: naechste EXTRA-Vortraege Status: RO Content-Length: 1186 X-Lines: 48 Liebe Leute, fuer den Winter sind folgende Vortraege in unserem Forschungskolloquium ("EXTRA-Treffen", unregelmaessig am Freitag nachmittag 15 (ct), Raum 8090) vorgesehen: 19. 11. Thomas Meyer: Ein l-ordered Evaluator-Generator fuer den Attributierungsformalismus SPEC. Bericht vom Stand einer Diplomarbeit. 26. 11. Bernd Gersdorf: Autom. Typinferenz fuer abhaengige polymorphe Typen ("Term-Polymorphism"). Vortrag und Diskussion. 3. 12. Hui Shi: Extended Pattern Matching in Programm Transformation. Bericht vom Stand der Arbeiten (und eines Papiers). 10. 12. Junbo Liu: Logik Unabhaengigkeit durch Folgerungsrelationen. Promotionsnaher Vortrag und Diskussion. 17. 12. Zhenyu Qian: Funktional-logische Programmierung hoeherer Ordnung. Vortrag und Diskussion. Weihnachtspause. 14.1. 94. Berthold Hoffmann: Berichte von GraGra-Tagungen. 21.1. 94. Stefan Westmeier: Ein Interpreter fuer den PI-Calcuel und seine Anwendung fuer die Modellierung von Interaktiven Systemen. Bericht vom Stand einer Diplomarbeit. In der Zeit vom 30. 11. bis Mitte Januar werde ich nicht an der Uni sein. Organisator des EXTRA-Treffens ist in dieser Zeit Kolyang. bu