-
Notifications
You must be signed in to change notification settings - Fork 0
/
org.html
91 lines (83 loc) · 6.62 KB
/
org.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<title>CADE-26: Organization</title>
<link rel="stylesheet" href="main.css">
</head>
<body>
<header>
<img src="top.png" alt="CADE-26">
</header>
<nav>
<ul>
<li><a href="index.html">Home</a></li>
<li><a href="program.html">Conference Program</a></li>
<li><a href="workshops.html">Workshops & Tutorials</a></li>
<li><a href="http://www.cs.miami.edu/~tptp/CASC/26/" target="_blank">CASC</a></li>
<li><a href="org.html">Organization</a></li>
<li><a href="excursion.html">Excursion to Marstrand</a></li>
<li><a href="registration.html">Registration</a></li>
<li><a href="venue.html">Local Info, Venue & Hotels</a></li>
</ul>
</nav>
<article><div class="content">
<h1>CADE-26 Organizers</h1>
<h2>Program Committee Chair</h2>
<a href="http://leodemoura.github.io/">Leonardo de Moura</a>, Microsoft Research
<h2>Workshop, Tutorial, and Competition Chair</h2>
<a href="http://www.philipp.ruemmer.org/">Philipp Ruemmer</a>, Uppsala University
<h2>Conference Chairs</h2>
<a href="http://www.cse.chalmers.se/~ahrendt/">Wolfgang Ahrendt</a>, Chalmers University of Technology
<br><a href="http://www.cse.chalmers.se/~jomoa/">Moa Johansson</a>, Chalmers University of Technology
<h2>Publicity Chair</h2>
<a href="http://www.cse.chalmers.se/~myreen/">Magnus Myreen</a><sup>*</sup>, Chalmers University of Technology
<br><sup>*</sup> with help from <a href="https://www.chalmers.se/en/Staff/Pages/anneli-andersson.aspx">Anneli Andersson</a>, Chalmers University of Technology
<h2>Program Committee</h2>
<a href="http://theory.stanford.edu/~barrett/">Clark Barrett</a>, Stanford University
<br><a href="https://page.mi.fu-berlin.de/cbenzmueller/">Christoph Benzmueller</a>, Freie Universitaet Berlin
<br><a href="https://people.mpi-inf.mpg.de/~jblanche/">Jasmin Christian Blanchette</a>, Inria Nancy & LORIA
<br><a href="https://www.microsoft.com/en-us/research/people/nbjorner/">Nikolaj Bjorner</a>, Microsoft Research
<br><a href="http://profs.sci.univr.it/~bonacina/">Maria Paola Bonacina</a>, Universita degli Studi di Verona
<br><a href="http://leodemoura.github.io/">Leonardo de Moura</a>, Microsoft Research
<br><a href="http://www.ii.uni.wroc.pl/~nivelle/">Hans de Nivelle</a>, University of Wroclaw
<br><a href="http://www.lsv.ens-cachan.fr/~delaune/">Stephanie Delaune</a>, CNRS, IRISA
<br><a href="http://www.lsv.ens-cachan.fr/~dowek/">Gilles Dowek</a>, Inria & ENS Paris-Saclay
<br><a href="http://www.site.uottawa.ca/~afelty/">Amy Felty</a>, University of Ottawa
<br><a href="http://users.mat.unimi.it/users/ghilardi/allegati/research.html">Silvio Ghilardi</a>, Universita degli Studi di Milano
<br><a href="https://www.se.tu-darmstadt.de/se/group-members/reiner-haehnle/">Reiner Haehnle</a>, Technical University of Darmstadt
<br><a href="http://www.cs.utexas.edu/~marijn/">Marijn Heule</a>, The University of Texas at Austin
<br><a href="http://www.cse.chalmers.se/~jomoa/">Moa Johansson</a>, Chalmers University of Technology
<br><a href="http://www.csl.sri.com/users/dejan/">Dejan Jovanovic</a>, SRI International
<br><a href="https://www.cs.unm.edu/~kapur/">Deepak Kapur</a>, University of New Mexico
<br><a href="http://www.cs.manchester.ac.uk/about-us/staff/profile/?ea=Konstantin.Korovin&pg=1">Konstantin Korovin</a>, The Manchester University
<br><a href="http://www.complang.tuwien.ac.at/lkovacs/">Laura Kovacs</a>, Vienna University of Technology
<br><a href="http://people.clarkson.edu/~clynch/">Christopher Lynch</a>, Clarkson University
<br><a href="https://specfun.inria.fr/mahboubi/">Assia Mahboubi</a>, INRIA
<br><a href="http://cl-informatik.uibk.ac.at/users/ami/">Aart Middeldorp</a>, University of Innsbruck
<br><a href="http://www.lix.polytechnique.fr/Labo/Dale.Miller/">Dale Miller</a>, INRIA and LIX/Ecole Polytechnique
<br><a href="https://www.cs.upc.edu/~oliveras/">Albert Oliveras</a>, Technical University of Catalonia
<br><a href="http://www.cl.cam.ac.uk/~lp15/">Lawrence Paulson</a>, University of Cambridge
<br><a href="http://www.cs.yale.edu/homes/piskac/">Ruzica Piskac</a>, Yale University
<br><a href="http://www.philipp.ruemmer.org/">Philipp Ruemmer</a>, Uppsala University
<br><a href="http://www.cs.man.ac.uk/~schmidt/">Renate Schmidt</a>, The University of Manchester
<br><a href="http://wwwlehre.dhbw-stuttgart.de/~sschulz/DHBW_Stephan_Schulz/Stephan_Schulz.html">Stephan Schulz</a>, DHBW Stuttgart
<br><a href="http://disi.unitn.it/~rseba/">Roberto Sebastiani</a>, University of Trento
<br><a href="https://www.uni-koblenz-landau.de/en/campus-koblenz/fb4/ics/RGVSS/team/viorica-sofronie-stokkermans">Viorica Sofronie-Stokkermans</a>, University Koblenz-Landau
<br><a href="http://www.cs.miami.edu/home/geoff/">Geoff Sutcliffe</a>, University of Miami
<br><a href="http://homepage.cs.uiowa.edu/~tinelli/">Cesare Tinelli</a>, The University of Iowa
<br><a href="http://www.csl.sri.com/users/tiwari/">Ashish Tiwari</a>, SRI International
<br><a href="http://voronkov.com/">Andrei Voronkov</a>, The University of Manchester
<br><a href="https://people.mpi-inf.mpg.de/~weidenb/">Christoph Weidenbach</a>, Max Planck Institute for Informatics
<br><a href="http://www.cs.ru.nl/F.Wiedijk/">Freek Wiedijk</a>, Radboud University Nijmegen
</div></article>
<footer style="text-align:center;">
<div style="width: 100%; text-align:left; padding-left: 15px; padding-top: 10px; padding-bottom: 10px;">CADE-26 is grateful for sponsorship from:</div>
<a href="https://www.microsoft.com/en-us/research/"><img src="msr.png" style="width: 200px; padding-top:15px; padding-left:30px;" alt="Microsoft Research"/></a>
<a href="http://international.goteborg.se/"><img src="gbg.png" style="padding-top:15px; width: 200px; padding-left:30px;" alt="Gothenburg City"/></a><br>
<a href="https://www.eurai.org/"><img src="EurAi-logo.png" style="padding-top:10px;" alt="EurAI"/></a>
<a href="http://www.chalmers.se/en/areas-of-advance/ict/Pages/default.aspx"><img src="aoa.png" style="width: 280px; padding-left:30px; padding-top:15px;" alt="Information and Communication Technologies Chalmers Area of Advance"/></a>
<a href="http://www.springer.com/gp/"><img src="springer.gif" style="padding-left:30px; padding-top:15px;" alt="Springer"/></a><br>
</footer>
</body>
</html>