UNIF 2025: The 39th International Workshop on Unification
July 14, 2025
Birmingham, UK
A workshop affiliated with FSCD 2025
Program Committee Chairs
Ashley Suchy (New Paltz, SUNY, USA)
Laurent Vigneron (University of Lorraine, LORIA, France)
Program Committee
Mauricio Ayala Rincón (Universidade de Brasília, Brazil)
Franz Baader (TU Dresden, Germany)
Philippe Balbiani (IRIT, France)
David M. Cerna (CAS ICS, Czechia)
Serdar Erbatur (UT Dallas, USA)
Santiago Escobar (Universitat Politècnica de València, Spain)
Oliver Fernández Gil (TU Dresden, Germany)
Silvio Ghilardi (Università degli Studi di Milano, Italy)
Temur Kutsia (RISC, Johannes Kepler University Linz, Austria)
Jordi Levy (CSIC, IIIA, Spain)
Christopher Lynch (Clarkson University, USA)
Andrew M. Marshall (University of Mary Washington, USA)
Robert McGrail (Bard College, USA)
Daniele Nantes-Sobrinho (Universidade de Brasília, Imperial College
London, UK)
Paliath Narendran (University at Albany, SUNY, USA)
Cleo Pau (RISC, Johannes Kepler University Linz, Austria)
Christophe Ringeissen (INRIA, France)
Manfred Schmidt-Schauß (Goethe-University Frankfurt am Main,
Germany)
Sam van Gool (Université Paris Cité, IRIF, France)