4th International Workshop on Invariant Generation

Organizers

• Gudmund Grov (University of Edinburgh, UK)
• Thomas Wies (New York University, USA)

Program Committee

• Clark Barrett (New York University, USA)
• Nikolaj Bjorner (Microsoft Research, USA)
• Gudmund Grov (University of Edinburgh, UK)
• Ashutosh Gupta (IST Austria)
• Bart Jacobs (Katholieke Universiteit Leuven, Belgium)
• Moa Johansson (Chalmers University of Technology, Sweden)
• Laura Kovacs (Vienna University of Technology, Austria)
• David Monniaux (VERIMAG, France)
• Enric Rodríguez Carbonell (Technical University of Catalonia, Spain)
• Helmut Veith (Vienna University of Technology, Austria)
• Thomas Wies (New York University, USA)