Saarland University
Computer Science
Programming Systems
Gert Smolka


Teaching
Publications
Academic Activities
Curriculum Vitae
Doctoral Students


Alice
Mozart

Talks, Gert Smolka

Concurrent Constraint Programming Based on Functional Programming. Two lectures at the International Summer School on Constraints in Computational Logics, Gif-sur-Yvette, France, 5-8 September, 1999. Slides.

Sprachverarbeitung mit Constraints. Arbeitstreffen des SFB 378 (Ressourcenadaptive Kognitive Prozesse), Schloß Dagstuhl, Germany, 14. Mai 1999.

Concurrent Functional Programming Based on Futures. School of Computing, National University of Singapore, Singapore, March 23, 1999.

Oz, Mozart, and Amadeus. School of Computing, National University of Singapore, Singapore, March 12, 1999.

Constraintprogrammierung.  Informatik-Kolloquium, Universität Karlsruhe, 7. Dezember 1998.

Über die Informatik-Anfänger-Vorlesung Programmierung.  Lehrerweiterbildung Informatik,
Schloß Dagstuhl, 4. Dezember 1998.

Concurrent Constraint Programming based on Functional Programming.  CCL'98  Workshop (Constraints in Computational Logics), September 7-9, 1998, Jerusalem, Israel.

Course on Concurrent Constraint Programming in Oz. Tenth European Summer School in Logic, Language and Information (ESSLLI-98), August 17 - 28, 1998, Saarbrücken, Germany.

A Higher-order Module Discipline. Oz / Mozart Workshop, June 7, 1998, SICS, Sweden.

Concurrent Constraint Programming Based on Functional Programming. Invited talk at the European Joint Conferences on Theory and Practice of Software (ETAPS) , The Gulbenkian Foundation, Lisbon, Portugal, March 30 - April 3, 1998.

Constraint Programming in Oz. Tutorial at the International Logic Programming Symposium 1997, Port Jefferson, Long Island N.Y., Oct 12-17, 1997.

The Oz Programming Language and System. Centrum für Informations- und Sprachverarbeitung. Ludwig-Maximilians-Universität München, February 21, 1997.

The Oz Programming Model. Seminar on High-level Concurrent Languages. Schloß Dagstuhl, Germany, January 20-22, 1997.

The Oz Programming Language and System. Invited Talk at 1996 ASIAN COMPUTING SCIENCE CONFERENCE, Singapore, December 2 - 5, 1996.

Constraint Programming in Oz. Lectures at the ADVANCED SCHOOL ON ARTIFICIAL INTELLIGENCE, EAIA'96, Constraint Programming: Theory and Applications, Hotel Eden Estoril, Monte Estoril, Lisbon, Portugal 7 - 11 October 1996.

The Oz Programming Model. Invited Lecture. JELIA'96: 5th European Workshop on Logics in AI, Evora, Portugal, September 30th - October 3rd, 1996.

What is Constraint Programming? CCL II Workshop, September 9-11, 1996, San Lorenzo de El Escorial, Spain.

Elements of a Unified Programming Model. Lectures at the 17th Marktoberdorf Summer School on "Mathematical Methods in Program Development". Marktoberdorf, Germany, July 30 to August 11, 1996.

The Oz Programming Model. Seminar on Integration of Functional and Logic Languages. Schloß Dagstuhl, Germany, May 20, 1996.

Programmieren mit Constraints in Oz. Gründungstreffen des GI-Beirates der Universitätsprofessoren. Schloß Dagstuhl, Germany, January 4-5, 1996.

The Oz Programming Model. Université d'Aix-Marseille II, Luminy, France. December 5, 1995.

The Oz Programming Model. Invited Talk. WOz'95: International Workshop on Oz Programming. Martigny, Nov. 29th - Dec. 1st, 1995.

Objects in a Higher-order Concurrent Constraint Model with State. Invited Talk. Colloque LANGAGES ET MODELES A OBJETS. Nancy, France, October 12, 1995.

