University of Cincinnati Computer Science 513-556-1817 FAX:513-556-3417 franco@gauss.ececs.cu.edu Hans Kleine Büning Universität-GH Paderborn Fachbereich Informatik 49 5251 60-3360 FAX: 49 5251 60-3338 kbcsl@uni-paderborn.de |
|
Universita di Pisa Dipartimento Informatica 39 50 887-214 FAX: 39 50 887-226 gallo@di.unipi.it Ewald Speckenmeyer Universität zu Köln Institut für Informatik 49 221 470-5377/5378 FAX:49 221 470-5387 esp@informatik.uni-koeln.de |
Mrs. T. Prior
Workshop SAT'98
Universität-GH Paderborn
Fachbereich 17 Informatik
Warburger Str. 100
D-33098 Paderborn
Germany
Electronic version in dvi or postscript form are preferred and should be sent to sat at uni-paderborn.de.
Prices (May 10 - 14):
Single room per person per night DM 149,80 Double room per person per night DM 141,80 Vegetarian food + DM 12,--
|
Additional overnight stays:
Single room per person per night DM 78,50 Double room per person per night DM 70,50 Breakfast DM 14,80 Lunch DM 32,00 Dinner DM 24,50 |
Current exchange rate: $1 US is approximately 1.80 DM.
Reservations should be made by completing the following form. You can also download a Microsoft Word version and a postscript version of this form from and send it by fax or surface mail to:
Universität Paderborn Tanja Prior FB 17 - Informatik 33095 PADERBORN GERMANY Fax: +49 (5251) 60 33 38 Tel.: +49 (5251) 60 - 3353 or 3361 E-mail: sat at uni-paderborn.de. |
Room reservations should be made before
In case you can't attend the workshop for certain reasons, please send a short email to sat at uni-paderborn.de. before
tel:+49-2954-900 / fax:+49-2954-90169
See some pictures of the conference center!
Closest airports are Paderborn, Düsseldorf and Frankfurt. Closest railway stations are Geseke (regional) and Paderborn. From Paderborn Airport or Geseke railway station take a taxi to Schloß Eringerfeld (Price: approx. 15.00 DM).
An extract from the railway schedule can be found on this page, for details or specific connections look here.
If you want to make use of a shuttle service from
Paderborn railway station / Paderborn airport / Geseke railway station
to Schloß Eringerfeld,
we need date / time / place of your arrival!
Name | Affilation | email-address |
Boros, Endre | USA, New Brunswick | boros@rutcor.rutgers.edu |
Benoist, Emmanuel | France, Caen | benoist@info.unicaen.fr |
Creignou, Nadia | France, Caen | creignou@math.unicaen.fr |
Davydova, Inna | Russia, St. Petersburg | inna@davy.usr.pu.ru |
Davydov, Gennady | Russia, St. Petersburg | inna@davy.usr.pu.ru |
Ding, Decheng | China, Nanjing | dcding@netra.nju.edu.cn |
Eiter, Thomas | Germany, Gießen | Thomas.Eiter@informatik.uni-giessen.de |
Franco, John | USA, Cincinnati | franco@ucunix.san.uc.edu |
Fu, Xudong | Germany, Saarbrücken | xudong@mpi-sb.mpg.de |
Goerdt, Andreas | Germany, Chemnitz-Zwickau | goerdt@informatik.tu-chemnitz.de |
Gu, Jun | Hong Kong | gu@cs.ust.hk, j.gu@computer.org |
Ibaraki, Toshihide | Japan, Kyoto | ibaraki@kuamp.kyoto-u.ac.jp |
Kleine Büning, Hans | Germany, Paderborn | kbcsl@uni-paderborn.de |
de Klerk, Etienne | The Netherlands, Delft | E.deKlerk@twi.tuDelft.nl |
Kullmann, Oliver | Germany, Frankfurt | kullmann@ravel.mi.informatik.uni-frankfurt.de |
Lettmann, Theodor | Germany, Paderborn | lettmann@uni-paderborn.de |
Li, Wei | China, Beijing | liwei@cs.sebuaa.ac.cn |
van Maaren, Hans | The Netherlands, Delft | H.vanMaaren@twi.tudelft.nl |
Makino, Kazuhisa | Japan, Osaka | makino@sys.es.osaka-u.ac.jp |
Mitchell, David | Canada, Toronto | mitchell@cs.toronto.edu |
Purdom, Paul W. | USA, Bloomington Indiana | pwp@cs.indiana.edu |
Pretolani, Daniele | Italy, Pisa | pretola@di.unipi.it |
Prokhorov, Alexei | Germany, Paderborn | prohorov@uni-paderborn.de |
Schiermeyer, Ingo | Germany, Cottbus | schierme@math.tu-cottbus.de |
Schlipf, John | USA, Chincinnati | John.Schlipf@UC.Edu |
Slany, Wolfgang | Austria, Wien | wsi@dbai.tuwien.ac.at |
Speckenmeyer, Ewald | Germany, Köln | esp@informatik.uni-koeln.de |
Truemper, Klaus | USA, Dallas | klaus@utdallas.edu |
Van Gelder, Allen | USA, Santa Cruz | avg@cse.ucsc.edu |
Unruh, Peter | Germany, Paderborn | petun@uni-paderborn.de |
Urquhart, Alasdair | Canada, Ontario | urquhart@cs.toronto.edu |
Warners, Joost | The Netherlands, Delft | joost2@cwi.nl, warners@dutios.twi.tudelft.nl |
Sunday | Monday | Tuesday | Wednesday | Thursday |
_ | 09:30 Session 1 | 09:00 Session 5 | 09:00 Session 9 | 09:00 Session 12 |
_ | 10:50 Coffee Break | 10:20 Coffee Break | 10:20 Coffee Break | 10:20 Coffee Break |
_ | 11:10 Session 2 | 10:50 Session 6 | 10:50 Session 10 | 10:50 Session 13 |
_ | 12:30 Lunch | 12:30 Lunch | 12:30 Lunch | 12:30 Lunch |
_ | 14:30 Session 3 | 14:30 Session 7 | 14:00 Session 11 | _ |
_ | 15:50 Coffee Break | 15:50 Coffee Break | 15:30 Social Event | _ |
_ | 16:10 Session 4 | 16:10 Session 8 | _ | _ |
18:00 Welcome | _ | _ | _ | _ |
20:00 Dinner | 19:00 Dinner | 19:00 Dinner | 20:00 Conf. Dinner | _ |