John Franco
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
SAT
Giorgio Gallo
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

Second Workshop On The Satisfiability Problem

May 10 - 14, 1998

Eringerfeld, Germany

The opening session begins on May 11th at 9 a.m. and the closing session ends on May 14th at 1 p.m.
[Correspondence] [Abstracts-deadline] [Travel]
[Accomodations] [Participants] [Schedule]

Contact Address

Mrs. T. Prior
Workshop SAT'98
Universität-GH Paderborn
Fachbereich 17 Informatik
Warburger Str. 100
D-33098 Paderborn
Germany

sat at uni-paderborn.de.


Abstracts

A Technical Report on the workshop will be distributed at Paderborn. All participants are expected to send extended abstracts or full papers of no more than 10 pages to Mrs. T. Prior at the contact address above before

April 10, 1998

Electronic version in dvi or postscript form are preferred and should be sent to sat at uni-paderborn.de.


Accommodation/Cost

A number of rooms in the conference center Schloß Eringerfeld have been reserved for the time of the workshop.

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,--

The prices include breakfast, lunch, dinner, a coffee break, and sports facilities like sauna and swimming pool. Bowling and tennis are charged separately.

NO conference fees have to be paid!

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

February 16, 1998

In case you can't attend the workshop for certain reasons, please send a short email to sat at uni-paderborn.de. before

April 3, 1998

.
Otherwise the entire costs will be charged.

Address of Conference Center

Schloß Eringerfeld
Steinhauser Straße 8
D-59590 Geseke-Eringerfeld

tel:+49-2954-900 / fax:+49-2954-90169

See some pictures of the conference center!


Travel Information

Getting to Eringerfeld

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!


Participants SAT Workshop Paderborn 1998

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


Schedule

A detailed schedule containing title of the talks and the speakers can be found here.

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 _


Organizers

John Franco, Cincinnati, USA
Giorgio Gallo, Pisa, Italy
Hans Kleine Büning, Paderborn, Germany
Ewald Speckenmeyer, Köln, Germany