The Oz Programming Model. Dagstuhl Workshop on New Trends in the Integration of Paradigms. Dagstuhl, Germany, September 16-18, 1995.

Problem Solving with Finite Domain Constraints in Oz. CCL95 , Workshop of the Esprit Working Group on Construction of Computational Logics. Schloss Ringberg, Rottach-Egern, Germany, September 4--6, 1995

The Oz Programming Model. Invited Keynote Talk. EURO-PAR'95, International Conference on Parallel Processing. Kista, Sweden, August 29-31, 1995.

Methods and Tools for Concurrent, Parallel, and Distributed Programming. Tutorial. ACCLAIM Technology Transfer Workshop, SICS, Stockholm, Sweden, July 13-14, 1995.

Oz: Concurrent Constraint Programming for Real. Invited Advanced Tutorial. International Conference on Logic Programming, Kanagawa, Japan, June 13--18, 1995.

Operational Semantics of Constraint Logic Programming with Coroutining (Joint work with A. Podelski). International Conference on Logic Programming. Kanagawa, Japan, June 13--18, 1995.

Distributed Concurrent Constraint Programming. ACCLAIM Workshop, Pisa, Italien, 11-12 May 1995.

Nebenläufige Berechnung mit Constraints. Erste Begehung des Sonderforschungsbereiches 1552, Ressourcenadaptive kognitive Prozesse, Schloß Dagstuhl, 27. April 1995.

Concurrent Constraint Programming in Oz. Laboratoire Informatique Signaux et Systemes de Sophia Antipolis (I3S). Universite de Nice - Sophia Antipolis, France, April 19, 1995.

Concurrent Objects in Oz. Laboratoire Informatique Signaux et Systemes de Sophia Antipolis (I3S). Universite de Nice - Sophia Antipolis, France, April 14, 1995.

Concurrent Constraint Programming. Invited Talk. Computational Logic for Natural Language Processing, A Joint COMPULOGNET / ELSNET / EAGLES Workshop. Edinburgh, April 3-5, 1995.

Nebenläufige symbolische Programmierung. Informatik Kolloquium, Universität Karlsruhe, Karlsruhe, 16. Januar 1995.

Nebenläufige symbolische Programmierung. Informatik Kolloquium, Universität Bremen, Bremen, 30. November 1994.

Workpackage 2a: Non-numerical Constraints. Second ACCLAIM Review Meeting, Leuven, Belgium, October 17--19, 1994.

From cc to Oz: Goals and Lessons Learned. Second ACCLAIM Review Meeting, Leuven, Belgium, October 17--19, 1994.

Concurrent Constraint Programming. Invited Talk. PASCO, Linz, Austria, September 1994.

Multiagent Programming in a Concurent Constraint Setting. Invited Talk. Workshop on Agent-oriented Techniques for Specification and Implementation of Multi-Agent Systems, 20 and 22 September 1994, in conjunction with KI 94, Saarbruecken.

Concurrent Constraint Programming. Invited Talk. 1st International Conference on Constraints in Computational Logics, München, Germany, 7-9 September 1994.

A Foundation for Concurrent Constraint Programming. Informatik-Kolloquium, Universität Hamburg, 11. Juli 1994.

AKL---A Multiparadigm Programming Language. Opponent's talk at Sverker Janson's disputation. Department of Computing Science, Uppala University, Sweden. 3. Juni. 1994.

A Foundation for Concurrent Constraint Programming. Swedish Institute of Computer Science, Kista, Sweden. 2. Juni. 1994.

A Foundation for Concurrent Constraint Programming. Department of Computing Science, Uppala University, Sweden. 1. Juni. 1994.

A Foundation for Concurrent Constraint Programming. Department of Computer Science, Linkoeping University, Sweden. 31. Mai 1994

Concurrent Constraint Programming. Two invited lectures at the 22nd Spring School of Theoretical Computer Science, 16 -- 20 May, 1994, Chatillon, France.

Encapsulated Search and Constraint Programming in Oz. Computer Science Colloquium, Simon Fraser University, 5 May 1994.

