| 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ß. |
| 31th UNIF 2017 |
Oxford, UK, September 3, 2017.
Workshop of the
Second
International Conference on Formal Structures for Computation and
Deduction (FSCD 2017)
Organized by Adrià Gascón and Christopher Lynch.
|
| 32th UNIF 2018 |
Oxford, UK, July 7, 2018.
Workshop of the
Federated Logic Conference 2018
(FLoC 2018)
Organized by Mauricio Ayala-Rincón and Philippe Balbiani. |
| 33th UNIF 2019 |
Dortmund, Germany, June 24, 2019.
Workshop of the
International Conference
on Formal Structures for Computation and Deduction 2019 (FSCD 2019)
Organized by Serdar Erbatur and Daniele Nantes. |
| 34th UNIF 2020 |
Paris, France, June 29, 2020.
Workshop of the
International Joint Conference on
Automated Reasoning 2020 (IJCAR 2020)
Organized by Temur Kutsia and Andrew M. Marshall. |
| 35th UNIF 2021 |
Buenos Aires, Argentina, July 18, 2021.
Workshop of the
6th International Conference on
Formal Structures for Computation and Deduction (FSCD 2021)
Organized by Franz Baader and Alexander Baumgartner. |
| 36th UNIF 2022 |
Haifa, Israel, August 12, 2022.
Worskhop of IJCAR 2022,
part of FLoC 2022.
Organized by David Cerna and Barbara Morawska. |
| 37th UNIF 2023 |
Rome, Italy, July 2, 2023
Workshop of FSCD 2023
Organized by Veena Ravishankar and Christophe Ringeissen. |
| 38th UNIF 2024 |
Nancy, France, July 2, 2024
Workshop of of
IJCAR 2024
Organized by Santiago Escobar and Oliver Fernández Gil. |
Note to past UNIF organizers: If you have any more (electronic) material on past UNIF workshops please let me know.
Ralf Treinen
