loading...

UC.PT

International Joint Conference on Automated Reasoning

Programme Committee

Programme Committee Chairs

Nicola OlivettiLSIS, Aix-Marseille UniversityFrance
Ashish TiwariSRI InternationalUSA

Programme Committee

Franz BaaderTU DresdenGermany
Peter BaumgartnerNICTA, The Australian National UniversityAustralia
Maria Paola BonacinaUniversità degli Studi di VeronaItaly
Agata CiabattoniTU WienAustria
Leonardo de MouraMicrosoft ResearchUSA
Hans De NivelleUniversity of WroclawPoland
Stephanie DelauneLSV, CNRS, ENS CachanFrance
Stéphane DemriLSV, CNRS, ENS CachanFrance
Clare DixonUniversity of LiverpoolUK
Christian FermüllerTU WienAustria
Didier GalmicheUniversité de Lorraine - LORIAFrance
Silvio GhilardiUniversità degli Studi di MilanoItaly
Jürgen GieslRWTH Aachen UniversityGermany
Birte GlimmUniversität UlmGermany
Rajeev GoréThe Australian National UniversityAustralia
Reiner HähnleTechnical University of DarmstadtGermany
Stefan HetzlTU WienAustria
Dejan JovanovićSRI InternationalUSA
Reinhard KahleCENTRIA Universidade Nova de LisboaPortugal
Deepak KapurUniversity of New MexicoUSA
Jordi LevyIIIA – CSIC, Bellaterra, CataloniaSpain
Carsten LutzUniversity of BremenGermany
Christopher LynchClarkson UniversityUSA
George MetcalfeUniversity of BernSwitzerland
Aart MiddeldorpUniversity of InnsbruckAustria
Dale MillerINRIA and LIX/Ecole PolytechniqueFrance
Sara NegriUniversity of HelsinkiFinland
Nicola Olivetti
LSIS, Aix-Marseille UniversityFrance
Jens OttenUniversity of PotsdamGermany
Lawrence PaulsonUniversity of CambridgeUK
Nicolas PeltierCNRS – LIG, GrenobleFrance
Andrei PopescuMiddlesex University, LondonUK
Christophe RingeissenLORIA-INRIA NancyFrance
Philipp RuemmerUppsala UniversitySweden
Masahiko SakaiNagoya UniversityJapan
Renate A. SchmidtUniversity of ManchesterUK
Roberto SebastianiUniversity of TrentoItaly
Martina SeidlJohannes Kepler University LinzAustria
Viorica Sofronie-StokkermansMax Planck Institute for InformaticsGermany
Ashish Tiwari
SRI InternationalUSA
Josef UrbanRadboud University, NijmegenNetherlands
Christoph WeidenbachMax Planck Institute for InformaticsGermany