-
Notifications
You must be signed in to change notification settings - Fork 1
Expand file tree
/
Copy pathprofact.html
More file actions
298 lines (298 loc) · 37.6 KB
/
profact.html
File metadata and controls
298 lines (298 loc) · 37.6 KB
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
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
<head>
<title>Pierre Flener's Professional Activities</title>
<style type="text/css" media="screen">
@import url(uu_css/maincss.css);
</style>
<link rel="stylesheet" type="text/css" media="print" href="uu_css/print.css" />
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
<meta name="Description" content="Pierre Flener's Professional Activities" />
<meta name="Keywords" content="Pierre Flener" />
</head>
<body class="red">
<!-- Start header -->
<div id="leftcolumn">
<p>
<a href="https://www.uu.se/en">Uppsala University</a><br /><br />
<a href="https://www.uu.se/en/department/information-technology">Department of Information Technology</a><br /><br />
<a href=".">Pierre Flener</a>
</p>
<hr noshade style="width: 80%; border: solid lightgrey 0.5px;" />
<p>
<a href=".">Home</a><br />
<a href="profact.html">Activities</a><br />
<a href="https://www.uu.se/en/department/information-technology/research/research-groups/optimisation-research-group">Research (current)</a><br />
<a href="research-ex.html">Research (former)</a><br />
<a href="publications.html">Publications</a><br />
<a href="courses">Teaching</a><br />
<a href="travel">Travel Blogs</a><br />
<a href="persinfo.html">Personal & Bio</a><br />
<a href="contact.html">Contact</a>
</p>
</div>
<!-- End header, start main content -->
<div id="maincontent">
<center><h1>Pierre Flener's Professional Activities</h1></center>
<hr />
<h2>Editing, Steering, Reviewing, Organising, and Invited Lecturing</h2>
I am / was Guest Editor of:
<ul>
<li><a href="http://journals.cambridge.org/action/displayIssue?jid=KER&volumeId=27&seriesId=0&issueId=03">Special Issue on Constraint Programming for Air Traffic Control & Management</a> (<a href="research/KER-ATM-CP">call</a>) of the <a href="http://journals.cambridge.org/jid_KER">Knowledge Engineering Review</a>, Volume 27, Issue 3, September 2012</li>
<li><a href="https://link.springer.com/journal/10515/10/2/">Special Issue on ASE 2000</a> of the <a href="https://link.springer.com/journal/10515">Automated Software Engineering</a> journal, Volume 10, Number 2, April 2003</li>
<li><a href="http://link.springer.com/journal/10515/8/2/">Special Issue on Inductive Programming</a> (<a href="ase/">call</a>) of the <a href="https://link.springer.com/journal/10515">Automated Software Engineering</a> journal, Volume 8, Number 2, April 2001</li>
<li><a href="http://www.sciencedirect.com/science/journal/07477171/30/1">Special Issue on Schemas</a> (<a href="jsc/">call</a>) of the <a href="http://www.elsevier.com/locate/jsc">Journal of Symbolic Computation</a>, Volume 30, Number 1, July 2000</li>
</ul>
I am / was a Board or Steering / Executive Committee member of:
<ul>
<li>CSTVA, the international workshops on Constraint Solvers in Testing, Verification, and Analysis; since May 2017</li>
<li><a href="https://www.a4cp.org/">ACP</a>, the <em>Association for Constraint Programming</em>, from 2013 to 2016 (<a href="research/acpElection12Flener.pdf">election statement</a>); from October 2013 to December 2016, I was also the Conference Coordinator</li>
<li><a href="https://www.sais.se/">SAIS</a>, the <em>Swedish Artificial Intelligence Society</em>, from September 2008 to May 2012</li>
<li>AICCSA, the <em>ACS / IEEE International Conferences on Computer Systems and Applications</em>, from 2001 to 2005</li>
<li>ASE, the IEEE international conferences on <em>Automated Software Engineering</em>, from September 2000 to September 2004</li>
</ul>
I am / was Programme (Co-)Chair of:
<ul>
<li><a href="https://pierre-flener.github.io/research/NordConsNet/NordConsNet25">NordConsNet 2025</a>, the 20th <em>Workshop of the Network for Nordic researchers and practitioners of Constraint programming</em>, the <a href="research/NordConsNet">NordConsNet</a> network having been co-founded as SweConsNet by me in 2002</li>
<li><a href="http://www.chalmers.se/en/departments/s2/calendar/Pages/SweConsNet15-eng.aspx">SweConsNet 2015</a>, the 14th <em>Workshop of the Network for Sweden-based researchers and practitioners of Constraint programming</em>, the <a href="research/NordConsNet">SweConsNet</a> network having been co-founded by me in 2002</li>
<li><a href="http://cp2014.a4cp.org/workshops/cpcav14">CP meets CAV 2014</a>, the workshop <em>Constraint Programming meets Computer-Aided Verification</em>, held in September 2014</li>
<li><a href="research/CPmeetsCAV">CP meets CAV 2012</a>, the seminar <em>Constraint Programming meets Computer-Aided Verification</em>, held in June 2012</li>
<li><a href="research/SymCon/SymCon10">SymCon 2010</a>, the 10th <em>International Workshop on Symmetry in Constraint Satisfaction Problems</em>, the <a href="research/SymCon">SymCon</a> series having been co-founded by me in 2001</li>
<li><a href="research/NordConsNet/SweConsNet09">SweConsNet 2009</a>, the 8th <em>Workshop of the Network for Sweden-based researchers and practitioners of Constraint programming</em>, the <a href="research/NordConsNet">SweConsNet</a> network having been co-founded by me in 2002</li>
<li><a href="research/ATM-CT">ATM-CT</a>, the <em>International Workshop on Constraint Programming for Air Traffic Control and Management</em>, held in 2008</li>
<li><a href="http://sysrun.haifa.il.ibm.com/hrl/lscs2008/">LSCS 2008</a>, the 5th <em>International Workshop on Local Search Techniques in Constraint Satisfaction</em> (<a href="research/LSCS">LSCS</a> series)</li>
<li><a href="research/ModRef08">ModRef 2008</a>, the 7th <em>International Workshop on Constraint Modelling and Reformulation</em></li>
<li><a href="research/SymCon/SymCon02">SymCon 2002</a>, the 2nd <em>International Workshop on Symmetry in Constraint Satisfaction Problems</em>, the <a href="research/SymCon">SymCon</a> series having been co-founded by me in 2001</li>
<li><a href="research/NordConsNet/SweConsNet02">SweConsNet 2002</a>, the 1st <em>Workshop of the Network for Sweden-based researchers and practitioners of Constraint Programming</em>, the <a href="research/NordConsNet">SweConsNet</a> network being co-founded by me</li>
<li><a href="research/SymCon/SymCon01">SymCon 2001</a>, the 1st <em>International Workshop on Symmetry in Constraint Satisfaction Problems</em>, the <a href="research/SymCon">SymCon</a> series being co-founded by me</li>
<li><a href="http://www.lau.edu.lb/news-events/conferences/aiccsa2001.html">AICCSA 2001</a>, the 1st <em>ACS / IEEE International Conference on Computer Systems and Applications</em></li>
<li><a href="http://ase.informatik.uni-essen.de/ase/past/ase2000/">ASE 2000</a>, the 15th IEEE international conference on <em>Automated Software Engineering</em></li>
<li><a href="lopstr98/">LOPSTR 1998</a>, the 8th international workshop on <em>Logic-based Program Synthesis and Transformation</em></li>
<li><a href="http://www.cs.man.ac.uk/~kung-kiu/ase-lp/">ASELP</a>, the JICSLP 1998 workshop on <em>Automated Software Engineering and Logic Programming</em></li>
</ul>
I am / was the Workshops & Tutorials Chair of:
<ul>
<li><a href="https://cp2016.a4cp.org/">CP 2016</a>, the 22nd international conference on the Principles and Practice of Constraint Programming</li>
</ul>
I am / was a (Senior) Programme Committee member of:
<ul>
<li><a href="https://aaai.org/Conferences/AAAI-24">AAAI 2024</a> (Senior PC), <a href="https://aaai.org/Conferences/AAAI-22">AAAI 2022</a>, <a href="https://aaai.org/Conferences/AAAI-21">AAAI 2021</a>, <a href="https://aaai.org/Conferences/AAAI-20">AAAI 2020</a>, <a href="https://aaai.org/Conferences/AAAI-18">AAAI 2018</a>, <a href="https://aaai.org/Conferences/AAAI/aaai17.php">AAAI 2017</a>, <a href="https://aaai.org/Conferences/AAAI/aaai16.php">AAAI 2016</a>, <a href="https://aaai.org/Conferences/AAAI/aaai15.php">AAAI 2015</a>, <a href="https://aaai.org/Conferences/AAAI/aaai14.php">AAAI 2014</a>, <a href="https://aaai.org/Conferences/AAAI/aaai12.php">AAAI 2012</a>, <a href="https://aaai.org/Conferences/AAAI/aaai11.php">AAAI 2011</a>, and <a href="https://aaai.org/Conferences/AAAI/aaai10.php">AAAI 2010</a>, the AAAI Conferences on Artificial Intelligence</li>
<li><a href="https://cp2025.a4cp.org">CP 2025</a>, <a href="https://cp2024.a4cp.org">CP 2024</a> (Senior PC), <a href="https://cp2023.a4cp.org">CP 2023</a>, <a href="https://cp2022.a4cp.org">CP 2022</a> (Senior PC), <a href="https://cp2021.a4cp.org">CP 2021</a>, <a href="https://cp2020.a4cp.org">CP 2020</a>, <a href="https://cp2019.a4cp.org">CP 2019</a>, <a href="https://cp2018.a4cp.org">CP 2018</a>, <a href="https://cp2017.a4cp.org">CP 2017</a>, <a href="https://cp2016.a4cp.org">CP 2016</a> (Testing & Verification track), CP 2015 (Senior PC), <a href="https://cp2014.a4cp.org">CP 2014</a>, <a href="https://cp2013.a4cp.org">CP 2013</a> (Senior PC + Applications Track PC), <a href="https://archive.a4cp.org/cp2012">CP 2012</a> (Senior PC + Applications Track PC), <a href="http://www.dmi.unipg.it/cp2011/">CP 2011</a>, and <a href="https://archive.a4cp.org/cp2007/">CP 2007</a>, the international conferences on the Principles and Practice of Constraint Programming</li>
<li><a href="https://www.ijcai-22.org">IJCAI/ECAI 2022</a> (Senior PC), <a href="https://www.ijcai-21.org">IJCAI 2021</a> (Senior PC), <a href="https://www.ijcai20.org">IJCAI 2020</a> (Senior PC), <a href="https://ijcai19.org">IJCAI 2019</a> (Senior PC, <a href="https://ijcai19.org/distinguished-PC.html">distinguished</a>), <a href="https://ijcai-15.org">IJCAI 2015</a> (Senior PC), and <a href="http://ijcai-13.ijcai.org">IJCAI 2013</a> (Senior PC), the International Joint Conferences on Artificial Intelligence</li>
<li><a href="https://sites.google.com/usc.edu/cpaior-2022">CPAIOR 2022</a>, <a href="https://cpaior2020.dbai.tuwien.ac.at">CPAIOR 2020</a>, CPAIOR 2014, and <a href="https://computational-sustainability.cis.cornell.edu/cpaior2013">CPAIOR 2013</a>, the international conferences on the integration of Artificial Intelligence (AI) and Operations Research (OR) techniques in Constraint Programming (CP)</li>
<li><a href="http://ictai2014.cs.ucy.ac.cy/">ICTAI 2014</a> (SAT & CSP track), the 26th IEEE International Conference on Tools with Artificial Intelligence</li>
<li><a href="http://www.cse.unsw.edu.au/~ninan/symcon2012.html">SymCon 2012</a>, <a href="http://www.cse.unsw.edu.au/~ninan/symcon2011.html">SymCon 2011</a>, <a href="https://metahack.org/symcon09.html">SymCon 2009</a>, <a href="http://www.aloul.net/symcon/">SymCon 2008</a>, <a href="http://www.cmi.univ-mrs.fr/~benhamou/symcon07/">SymCon 2007</a>, <a href="http://www.cs.brown.edu/people/sello/symcon/">SymCon 2005</a>, and <a href="research/SymCon/SymCon03/">SymCon 2003</a>, the international workshops on Symmetry in Constraint Satisfaction Problems (the <a href="research/SymCon">SymCon</a> series having been co-founded by me in 2001)</li>
<li><a href="http://osullivan.ucc.ie/ecai-2012-waits">WAITS 2012</a>, the Workshop on Artificial Intelligence in Telecommunications and Sensor Networks, held at ECAI 2012
<li><a href="http://rcra.aixia.it/rcra2011">RCRA 2011</a> and <a href="http://rcra.aixia.it/rcra2009">RCRA 2009</a>, the International RCRA Workshops, on experimental evaluation of algorithms for solving problems with combinatorial explosion</li>
<li><a href="http://www.cogsys.wiai.uni-bamberg.de/aaip11/">AAIP 2011</a>, <a href="http://www.cogsys.wiai.uni-bamberg.de/aaip09/">AAIP 2009</a>, <a href="http://www.cogsys.wiai.uni-bamberg.de/aaip07/">AAIP 2007</a>, and <a href="http://www.cogsys.wiai.uni-bamberg.de/aaip05/">AAIP 2005</a>, the international workshops on Approaches and Applications of Inductive Programming</li>
<li><a href="http://willow.engr.uconn.edu/LSCS2011/">LSCS 2011</a>, <a href="http://becool.info.ucl.ac.be/lscs2010/">LSCS 2010</a>, <a href="http://liris.cnrs.fr/~csolnon/LSCS09.html">LSCS 2009</a>, <a href="http://sysrun.haifa.il.ibm.com/hrl/lscs2007/">LSCS 2007</a>, the international workshops on Local Search Techniques in Constraint Satisfaction (<a href="research/LSCS">LSCS</a> series)</li>
<li><a href="http://jfpc2010.greyc.fr/">JFPC 2010</a> and <a href="http://www.univ-orleans.fr/evenements/jfpc/">JFPC 2009</a>, les Journées Francophones de Programmation par Contraintes</li>
<li><a href="research/ModRef10/">ModRef 2010</a>, <a href="http://www.cse.cuhk.edu.hk/~jlee/cp07Model/">ModRef 2007</a>, <a href="http://www-users.cs.york.ac.uk/~frisch/Reformulation/04/">ModRef 2004</a>, <a href="http://www-users.cs.york.ac.uk/~frisch/Reformulation/03/">ModRef 2003</a>, and <a href="http://www-users.cs.york.ac.uk/~frisch/Reformulation/02/">ModRef 2002</a>, the international workshops on Constraint Modelling and Reformulation</li>
<li><a href="http://www.sais.se/sais2009/">SAIS 2009</a>, the 25th workshop of the Swedish Artificial Intelligence Society</li>
<li><a href="http://www.cs.kuleuven.be/~dtai/LaSh08/">LaSh 2008</a>, the 2nd international workshop on Logic and Search</li>
<li><a href="http://fens.sabanciuniv.edu/iscis06/">ISCIS 2006</a>, <a href="http://www.cs.bilkent.edu.tr/~iscis04/">ISCIS 2004</a>, and ISCIS 1998, the International Symposia on Computer and Information Sciences</li>
<li><a href="http://ase.informatik.uni-essen.de/ase/past/ase2004/">ASE 2004</a>, <a href="http://ase.informatik.uni-essen.de/ase/past/ase2003/index.htm">ASE 2003</a>, <a href="http://ase.informatik.uni-essen.de/ase/past/ase2002/">ASE 2002</a>, <a href="http://ase.informatik.uni-essen.de/ase/past/ase2001/">ASE 2001</a>, <a href="http://ase.informatik.uni-essen.de/ase/past/ase99/">ASE 1999</a>, <a href="http://ase.informatik.uni-essen.de/ase/past/ase98/">ASE 1998</a>, and <a href="http://ase.informatik.uni-essen.de/ase/past/ase97/">ASE 1997</a>, the IEEE international conferences on Automated Software Engineering</li>
<li><a href="http://ase.arc.nasa.gov/aaai2002/">AAAI 2002 Spring Symposium</a> on the State of the Art and Future Trends of Logic-based Program Synthesis</li>
<li><a href="http://www.doc.ic.ac.uk/cl2000/">CL 2000</a>, the international conference on Computational Logic, in the <a href="http://www.cs.man.ac.uk/~kung-kiu/lopstr2000/">Program Development Stream</a></li>
<li><a href="http://www.cs.man.ac.uk/~kung-kiu/lopstr2000/">LOPSTR 2000</a>, <a href="http://www.dsi.unive.it/~lopstr99/">LOPSTR 1999</a>, LOPSTR 1997, and LOPSTR 1994, the international workshops on <a href="http://www.cs.man.ac.uk/~kung-kiu/lopstr/">LOgic-based Program Synthesis and TRansformation</a></li>
<li>TAINN 1995, the 4th Turkish on Artificial Intelligence and Neural Networks Symposium</li>
</ul>
I am / was Local (Co-)Chair of:
<ul>
<li><a href="https://sites.google.com/view/cpaior2024">CP-AI-OR 2024</a>, the 21st international conference on the integration of Constraint Programming, Artificial Intelligence, and Operations Research</li>
<li><a href="https://web.archive.org/web/20171205190255/http://cp2013.a4cp.org:80/">CP 2013</a>, the 19th international conference on the Principles and Practice of Constraint Programming</li>
<li><a href="research/CPmeetsCAV/">CP meets CAV 2012</a>, the seminar <em>Constraint Programming meets Computer-Aided Verification</em>, held in June 2012</li>
<li><a href="http://www.sics.se/~agren/SweConsNet2010/">SweConsNet 2010</a>, the 9th Workshop of the Network for Sweden-based researchers and practitioners of Constraint Programming, the <a href="research/NordConsNet">SweConsNet</a> network having been co-founded by me in 2002</li>
<li><a href="http://www.sais.se/sais2010/">SAIS 2010</a>, the 26th workshop of the Swedish Artificial Intelligence Society</li>
<li><a href="research/NordConsNet/SweConsNet02">SweConsNet 2002</a>, the 1st Workshop of the Network for Sweden-based researchers and practitioners of Constraint Programming, the <a href="research/NordConsNet">SweConsNet</a> network having been co-founded by me</li>
</ul>
I am / was Organiser of:
<ul>
<li><a href="https://school.a4cp.org/summer2011">ACP Summer School 2011 on Hybrid Methods for Constraint Programming</a></li>
</ul>
I am / was a Reviewer for numerous other journals, conferences, and workshops, including:
<ul>
<li><a href="http://cavconference.org/2017/">CAV 2017</a> and <a href="http://cav2013.forsyte.at">CAV 2013</a>, the international conferences on Computer Aided Verification</li>
<li><a href="http://www.ecai2016.org/">ECAI 2016</a> and <a href="http://ebooks.iospress.nl/volume/ecai-2006">ECAI 2006</a>, the European Conferences on Artificial Intelligence</li>
<li><a href="http://jfpc2015.labri.fr/">JFPC 2015</a> and <a href="http://www.lsis.org/jfpc-jiaf2013/jfpc/">JFPC 2013</a>, les Journées Francophones de Programmation par Contraintes</li>
<li><a href="http://cp2010.cs.st-andrews.ac.uk/">CP 2010</a>, <a href="http://centria.di.fct.unl.pt/conferences/cp2009/">CP 2009</a>, and <a href="http://www.iiia.csic.es/conferences/cp2005/">CP 2005</a>, the international conferences on the Principles and Practice of Constraint Programming</li>
<li><a href="http://www.ijcai-07.org/">IJCAI 2007</a>, <a href="http://ijcai.org/~ijcai05/">IJCAI 2005</a>, and <a href="http://ijcai.org/past/ijcai-95/">IJCAI 1995</a>, the <a href="http://ijcai.org/">International Joint Conferences on Artificial Intelligence</a></li>
<li><a href="http://www.ii.uib.no/algo2004/wabi2004/">WABI 2004</a> and <a href="http://www.conferences.hu/algo2003/WABI-Call-for-papers.htm">WABI 2003</a>, the international Workshops on Algorithms in Bioinformatics</li>
<li><a href="http://www.cs.man.ac.uk/~kung-kiu/jicslp98/">JICSLP 1998</a>, the Joint International Conference and Symposium on Logic Programming</li>
<li>LOPSTR 1993, the 3rd international workshop on <a href="http://www.cs.man.ac.uk/~kung-kiu/lopstr/">Logic Program Synthesis and Transformation</a></li>
<li><a href="http://tocl.acm.org/">ACM Transactions on Computational Logic</a></li>
<li><a href="http://toplas.acm.org/">ACM Transactions on Programming Languages and Systems</li>
<li><a href="http://www.springerlink.com/content/1572-9338/">Annals of Operations Research</li>
<li><a href="http://www.journals.elsevier.com/artificial-intelligence/">Artificial Intelligence</a></li>
<li><a href="https://link.springer.com/journal/10515">Automated Software Engineering</a></li>
<li><a href="http://www.springerlink.com/openurl.asp?genre=journal&issn=1383-7133">Constraints</a></li>
<li><a href="http://www.informatica.si/">Informatica</a></li>
<li><a href="http://pubsonline.informs.org/journal/ijoc">INFORMS Journal on Computing</a></li>
<li><a href="http://jair.org/">Journal of Artificial Intelligence Research</a></li>
<li><a href="http://journals.cambridge.org/action/displayJournal?jid=JFP">Journal of Functional Programming</a></li>
<li>Journal of Logic Programming (defunct)</li>
<li><a href="http://jigpal.oxfordjournals.org">Logic Journal of the IGPL</a></li>
<li><a href="http://www.springerlink.com/content/1573-0565/">Machine Learning</a></li>
<li><a href="http://www.ohmsha.co.jp/ngc/">New Generation Computing</a></li>
<li><a href="http://journals.cambridge.org/tlp">Theory and Practice of Logic Programming</a></li>
</ul>
I was invited speaker at the following conferences:
<ul>
<li><a href="https://www.isid.ac.in/~isorgt18">ISORGT 2018</a>, the International Symposium on Operations Research and Game Theory: Modelling and Computation, held in Delhi (India) in January 2018</li>
<li><a href="http://soaf.se/soak">SOAK 2015</a>, the biennial conference of the Swedish society for Operations Analysis</li>
</ul>
I was invited to give the following tutorials:
<ul>
<li><a href="https://school.a4cp.org/summer2017/slidedecks/NutCPshell.pdf">CP in a Nutshell</a>, at the <a href="http://school.a4cp.org/summer2017">ACP Summer School 2017 on Constraint Programming</a></li>
<li><a href="http://cpaior2015.uconn.edu/wp-content/uploads/sites/919/2015/01/Flener.pdf">Verifying String Manipulating Programs</a>, at the <a href="http://cpaior2015.uconn.edu/master-class/">Constraint Programming and Verification</a> Master Class of <a href="http://cpaior2015.uconn.edu/">CPAIOR 2015</a></li>
<li><a href="http://becool.info.ucl.ac.be/summerschool2010/documents/Symmetry.pdf">Symmetry</a> and <a href="http://becool.info.ucl.ac.be/summerschool2010/documents/CaseStudy.pdf">Case Study</a>, at the <a href="http://becool.info.ucl.ac.be/summerschool2010/">ACP Summer School 2010 on Constraint Programming</a></li>
<li><a href="research/pub/SymCon09-slides.pdf">Structural Symmetry Handling</a>, at <a href="https://metahack.org/symcon09.html">SymCon 2009</a></li>
<li><a href="pub/ASE99/">Schema-guided generation of correctly reusable programs</a> (with K.-K. Lau, M. Ornaghi, and J. Richardson) at <a href="http://ase.informatik.uni-essen.de/ase/past/ase99/">ASE 1999</a></li>
</ul>
I was invited to the following strategic workshops:
<ul>
<li><a href="https://www.dagstuhl.de/19062">Dagstuhl Seminar 19062: Bringing CP, SAT, and SMT together: Next Challenges in Constraint Solving</a>, held in February 2019</li>
<li><a href="https://www.dagstuhl.de/12152">Dagstuhl Seminar 12152: Program Synthesis</a>, held in April 2012</li>
<li><a href="https://www.dagstuhl.de/11201">Dagstuhl Seminar 11201: Constraint Programming meets Machine Learning and Data Mining</a>, held in May 2011</li>
<li><a href="https://www.dagstuhl.de/9241">Dagstuhl Seminar 9241: Analogical and Inductive Inference</a>, held in October 1992</li>
</ul>
I was invited on the following panels:
<ul>
<li><a href="http://www.cp2012.org/call_for_position_papers.php">Future of Constraint Programming</a> (<a href="research/pub/FutureCP12slides.pdf">my slides</a>), held at CP 2012</li>
<li>Future Research Directions (<a href="research/pub/SymCon05panel.pdf">my slides</a>), held at <a href="http://www.cs.brown.edu/people/sello/symcon/">SymCon 2005</a></li>
</ul>
I serve(d) as a Jury Member on:
<ul>
<li>the <a href="http://www.cril.univ-artois.fr/CPAI08/">3rd International CSP Solver Competition</a>, held in summer 2008</li>
</ul>
I was principal investigator of:
<ul>
<li>... numerous projects without project-specific pages ... </li>
<li>the <a href="research/CORSA">CORSA project</a>, from 2001 to 2007, funded by <a href="https://www.stint.se/">STINT</a></li>
</ul>
<p><hr>
<h2>Governmental / Societal Assignments</h2>
I serve(d) on the following assignments:
<ul>
<li>Panelist for the <a href="https://www.forskningsradet.no">Research Council of Norway</a>, in 2017</li>
<li>Member of the Scientific Council of the <a href="https://www.fnr.lu">Fonds National de la Recherche</a> of Luxembourg, from February 2010 to October 2014</li>
<li>Expert in Information and Communication Technology for the Foresight Exercise of the <a href="https://www.fnr.lu">Fonds National de la Recherche</a> of Luxembourg, in 2006/2007</li>
</ul>
<p><hr>
<h2>Teaching</h2>
My teaching activities are / were:
<ul>
<li><a href="courses">Undergraduate and postgraduate courses</a></li>
<li><a href="https://school.a4cp.org/summer2017">ACP Summer School 2017 on Constraint Programming</a></li>
<li><a href="http://becool.info.ucl.ac.be/summerschool2010">ACP Summer School 2010 on Constraint Programming</a></li>
</ul>
<p><hr>
<h2>Local Service</h2>
I serve / served on the following functions at my university:
<ul>
<li>Head of Research (FP) at the <a
href="https://www.uu.se/en/department/information-technology/research">Department of Information Technology</a> (since July 2021)</li>
<li>Director (PAP) of the Research Programme in Computing Science (since February 2019)</li>
<li>Director (FUAP) of the PhD Programme in Computer Science (from April 2019 to December 2021)</li>
<li>Director (FUAP) of the PhD Programme in Database Technology (from June 2020 to December 2021)</li>
<li>Director (FUS) of <a href="https://www.uu.se/en/department/information-technology/study/doctoral-studies">PhD Education at the Department of Information Technology</a> (from January 2018 to June 2021)</li>
<li>Academic Coordinator of various student exchange programmes at the Department of Information Technology (from September 2015 to January 2019)</li>
<li>Elected Member of the board of the Department of Information Technology (from September 2015 to August 2018)</li>
<li>Deputy Leader of the ProFuN project, sponsored to 25,000,000 SEK by the Swedish Foundation for Strategic Research (SSF) (from June 2011 to June 2015)</li>
<li>Member of the Education Board of Natural Sciences (NUN) of the Faculty of Science and Technology of Uppsala University, Sweden (from January 2010 to December 2012)</li>
<li>Representative of the Computing Science Division in the Gender Equity Group of the Department of Information Technology of Uppsala University, Sweden (from September 2007 to November 2010)</li>
<li>Deputy Member of the Recruitment Group of the Department of Information Technology of Uppsala University, Sweden (from September 2008 to December 2009)</li>
</ul>
<p><hr>
<h2>Memberships</h2>
I am currently a member of:
<ul>
<li><a href="https://www.a4cp.org/">Association for Constraint Programming</a> (ACP)</li>
<li><a href="https://www.afpc-asso.org/">Association Française pour la Programmation par Contraintes</a> (AFPC)
<li><a href="https://logicprogramming.org/">Association for Logic Programming</a> (ALP)</li>
<li><a href="https://www.sais.se/">Swedish Artificial Intelligence Society</a> (SAIS)</li>
<li><a href="https://soaf.se/">Swedish Operations Research Association</a> (SOAF)</li>
</ul>
<p><hr>
<h2>Networks</h2>
<ul>
<li>I am a co-founder and member of <a href="research/NordConsNet">NordConsNet</a>, the <em>Nordic Network for researchers and practitioners of Constraint Programming</em>, formerly SweConsNet, in 2002</li>
<li>I was the coordinator of the Uppsala University node of CoLogNET, the <em>European Network of Excellence in Computational Logic</em>, from 2003 until its end in December 2005</li>
</ul>
<p><hr>
<h2>Advising</h2>
My current (co-)advisees are:
<ul>
<li>Frej Knutar Lewander, PhD student, Uppsala University, Sweden</li>
<li>Zhanwei Yu, PhD student, Uppsala University, Sweden</li>
</ul>
My former (co-)advisees are:
<ul>
<li>Dr <a href="https://scholar.google.com/citations?hl=en&user=osuW1GAAAAAJ">Kamran Forghani</a>, postdoc, Uppsala University, Sweden, 2021-2023 (now at <a href="https://www.chalmers.se">Chalmers University of Technology</a>)</li>
<li>Dr <a href="https://www.linkedin.com/in/jean-noel-monette-6781583">Jean-Noël Monette</a>, postdoc, Uppsala University, Sweden, 2011-2016 (now at <a href="https://www.tacton.com">Tacton</a>)</li>
<li><a href="https://www.linkedin.com/in/gustav-bj%C3%B6rdal-180461155">Gustav Björdal</a>, PhD student, Uppsala University, Sweden, 2021 (now at <a href="https://www.coupa.com/products/strategic-sourcing/sourcing-optimization">Coupa</a>) (<a href="https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-436139">PhD Thesis: From Declarative Models to Local Search</a>)</li>
<li><a href="https://www.linkedin.com/in/andreinafr">Maria Andreina Francisco Rodriguez</a>, PhD student, Uppsala University, Sweden, 2017 (<a href="https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-332149">PhD Thesis: Analysis, Synthesis and Application of Automaton-Based Constraint Descriptions</a>) (I was the co-advisor)</li>
<li>Joseph Scott, PhD student, Uppsala University, Sweden, 2016 (now at <a href="https://www.coupa.com/products/strategic-sourcing/sourcing-optimization">Coupa</a>) (<a href="https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-273311">PhD Thesis: Other Things Besides Number: Abstraction, Constraint Propagation, and String Variable Types</a>)</li>
<li>Farshid Hassani Bijarbooneh, PhD student, Uppsala University, Sweden, 2015 (<a href="https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-241378">PhD Thesis: Constraint Programming for Wireless Sensor Networks</a>) (I was a co-advisor)</li>
<li>Jun He, PhD student, Uppsala University, Sweden, 2013 (now at National University of Defense Technology, Wuhan, China) (<a href="https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-196347">PhD Thesis: Constraints for Membership in Formal Languages under Systematic Search and Stochastic Local Search</a>)</li>
<li>Magnus Ågren (now Rattfeldt), PhD student, Uppsala University, Sweden, 2008 (<a href="https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-8373">PhD Thesis: Set Constraints for Local Search</a>) (<a href="research/pub/AgrenPhD-errata.pdf">Errata</a>)</li>
<li>Alice Lesser, PhD student, Uppsala University, Sweden, 2007 (<a href="https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-8297">PhD Thesis: Optimal and Hereditarily Optimal Realizations of Metric Spaces</a>) (I was a co-advisor)</li>
<li>Brahim Hnich, PhD student, Uppsala University, Sweden, 2003 (<a href="https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-3143">PhD Thesis: Function Variables for Constraint Programming</a>)</li>
<li>... more recent MSc and BSc students to be added here ...</li>
<li>Jip Dekker, MSc student, Uppsala University, Sweden, 2016 (<a href="https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-307145">MSc thesis: Sub-Problem Pre-Solving in MiniZinc</a>)</li>
<li>Gustav Björdal, MSc student, Uppsala University, Sweden, 2016 (<a href="https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-301501">MSc thesis: String Variables for Constraint-Based Local Search</a>)</li>
<li>Max Block, MSc student, Uppsala University, Sweden, 2016 (<a href="https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-300679">MSc thesis: Pre-Runtime Scheduling of an Avionics System</a>)</li>
<li>Patrik Broman, BSc student, Uppsala University, Sweden, 2016 (<a href="https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-291321">BSc thesis: Implementing Tuple Variables in Gecode</a>)</li>
<li>Frej Knutar, MSc student, Uppsala University, Sweden, 2015 (<a href="https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-276340">MSc thesis: Automatic Generation of Assembly Schedules for a Dual-Arm Robot Using Constraint Programming</a>), <strong>winner of the <a href="http://www.sais.se/blog/2016/05/sais-best-ai-masters-thesis-award-2016">AI Master's Thesis Award 2016</a> of SAIS!</strong></li>
<li>Emil Kajgård, MSc student, Uppsala University, Sweden, 2015 (<a href="https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-268025">MSc thesis: Route Optimisation for Winter Road Maintenance using Constraint Modelling</a>)</li>
<li>Gustav Björdal, BSc student, Uppsala University, Sweden, 2014 (<a href="https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-234847">BSc thesis: The First Constraint-Based Local Search Backend for MiniZinc</a>) (<a
href="https://github.com/astra-uu-se/oscar-cbls-flatzinc">Software</a>)</li>
<li>Kellen Dye, MSc student, Uppsala University, Sweden, 2014 (<a href="https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-235772">MSc Thesis: Implementation of Bit-Vector Variables in a CP Solver, with an Application to the Generation of Cryptographic S-Boxes</a>)</li>
<li>Patrik Ehrencrona Kjellin, BSc student, Uppsala University, Sweden, 2014 (<a href="https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-233385">BSc thesis: Airspace Sectorsation Using Constraint-Based Local Search</a>)</li>
<li>Valentina Chapovalova, BSc student, Uppsala University, Sweden, 2014 (<a href="https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-229577">BSc Thesis: Consistency of Constraint Reifications by Reformulation</a>)</li>
<li>Joakim Ejenstam, MSc student, Uppsala University, Sweden, 2014 (<a href="https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-229581">MSc Thesis: Implementing a Time Optimal Task Sequence For Robot Assembly Using Constraint Programming</a>)</li>
<li>Peter Backeman, MSc student, Uppsala University, Sweden, 2013 (<a href="https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-211862">MSc Thesis: Solving the Haplotype Inference Problem Using the nVector Constraint</a>)</li>
<li>Joakim Lindqvist, MSc student, Uppsala University, Sweden, 2013 (<a href="https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-204896">MSc Thesis: Implementing a Physician Roster Using Constraint Programming</a>)</li>
<li>Gösta Agerberg, MSc student, Uppsala University, Sweden, 2013 (<a href="https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-202239">MSc Thesis: Solving the Vehicle Routing Problem using Search-based Methods and PDDL</a>)</li>
<li>Johan Öfverstedt, BSc student, Uppsala University, Sweden, 2012 (<a href="https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-176018">BSc Thesis: Water Retention on Magic Squares with Constraint-Based Local Search</a>)</li>
<li>Henning Hellkvist and William Sjöstedt, MSc student, Uppsala University, Sweden, 2012 (<a href="https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-169531">MSc Thesis: Toward Automated Timetabling at TekNat</a>)</li>
<li>Rodrigo Ronald Gumucio Escobar, MSc student, Uppsala University, Sweden, 2011 (<a href="https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-159180">MSc Thesis: Constraints on Set Variables for Constraint-based Local Search</a>), <strong>winner of the <a href="http://www.sais.se/blog/2012/05/arets-vinnare-av-sais-exjobbspris-utsedd/">AI Master's Thesis Award 2012</a> of SAIS!</strong></li>
<li>Nicholas Baltzer, BSc student, Uppsala University, Sweden, 2011 (<a href="httpss://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-159859">BSc Thesis: Backbone Solver for Water Retaining Magic Squares via Constraint Based Local Search</a>)</li>
<li>Josef Kvist, MSc student, Uppsala University, Sweden, 2011 (confidential MSc Thesis)</li>
<li>Maria Andreina Francisco Rodriguez, MSc student, Uppsala University, Sweden, 2011 (<a href="https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-156441">MSc Thesis: Consistency of Constraint Networks Induced by Automaton-Based Constraint Specifications</a>)</li>
<li>Carlos Eduardo Alvarez Divo, MSc student, Uppsala University, Sweden, 2011 (<a href="https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-156437">MSc Thesis: Automated Reasoning on Feature Models via Constraint Programming</a>)</li>
<li>Peter Jägare, MSc student, Uppsala University, Sweden, 2011 (<a href="https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-155783">MSc Thesis: Airspace Sectorisation Using Constraint Programming</a>)</li>
<li>Karl Sundequist Blomdahl, MSc student, Uppsala University, Sweden, 2010 (<a href="https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-129470">MSc Thesis: Contingency Plans for Air Traffic Management</a>)</li>
<li>Farshid Hassani Bijarbooneh, MSc student, Uppsala University, Sweden, 2009 (<a href="https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-111079">MSc Thesis: Dynamic Demand-Capacity Balancing for Air Traffic Management Using Constraint-Based Local Search</a>)</li>
<li>Pan Xiaoyue, MSc student, Uppsala University, Sweden, 2009 (<a href="https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-110544">MSc Thesis: Haplotype Inference by Pure Parsimony with Constraint Programming</a>)</li>
<li>Samuel Edqvist, MSc student, Uppsala University, Sweden, 2008 (<a href="https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-139606">MSc Thesis: Scheduling Physicians Using Constraint Programming</a>)</li>
<li>Mats Norberg, MSc student, Uppsala University, Sweden, 2006 (<a href="research/pub/MatsNorbergMSc.pdf">MSc Thesis: Writing a Compiler for the Finite-Domain CSP Modeling Language ESRA</a>)</li>
<li>Henrik Öhrman, MSc student, Uppsala University, Sweden, 2005 (<a href="research/pub/HenrikOhrmanMSc.pdf">MSc Thesis: Breaking Symmetries in Matrix Models</a>)</li>
<li>Maria Eriksson, MSc student, Uppsala University, Sweden, 2005 (<a href="research/pub/MariaErikssonMSc.pdf/">MSc Thesis: Detecting Symmetries in Relational Models of CSPs</a>)</li>
<li>Olof Sivertsson, MSc student, Uppsala University, Sweden, 2005 (<a href="research/pub/OlofSivertssonMSc">MSc Thesis: Construction of Synthetic CDO Squared</a>)</li>
<li>Simon Wrang, MSc student, Uppsala University, Sweden, 2002 (<a href="research/pub/SimonWrangMSc.pdf">MSc Thesis: Implementation of the ESRA Constraint Modelling Language</a>)</li>
<li>Zeynep Kiziltan, MSc student, Uppsala University, Sweden, 1999 (now an Assistant Professor at the University of Bologna, Italy) (MSc Thesis: Schema-Guided Synthesis of Constraint Logic Programs)</li>
<li>Dr Hamza Zidoum, postdoc, Bilkent University, Ankara, Turkey, 1998 (now an Assistant Professor at Sultan Qaboos University, Muscat, Oman)</li>
<li>Halime Büyükyildiz, MSc student, Bilkent University, Ankara, Turkey, 1997 (now at Alstom Esca, Seattle, WA, USA) (<a href="pub/HalimeMSc.pdf">MSc Thesis: Schema-based Logic Program Transformation</a>)</li>
<li>Serap Yilmaz, MSc student, Bilkent University, Ankara, Turkey, 1997 (now at Microsoft, Redmont, WA, USA) (<a href="pub/SerapMSc.pdf">MSc Thesis: Inductive Synthesis of Recursive Logic Programs</a>)</li>
<li>Christophe Bauvir, MSc student, Universite de Namur, Belgium, 1996 (MSc Thesis: An Architecture and an Abstract Datatype for an Inductive Schema-Guided Logic Program Synthesizer)</li>
<li>Serdar Kadioglu and Yilmaz Can Cecen, BSc students, Sabanci University, Istanbul, Turkey, 2007 (Undergraduate Thesis: Haplotype Inference Using Constraint Technology)</li>
<li>Hilal Kosucu, BSc student, Sabanci University, Istanbul, Turkey, 2007 (Undergraduate Thesis: RNA Secondary Structure Prediction Using Constraint-Based Local Search)</li>
<li>Birol Yüceoglu, BSc student, Sabanci University, Istanbul, Turkey, 2007 (Undergraduate Thesis: Financial Portfolio Optimization Using Constraint-Based Local Search)</li>
<li><a href="http://people.sabanciuniv.edu/~esraerdem/">Esra Erdem</a>,
BSc student, Bilkent University, Ankara, Turkey, 1996 (now an Associate Professor at Sabanci University, Istanbul, Turkey) (<a href="http://people.sabanciuniv.edu/~esraerdem/papers/senior_project.ps">Undergraduate Thesis: An MSG Method and a Schema-Guided Logic Program Synthesis</a>)</li>
<li><a href="http://www.maths.lse.ac.uk/Personal/batu/">Tugkan Batu</a>,
BSc student, Bilkent University, Ankara, Turkey, 1996 (now an Assistant Professor at the London School of Economics, UK) (Undergraduate Thesis: Schema-Guided Transformations for Logic Algorithms)</li>
<li>... many other undergraduate theses (at BU) and some non-research-oriented MSc theses (at UU) ...</li>
</ul>
<!-- /div -->
<!-- End maincontent, start footer -->
<!-- div id="footer" class="sidfot" -->
<hr />
<address>
<!-- hhmts start -->Last modified: Tue Apr 29 17:36:40 CEST 2025 <!-- hhmts end -->
</address>
</div>
<!-- End footer -->
</body>
</html>