This page has not been updated for several years (no time to take care of it!). It serves as a record of events until then. Newer information appears on the home page.
Conferences we run
FATS seminar (Formal Approaches To Software). A semi-regular program of talks on the application of formal methods. Wednesdays at 16:15, IFW E42.
|FATS seminar |
Talks at ETH by others
Computer Science colloquium, Mondays at 16:15 during the semester
2007-2008 keynotes and other talks by me
|Shanghai lectures announcement|
| TCSL summer school|
|IEEE education conference|
Earlier talks by me
|TOOLS EUROPE 2007|
|SD Best Practices|
|Intel seminar announcement|
|IT Seasons 2006|
Inverted curriculum paper
|ECOOP programming in the large workshop|
|ECOOP exception workshop|
14 June 2005: Invited presentation at Integrated Design & Process Technology Symposium, Peking, China
|Moscow announcement (Russian)|
|IT education (site in Russian)|
7 March 2005: Seminar at University of California, Santa Barbara
19-21 February 2005: Invited presentation at workshop on Verified Software, Menlo Park, California
27 January 2005: Talk (about the experience of electronic publishing with the Journal of Object Technology) at ETH symposium on information management in science and technology
Journal of Object Technology
20-30 December 2004: lectures and seminars at Wuhan University, China.
5 November 2004: Talk on teaching introductory programming at NET Tagung, ETH.
|NET conference program|
3-4 November 2004: industry course on Successful Software Outsourcing and Offshoring in Zurich, with Peter Kolb.
19-21 October 2004: Distinguished lecture at University of York, UK.
|University of York program|
12-18 September 2004: lectures at LASER summer school on software engineering, Elba island, Italy.
14-16 July 2004: keynote at annual conference on computer science education in universities (Jornadas sobre enseñanza universitaria de la Informática), Alicante, Spain.
17-18 June 2004: industry course on Eiffel and Design by Contract in Zurich
27-28 May 2004: industry course on Successful Software Outsourcing and Offshoring in Zurich, with Dr. Peter Kolb from ABB
20-24 May 2004: keynote at JAOO object-oriented conference, Cannes, France
13-14 May 2004: keynote at International Service Availability Symposium 2004, Munich
4-5 May 2004: keynote at SET (Software Engineering Today) conference, Zurich
30 April 2004: keynote at Infoday conference (.NET and applications), Fribourg
21-23 April 2004: keynote at Microsoft .NET academic conference, Saint Petersburg, Russia.
|St Petersburg academic days|
16 April 2004: seminar at University of Pisa, Italy
|Pisa seminar announcement|
15 April 2004: seminar at University of Trento, Italy
|Trento seminar announcement|
18-19 March 2004: invited talk at SI-SE 2004 (Software Engineering, Swiss computer society).
23 January 2004: seminar at software engineering department, Charles University, Prague
17 December 2003: keynote at first International Conference on Service-Oriented Computing (ICSOC 03), Trento, Italy
11 December 2003: keynote at APSEC 2003, 10th Asia-Pacific Software Engineering Conference
4-5 December: Talks for John von Neumann Society, Budapest
19 November 2003: Keynote at DAIS (Distributed Applications and Interoperable Systems) and FMOODS (Formal Methods for Open Object-Based Distributed Systems), Paris
|DAIS and FMOODS|
18 November 2003: Keynote at 30-year MIAGE (business computer science curriculum) anniversary conference, Nancy, France
28-30 October 2003, Buenos Aires: Keynote at Latin American Forum for Software Engineering
|IDS Forum |
8-12 September 2003, Saarbrucken, Germany: lectures at 4th Max Planck-Institut for Computer Science (ADFOCS)
25-27 August 2003, Klagenfurt, Austria: tutorials at JMLC 2003 (Joint Modular Languages Conference)
19-22 August 2003, Tokyo: keynote at 9th IPSJ-SIGSE Symposium on Object-Orientation (OO 2003)
August 2003: "Eiffel in depth" lectures at Monash University
30 July 2003: seminar at NASA Ames Research Center, California
9-12 July 2003, Novosibirsk, Russia: Keynote at PSI '03.
30 June - 2 July 2003, Salzburg, Austria: lectures at Summer School on Embedded Systems, Salzburg
|EmSys Summer School|
4-6 June 2003, Turku, Finland: Keynote at ZB 2003 (Z and B users conference)
|Z and B 2003|
15 May 2003, Rennes, France: Keynote at Journées MIAGE (computer science education conference)
|Journées MIAGE 2003|
12 May 2003, Madrid, Spain: Keynote at Microsoft Europe/Mideast/Africa .NET academic conference.
8-9 May 2003, Santa Barbara, California: Distinguished lecture at UC Santa Barbara, College of Creative Studies
4-8 May 2003, Portland, Oregon: Keynote (6 May) at International Conference on Software Engineering
10 April 2003, 18:30, Zürich: Talk for association of ETH computer science alumni.
9 April 2003, 17:15, University of Zürich: Seminar on Type-Safe Covariance: Competent compilers can categorically catch all catcalls.
|Uni Zürich colloquium page|
3 April 2003, Nancy, France: Presentation on Teaching Introductory Programming in connection with Dominique Cansell's habilitation thesis).
2 April 2003, Munich: tutorial at OMG days
|OMG days 2003|
24 March 2003, Darmstadt: Keynote at IEEE International Workshop on information Assurance
|IEEE security workshop|
14 March 2003, 16:30, Technische Universität Wien: Seminar on Practical Proofs of Object-Oriented Software.
|Vienna seminar announcement|
3 March 2003, Taormina (Italy): Invited presentation at workshop on Abstract State Machines
8-12 January 2003, Prato (Italy): several talks at Trusted Components workshop
|Trusted Components 2003|
5-6 December 2002: Distinguished Lecture (three talks), University of Notre Dame
|Notre Dame: parts
27 November 2002: "Proving Properties of Programs with Pointers", part of the FATS seminar
26 November 2002: Colloquium at University of Berne
|Bern seminar announcement|
18 November 2002: Inaugural lecture at ETH
|Inaugural lecture announcement|
5-8 November 2002, Leiden (Netherlands): Keynote at 1st International Symposium on Formal Methods for Components, Objects and their Implementation
31 October 2002: Keynote at Symposium on Privacy and Security, Zürich
|Privacy and security symposium|
7-11 October 2002: Presentation at Monterey workshop, Radical Innovations of Software and Systems Engineering in the Future, Venice
2 October 2002: Computer Science colloquium, Stanford University (Progress report on Trusted Components).
|Stanford CSL Colloquium|
17-20 September 2002: Keynote at EDOC conference (Enterprise Distributed Object Computing), Lausanne
12 September 2002: Seminar at Institute of System Sciences, National University of Singapore: Event-Driven Design
9-12 September 2002: Microsoft Summer Research Workshop, Cambridge (UK), paper on extracting closet contracts from .NET libraries (with Karine Arnout, presented by her)
9 September 2002: Three talks at Monash University, Clayton campus (GUI and business model, progress report on trusted components, event-driven design).
|Monash seminar program|
28-31 July 2002: Keynote and tutorial at TOOLS USA 2002, Santa Barbara
|TOOLS USA 2002|
6-13 July 2002: Week-long course at 14th International School for Computer Science Researchers (this year's theme: Software Engineering), Lipari Island, Sicily
Lipari Summer School|
1-4 July 2002: Two lectures at Microsoft TechEd conference in Barcelona
20-21 June 2002, Berlin: Keynote at 1st IFIP/ACM Conference on Component Deployment
|CD '02 conference|
1 May 2002, CRIM, Montréal, .NET & Java conference, two talks: Multi-language development; comparative assessment of .NET and Java technologies.
29 April 2002, ETH: Seminar on "Integrating a high-level functional construct into a typed O-O language" (describes the Eiffel agent mechanism and its applications to various problems areas)
22-26 April 2002, San Jose: Two talks (Trusted Components, .NET) at Software Development 2002
2 March 2002, Cincinatti: Presentation at SigCSE (ACM Computer Science Education conference) on multi-language programming in .NET
26 February 2002, Monash University: Two seminars (the .NET approach to multi-language development; use of Eiffel for teaching)
20 February 2002, Sydney: Keynote at TOOLS PACIFIC 2002
13 February 2002, seminar (Towards Component Certification) at Institute of System Science, Singapore.
12 February 2002, seminar (Trusted Components) at Australian National University, Canberra
ANU Computer Science|
8 February 2002, seminar (Recent developments in Eiffel) at Queensland University of Technology, Brisbane
QUT Information Technology|
5 February 2002: Seminar at Caulfield campus, Monash University: Progress report on Trusted Components
4 February 2002, seminar (Software development in Eiffel) at Asian Institute of Technology, Bangkok
25 January 2002, Munich: Tutorial on multi-language development in .NET at OOP 2002 -- Object Technology: From Ideas to Solutions
2001 (from November)
14-15 November 2001, K. U. Leuven (Belgium): Talk at symposium in honor of Prof. Maurice Verhelst; lecture for 40 years of the Computation Center. 16 November: Seminar on .NET with SAI
and the future of
12 November 2001, 16:15, ETH Department Seminar, IFW A32: Towards Component Certification
Past ETH talks by our guests
(List not up to date -- talks after Sept. 2003 will be added.)
3 September 2003: Tom de Marco on Secrets of the Agile Organization
3 June 2003: Manfred Broy, TU Munich
28 May 2003: Xavier Rousselot from Amadeus (Nice) on automatic test generation
21 May 2003: Egon Börger from University of Pisa on ASMs (FATS seminar)
19 May 2003: Axel van Laamswerde on requirements analysis (CS Colloquium).
16 April 2003: Philippe Lahire from University of Nice on Aspect-Oriented Programming
20 January 2003: Erich Gamma from OTI/IBM, of patterns fame, talked about Eclipse. Part of Trusted Components course but open to the public. IFW A32, 10:05-11:00 (note special starting time).
Colloquium of the Computer Science department: a full program of speakers, every Monday (some Wednesdays) at 16:15, usually in IFW A36. (I was the coordinator in 2002.)
16 December 2002: two talks by Ivar Jacobson; discussion of UML, Rational Unified Process and object technology, 9:15-11, IFW A32 (part of Trusted Components course but public); Distinguished Lecture, CS Colloquium, IFW A36 16:15-17:15 followed by Apéro, The Four Macro Trends in Software Development.
There was a particularly rich program of software-related talks at ETH in November 2002, with prestigious speakers on many different topics.
|Software in November at ETH|
25 November 2002: Problem Frames, by Michael Jackson (ETH Colloquium, Distinguished Lecturer Series)
13 November 2002: Presentation and discussion of the Mono project (an open-source reimplementation of the Microsoft .NET framework, based on the ECMA Common Language Interface standard) by Miguel de Icaza, Ximian.
11 November 2002: Three talks by Scott Meyers (C++ templates, function name resolution in C++, the Keyhole problem). Slides available
|Scott Meyers's slides|
8 November 2002: Round-table discussion with Clemens Czyperski on component development, organized by Jürg Gutknecht
6 November 2002: Seminar by Luca Cardelli on Spatial Logics for Distributed Systems
4 November 2002: Wolfgang Pree, Computer Science Colloquium: Towards a composition standard for real-time systems
|Wolfgang Pree's abstract|
20 September 2002 (Friday): Two talks on Component-Based Software Engineering, by Jean-Guy Schneider (Swinburne Institute of Technology) and Bernhard Beckert (University of Karlsruhe).
|Component talks program|
20 August 2002: Mini-symposium on Component-Based Software Engineering, 20 August 2002; talks by: Bernhard Rumpe (TU München), Joseph Kiniry (Caltech / Kind Software), Peter Müller (Deutsche Bank), Andreas Rausch (4Soft).
9 August 2002: Kokichi Futatugi, Japan Advanced Institute of Science and Technology (JAIST), Ishikawa, Rewriting Can Verify Distributed Real-Time Systems -- How to specify and verify in CafeOBJ.
17 June 2002: Adele Golberg, Auditorium Maximum. Dr. Goldberg also gave an invited lecture, open to the public, on June 19th, 10-12, RZ-F21 on concepts and history of Smalltalk in Advanced Topics in Object Technology course.
|Object Technology course|
5 June 2002: Tom Henzinger, UC Berkeley, What is an interface?
6 June 2002, 9-12:30: Eiffel mini-symposium in connection with the first meeting of the ECMA Eiffel standards group (ECMA TC39-TG4). Talks by Dominique Colnet, Mark Howard, Paul Cohen/Kim Waldén, Christine Mingins and I.
Domenico Ferrari, CRATOS, Piacenza, 3 June 2002: Where is the Net Economy going?
Dines Bjørner, 22 May 2002, What is a method?. Prof. Bjørner also gave a public invited lecture in Advanced Topics in Object Technology course.
|Object Technology course|
Ralph Back, 13 May 2002, Software construction by stepwise feature introduction, 16.15 IFW A32. (Also, guest lecture open to public, A Theory of Contracts, 9:15-11, RZ F21, same day, part of Advanced Topics in Object Technology course.)
|Object Technology course|
Jean-Marc Jézéquel, 22 May 2002, 16.15 IFW A32, Test synthesis for component-based distributed software.
22 April 2002: Jürg Gutknecht, 22 April, Using .NET as a Language Research Platform
12 December 2001, 16:15, ETH Department Seminar, IFW A36: Seminar by Jean-Raymond Abrial on the B Method and proof tools. Also, special presentation as part of the Trusted Components course, just before the seminar, at 14:15, E42: B case study.
|Details of Abrial seminar|
20 November 2001, 10:15, ETH IFW A32: Special seminar by Eric Gamma. (Part of "Trusted Components" course but open to the public.)
Details of Gamma seminar|