(1 - 20 from 21
)
Campus Event Calendar: Philipp Ruemmer ( in E )
mikado.mpi-inf.mpg.de
What and Who. Title: Craig interpolation for integer arithmetic, uninterpreted functions, and the theory of arrays. Speaker: Philipp Ruemmer. coming from: Department of Information Technology, Uppsala University. Speakers Bio: Event Type: Talk. Visibility: D1, D2, D3, D4, D5, SWS, RG1, MMCI We use this to send out email ...
Committees – SEFM 2018
www.isf.cs.tu-bs.de
Marc Pantel (IRIT/INPT, Université de Toulouse) Anna Philippou (University of Cyprus) Geguang Pu (East China Normal University) Leila Ribeiro (Universidade Federal do Rio Grande do Sul) Philipp Ruemmer (Uppsala University) Bernhard Rumpe (RWTH Aachen University) Gwen Salaün (University of Grenoble Alpes)
sorted by relevance / date