list of changes is not comprehensive. It covers only those
changes where something the website said previously was changed
because it was wrong or the decision was changed.
Jyly 27th, 2002
CAV sessions have been moved from
Auditorium 2 to Auditorium 1. (There is a slight chance that
they may move back again later - check the posted messages
at the conference site).
July 24th, 2002
ITRS presentation by Silvia Ghilesan and
Silvia Likavec, resp. Ugo d'Liguoro, have been rescheduled
into the slots previously announced for each other.
July 23rd, 2002
to prior announcements, the position papers by
Santone and Vaglini, Shults, Pichora, van Eijck, Kapetanovic,
and Waaler will not be presented at TABLEAUX.
- TABLEAUX session 10 will begin at
16:10 instead of the previously announced 16:00.
July 20th, 2002
extra co-authors for a couple of HYLO
July 19th, 2002
Abdennadher will not be co-presenting the
ICLP tutorial on
Constraint Handling Rules. The tutorial
will be given by Tom Frühwirth alone.
2 of WG16 has for a few days been
announced as ending at 12:20. The session has now been
extended to 12:30.
July 16th, 2002
the announcement FCS+VERFY joint panel, the moderators was erroneously
listed instead of panelists. Now the panelists are correctly
announced (I hope!).
paper author Janis
Voigtländer was erroneusly spelled
"Voigtlaender" in the printed program. Fixed on the website.
REFINE invited talks
have had new titles since the printed programs was produced.
The invited talk by Jim Davies now has Charles Crichton as
July 11th, 2002
Henrik Björklund was erroneusly spelled
"Børklund" in the printed program. Fixed on the website.
July 10th, 2002
the title of the CADE paper by Joe
Hurd scheduled to be presented at
16:15 on Saturday. (The printed program shows an obsolete
July 5th, 2002
bus stops were shown at slightly wrong places on the
map sketches in the How to find FLoC
section. Corrected this, and added names to all bus stops.
about a week the social
events page has contained severely suboptimal instructions
for how to find the conference dinner from most hotels. This
is now fixed.
July 1st, 2002
the program booklet was sent to the printer. This means
that program data on the website can now be trusted, since it
will take really good reasons to change the scheduling now.
Any such future changes will be noted on this list.
June 25th, 2002
- Conference dinners
will take place at Restaurant Luftkastellet instead of Base Camp.
room assignments for many workshops has changed. Do
not trust room assignments you read on this website
June 18th, 2002
Iliano Cervesato ti the list of
VERIFY program committee members.
June 3rd, 2002
- PCL final-papers deadline postponed to
May 29th, 2002
May 28th, 2002
organizers of the WG16 workshop
have asked us to announce that participation in the workshop is
only by invitation.
of program! The FCS
workshop is now a two-day workshop, starting on June 25
and ending on June 26.
(This happened on May 26, actually but I forgot to
note it in the changes list)
May 5th, 2002
of program! The PaPS
workshop now starts at noon on July 31st instead of on
the morning of August 1st.
CADE workshop on Strategies in Automated Deduction,
scheduled for July 26th, has been canceled due to
lack of submissions.
- WRS deadline extended to April 25.
Abstreacts are due on April 21.
to a low number of submissions, the NLULP workshop has
program to one day, and will now take place on Sunday July 28
on-line registration is still not here but sincerely
expected "during the week". Bumped the expected date on
the timeline from Monday to Wednesday nevertheless, just in
deadline for EFSD extended to
April 5th, 2002
- CADE author-notification date postponed
to April 10th.
deadline for CLPSE extended to
ICLP workshop on Updating Non-monotonic Knowledge Bases,
scheduled for July 28 has been cancelled due to lack of
April 3rd, 2002
online registration is still late. Postponed the promise
on the FLoC timeline to April 15th, which essentially just
means Real Soon Now.
- PCL final deadline postponed to April 30th.
online registration, promised on March 15, is behind
schedule. Latest estimate is that it will open by the end
of this week.
deadline for NLULP extended to
- FCS's camera-ready deadline
moved from June 28 to June 23.
deadline for TABLEAUX extended
again to to February 23. Abstracts must be submitted by
Baader has been added to the LICS
deadline for TABLEAUX extended
to February 9. Abstracts must be submitted by February 5.
deadline for CADE extended to
deadline for RTA extended to January
27. Abstracts must still be submitted by January 15.
deadline for CAV extended to
CADE-sponsored workshop on General-purpose Automated
Deduction in Education, scheduled for August 1, has been
Workshop on Logic and Synthesis for Programmable Devices,
scheduled for July 26, has been cancelled.
yet another missing ICLP program
committee member: Maria Carcia de la Banda.
of program! The VERIFY
workshop has been moved to July 25-26. The FCS workshop
has been moved to July 26.
up inconsitent claims about page-size limits in the
CAV call for papers. The correct
limits are 13 or 4 pages, depending on submission
category. Other parts of the CFP previously said 10 pages, but
that was a mistake.
postal addresses for the CAV
Pascal Van Hentenryck to the list of
ICLP program committee members. (Same
story as below).
Joxan Jaffar to the list of ICLP
program committee members. (He has been on the committee
all the time, but was previously left out from the official
list by mistake).
August 31, 2001
call for papers:
deadline extended to February 2
paper category "position papers and brief
reports on work in progress"
papers now expected to
be published in the regular proceedings
reference to the FME
workshop/tutorial proposal deadline to the
overview pages (where they had previously been forgotten).
May 5, 2001
dates of CAV,
were changed to match what the poster says. (The dates
displayed previously were taken from the preliminary
announcement sent out about new year).
April 30, 2001