Past UNIF Workshops

The meetings are held yearly, generally in the summer around the time of RTA or CADE or other relevant conference. The locations to this date have been as follows:
1st UNIF

1987

Val D'Ajol, France, March 18-20, 1987.

Organized by Alexander Herold, Jean-Pierre Jouannaud, Claude Kirchner, Jörg Siekmann, and Gert Smolka.

2nd UNIF

1988

Val D'Ajol, France, June 29-July 1, 1988.

Organized by Claude Kirchner and Gert Smolka.

There were 60 participants from around the world. The Proceedings of the workshop are available as Rapport Interne No. 89 R 38 from CRIN, Campus Scientifique, BP 239, 54506 Vandoeuve les Nancy Cedex.

3rd UNIF

1989

Pfalzakademie , Lambrecht, Germany, June 26-28, 1989.

Organized by Hans-Jürgen Bürckert and Werner Nutt.

The Proceedings are available as SKI Report SR-89-17 from Fachbereich Informatik, Universität Kaiserslautern, Postfach 3049, D-6750 Kaiserslautern 1, W. Germany.

4th UNIF

1990

Fairbairn House, University of Leeds, Leeds, England, July 9-11, 1990.

Organized by John K. Truss.

5th UNIF

1991

Barbizon, France, July 3-5, 1991.

Organized by Hubert Comon.

There were 55 people in attendance, and 28 talks.

6st UNIF

1992

Schloß Dagstuhl, Germany, July 29-31, 1992.

Organized by Franz Baader, Jörg Siekmann and Wayne Snyder.

Proceedings are available as TechReport #93-004, Computer Science Department, Boston University. Abridged proceedings are available as Dagstuhl Seminar Report 42.
7nd UNIF

1993

Boston University, Boston, USA, June 13-14, 1993.

Organized by Franz Baader and Wayne Snyder.

8th UNIF

1994

Val D'Ajol, France, June 23-25, 1994.

Organized by Denis Lugiez.

9th UNIF

1995

Sitges, Spain, April 2-3, 1995

Organized by Robert Nieuwenhuis and Albert Rubio.

10th UNIF

1996

Herrsching, Germany, June 6-8, 1996.

Organized by Klaus U. Schulz and Stephan Kepser.

11th UNIF

1997

Orléans, France, May 28-30, 1997.

Co-located with the Sixièmes Journées Francophones de Programmation Logique et Programmation par Contraintes.

Organized by Siva Anantharaman.

12th UNIF

1998

Rome, Italy, June 29 - July 1, 1998.

Organized by Marisa Venturini Zilli, Antonio Bucciarelli, Ivano Salvo, Stefano Sorgi and Luigi Mazzucchelli.

The abstracts are available as Research Report SI98/8, Dipartimento di Scienze dell'Informazione, Università di Roma "La Sapienza".

13th UNIF

1999

Universität Frankfurt, Frankfurt, Germany, June 28 - 29, 1999.

Organized by Manfred Schmidt-Schauß.

Abstracts and Participant List are available as Interner Bericht 6/99, Fachbereich Informatik, Johann Wolfgang Goethe-Universität, Frankfurt.

14th UNIF

2000

Carnegie Mellon University, Pittsburgh, USA, June 16, 2000.

Co-located with the International Conference on Automated Deduction (CADE-17)

Organized by Christopher Lynch and Paliath Narendran.

15th UNIF

2001

Siena, Italy, June 18-19, 2001.

In conjunction with the International Joint Conference on Automated Reasoning (IJCAR 2001).

Organized by Franz Baader, Volker Diekert, Cesare Tinelli and Ralf Treinen.

16th UNIF

2002

Copenhagen, Denmark, July 25-26, 2002.

In conjunction with the Federated Logic Conference (FLoC'02).

Organized by Christophe Ringeissen, Cesare Tinelli, Ralf Treinen, and Rakesh M. Verma.

17th UNIF

2003

Valencia, Spain, June 8-9, 2003.

In conjunction with the Federated Conference on Rewriting, Deduction and Programming (RDP'03).

Organized by Michael Kohlhase, Jordi Levy, Joachim Niehren, and Mateu Villaret.

18th UNIF

2004

Cork, Ireland, July 5, 2004.

Satellite workshop of the International Joint Conference on Automated Reasoning (IJCAR 2004)

Organized by Michael Kohlhase, Hitoshi Ohsaki, Steve Prestwich, Ralf Treinen, and Manfred Schmidt-Schauss.

19th UNIF

2005

Nara, Japan, April 22, 2005.

Satellite workshop of the Federated Conference on Rewriting, Deduction and Programming (RDP 2005)

Organized by Philippe de Groote, Joseph Goguen, Yuichi Kaji, Pawel Urzyczyn, and Laurent Vigneron.

20th UNIF

2006

Seattle, WA, USA, August 11, 2006.

Workshop of the 2006 Federated Logic Conference (FLoC 2006)

Organized by Temur Kutsia, Jordi Levy, Christian Urban, and Mateu Villaret.

21th UNIF

2007

Paris, France, June 29, 2007.

Workshop of the Federated Conference on Rewriting, Deduction, and Programming (RDP 2007)

Organized by Évelyne Contejean.

22th UNIF

2008

Hagenberg, Austria, July 18, 2008.

Workshop of the International Conference on Rewriting Techniques and Applications (RTA 2008)

Organized by Mircea Marin.

23th UNIF

2009

Montreal, Canada, August 2, 2009.

Workshop of the 22nd International Conference on Automated Deduction (CADE 2009)

Organized by Christopher Lynch and Paliath Narendran.

24th UNIF

2010

Edinburgh, UK, July 14, 2010.

Workshop of the Federated Logic Conference (FLoC 2010)

Organized by Maribel Fernández.

25th UNIF

2011

Wroclaw, Poland, July 31, 2011.

Workshop of the 23nd International Conference on Automated Deduction.

Organized by Franz Baader, Barbara Morawska, and Jan Otop.

26th UNIF

2012

Manchester, UK, July 1, 2012.

Workshop of the 6th International Joint Conference on Automated Reasoning (IJCAR 2012).

Organized by Santiago Escobar, Konstantin Korovin, and Vladimir Rybakov.

27th UNIF

2013

Eindhoven, The Netherlands, June 27, 2013.

Workshop of the International Conference on Rewriting, Deduction, and Programming (RDP2013).

Organized by Konstantin Korovin and Barbara Morawska.

28th UNIF

2014

Vienna, Austria, July 13, 2014.

Workshop of the Federated Logic Conference (FLoC 2014).

Organized by Temur Kutsia and Christophe Ringeissen.

29th UNIF

2015

Warsaw, Poland, June 28, 2015. Workshop of the International Conference on Rewriting, Deduction, and Programming (RDP 2015)

Organized by Santiago Escobar and Mateu Villaret.

30th UNIF

2016

Porto, Portugal, June 26, 2016. Workshop of the International Conference on Formal Structures for Computation and Deduction (FSCD 2016)

Organized by Silvio Ghilardi and Manfred Schmidt-Schauß.

Note to past UNIF organizers: If you have any more (electronic) material on past UNIF workshops please let me know.


[UNIF main page]

Ralf Treinen
August 16, 2016