Encapsulated Search and Constraint Programming in Oz. Symposium on Principles and Practice of Constraint Programming, Orcas Island, Washington, USA, 3 May 1994.

A Pi-Calculus with Logic Variables and its Application to Higher-Order Concurrent Constraint Programming. CONFER Workshop, ECRC, Muenchen. 18. April 1994.

Multi-Agent Programming in Oz. Digital Paris Research Lab, Rueil-Malmaison, Frankreich. 14. April 1994.

Encapsulated Search for Higher-Order Deep CC. ACCLAIM Workshop, Digital Paris Research Lab, Rueil-Malmaison, Frankreich. 12. April 1994.

Execution Strategies for Oz: Odds and Ends. ACCLAIM Workshop, Digital Paris Research Lab, Rueil-Malmaison, Frankreich. 11. April 1994.

Virtual Constraints in Deep CC. ACCLAIM Workshop, Digital Paris Research Lab, Rueil-Malmaison, Frankreich. 11. April 1994.

Programming Constraint Grammars in Oz. EAGLES Workshop on the Connection between Constraint Logic Programming and Linguistic Formalisms. February 7--9, Porto, Portugal.

Ein Kalkül für nebenläufige, funktionale und objektorientierte Programmierung. Informatik-Kolloquium, Ludwig-Maximilians-Universität, München, 1. Februar 1994.

A Calculus for Concurrent Objects. Ecole Polytechnique, Paris, Frankreich, 2. Dezember 1993.

A Calculus for Concurrent Objects. Eingeladener Vortrag auf dem 9. Workshop Logische Programmierung, Hagen, 11. bis 13. Oktober 1993.

A Calculus for Concurrent Objects. Eingeladener Vortrag auf der Second Spanish Conference on Declarative Programming, Blanes, Spanien, 29 September bis 1. Oktober 1993.

A Calculus for Concurrent Object. Second Workshop of the ESPRIT Working Group CCL, La Esacala, Spanien, 27. bis 29. September 93.

Ein Kalkül für nebenläufige Objekte. Eingeladener Hauptvortag auf der KI-93 (17. Fachtagung für Künstliche Intelligenz, Berlin, 14. September 1993.

Non-numerical Constraints. Second Workshop of the ESPRIT basic research action ACCLAIM, Leuven, Belgien, 6. September 1993.

Object-Oriented Concurrent Constraint Programming in Oz. ICLP'93 Post-Conference Workshop on Concurrent Constraint Programming, Budapest, 24-25 Juni 1993.

Survey of Oz: A Higher-order Concurrent Constraint Language. ICLP'93 Post-Conference Workshop on Concurrent Constraint Programming, Budapest, 24-25 Juni 1993.

Object-oriented Concurrent Constraint Programming in Oz. Informatik Kolloquium, Universität Ulm, 2. Juni 1993.

Records für die logische Programmierung. Informatik-Kolloquium, Technische Universität Braunschweig, 10. Mai 1993.

Higher-order Concurrent Constraint Programming. 8th German-Japenese Forum on Information Technology, Weimar, 3.-6. Mai 1993.

Hydra: Nebenläufige Constraint-Programmierung. KI-Statusseminar des BMFT, Berlin, 27.-28. April 1993.

Principles of Oz. LRI, Universit\'e Paris-Sud-Orsay, Orsay, 1. April 1993.

Principles of Oz. Fourth International Workshop on Constraint Logic Programming, Marseille, Frankreich, 17-19 März 1993.

A Framework for General Constraint Logic Programming. Workshop Deduktion, Schlo\3 Dagstuhl, 8-12 März 1993.

Principles of Oz. Workshop on Implemented Grammar Formalisms, EAGLES Expert Group, Saarbrücken, 1. März 1993.

Principles of Oz. ECRC, München, 29. Januar 1993.

Principles of Oz. Kolloquium der Fakultät für Informatik der Technischen Universität München, 28. Januar 1993.