| SAT 2001:
Workshop on Theory and Applications of Satisfiability Testing http://www.cs.washington.edu/homes/kautz/sat2001/ June 14-15, 2001
affiliated with LICS 20001 |
![]() |
Boston University
"T" stop: BU West.
School of Management, Room 428
595 Commonwealth Avenue
Boston, MAFor more travel information and a local map see the LICS website at BU (www.cs.bu.edu/faculty/mairson/LICS01).
Now available for free online athttp://www.elsevier.nl/locate/endm/volume9.freeAfter the workshop the proceedings abstracts will be freely available, and full-text articles available to subscribers to Elservier publications, by going tohttp://www.elsevier.nl/locate/endm/and clicking on the link for Volume 9.
Hardcopy proceedings will be available at the workshop thanks to support from
Because the schedule of talks is packed tight, we must be ruthless about limiting talks (including discussion) to the scheduled times. Therefore it is important that you are as concise as possible in preparing your presentation materials!
To register for the workshop follow links from the LICS-2001 home page. Note that registration for the workshop is $50. You do not have to register for the LICS conference. Please do not register unless you are presenting at the workshop or have received permission to attend from the organizers.
The purpose of this workshop is to bring together researchers from different communities -- including theory, artificial intelligence, verification, mathematical theorem-proving, and operations research -- in order to share ideas and increase synergy between theoretical and empirical work.
\documentclass[letterpaper]{article}Papers should be submitted electronically by March 15, 2000. If the paper will be presented at the main LICS conference or any other conference paper indicate this clearly on both the email and first page of the paper.
The paper submission procedure is as follows:
1. Send an email message to <kautz@cs.washington.edu> with the following information:
paper title:The last is the name of the file containing your paper. It should be your first and last names separated by a dash, e.g.
first author name:
first author email:
first author telephone:
first author home page:
names of coauthors:
brief abstract:
is this paper also at LICS?:
file name:
henry-kautz.psThe file may be in postscript .ps or PDF .pdf formats only.
2. FTP the paper itself as follows: From a command prompt, type
ftp ftp.cs.washington.eduIf you wish to participate in the workshop but not submit a paper, please send an email to <kautz@cs.washington.edu> by March 15 with the contact information described above.
(login:) anonymous
(password:) YOUR_EMAIL_ADDRESS
cd sat2001/incoming
put YOUR_FILE
In order to increase time for free discussion, some authors may be asked to give short (10 minute) overviews of their work rather than a full talk. All accepted papers will appear in an online set of working notes.
http://www.cs.bu.edu/faculty/mairson/LICS01/index.htmlFor more information about the workshop see the workshop web page http://www.cs.washington.edu/homes/kautz/sat2001/ or email Henry Kautz <kautz@cs.washington.edu>.
Plain text version of call for papers.