CADE is the major forum for the presentation of research in all aspects of automated deduction.
The first conference was held in 1974. Early CADEs have been mostly biennial, and annual conferences started in 1996. CADE Inc. is a subcorporation of the Association of Automated Reasoning.
Submission is now closed. See the list of accepted papers. Date for the final version: May 20, 2005.
Submission is electronic. Here is a link to the submission site.
CADE-20 invites paper submissions related to all aspects of automated deduction, including foundations, implementations, and applications.
Original research papers, papers on applications of automated deduction methods and systems, and descriptions of working automated deduction systems are solicited. In addition, CADE-20 invites the submission of proposals for workshops and tutorials.
Submission is electronic in postscript or PDF format. papers must conform to the Springer LNCS style, preferrably using LaTeX2e and the Springer llncs class files. Submissions can be full papers, for work on foundations, applications or implementation techniques (15 pages), as well as system descriptions (5 pages), for describing publicly available systems.
Here is a detailed postscript call-for-papers and a call-for-workshops.
This page contains the general overview of the schedule. For concrete talks and all the other details see the detailed schedule page. See also workshops.
Coffee and lunch breaks will take place at the conference building at the following times:
Blanchet and Giunchiglia tutorials take place during the main conference. The exact time slots will be announced later.
In addition, we will have a separate wifi connection in (almost) every room where WS, tutorial or main session is held, plus the beforementioned internet room. Bring your wifi cards and laptops!
For WS and (initial) tutorials we will have a projector connected to a desktop machine running win XP (and - maybe - linux as well). You can use your own laptop instead, of course. The desktop machine will have no internet connection, but you can - very likely - connect your own laptop to wifi. We will also have a paper board to write on. There will be no proper (large, non-paper) whiteboard.
We can also provide a third projector, if necessary (either in the internet room or as a second projector in a WS room). For example, we will have a projector in the internet room during CASC.
The main conference sessions will be held in a larger room than WS and (initial) tutorials, but the equipment is basically the same: projector, desktop machine (or use your own), wifi connection. There will be no proper (large, non-paper) whiteboard.
There is no need for mikes and amplifiers in smaller rooms, and we are currently investigating the question whether we need a mike and amplifier in the large session room (probably not).
We will have a small printer/copying machine at the registration desk: smaller printing jobs are possible, if really necessary.
In case you need anything more, please email Tanel Tammet and I'll attempt to fix the necessary item.
Warning: in my experience the connectivity problems between different laptops and projectors are getting worse every year. You cannot be 100% sure that your laptop will be compatible with the provided projector! Be prepared for alternative options.
The actual registration starts Friday, 22. July, in the morning of the first workshops day. At 22. we'd recommend to register either between 8.30-9.00, during the first coffee break 10:00-10:30 or later. We will not register people during Thursday, 21. July (just preparing everything and being awfully busy).
In case you run into any minor trouble, please email Tanel Tammet. In the worst kinds of situations (totally lost, away from email, etc) you may call Tanel: +3725524876.
Registration includes proceedings, reception, banquet, two excursions, two coffee breaks and lunch per conference day. Workshop registration includes workshop materials, two coffee breaks and a lunch during the workshop day. CASC registration includes a T-shirt and the CASC dinner. Blanchet and Giunchiglia tutorials take place during the main conference, no extra fee to be paid.
BANK TRANSFERS in EUR should be made to the following account:
Bank's name: Hansapank
Bank's address: Liivalaia 8, 15040 Tallinn, Estonia
BIC/SWIFT code: HABA EE2X
Beneficiary: Institute of Cybernetics at TUT
Beneficiary's address: Akadeemia tee 21, 12618 Tallinn, Estonia
Beneficiary's account: 22 100 712 2812
IBAN : EE78 2200 2210 0712 2812
Reference: CADE-20, <participant(s) name(s)>
It is VITAL that you include the reference and make sure that you are paying both the sender's and receiver's charges.
The address of the conference venue is Pikk 26. See the zoomable/searchable map (type pikk 26 and search) or this drawing where the red arrow is not pointing anywhere near the conference venue.
It is very likely that your hotel is ca 5 minutes walk from the old town. In that case it will take 10 minutes to walk from your hotel to the conference site (provided you have a map). Do not bother to take a taxi for this trip!
Here is a quick overview and a map of the country.
Citizens of the EU/Schengen and most other European countries, USA, and many other countries do not need a visa to enter Estonia. Visas are however requested from citizens of Russia, the Ukraine, Belorus. The visa requirement for Canadian citizens has been recently lifted. Exact information on the regulations in force at any given time is available from the Ministry of Foreign Affairs
In case you do need a visa, you will probably need an invitation. Please contact Anu Johannes at the Tallinn University of Technology to obtain an invitation to CADE.
There exist direct flights to Tallinn from major cities in Europe: Amsterdam, Berlin, Brussels, Dublin, Frankfurt, Gothenburg, Hamburg, Helsinki, Kiev, Copenhagen, London, Manchester, Milano, Moscow, Munich, Oslo, Paris, Prague, Riga, Stockholm, Vilnius, Warszaw. There are no direct transatlantic flights. Several of the routes mentioned are available only on some days of the week. Frequent daily connections are available between Helsinki, Stockholm and Copenhagen.
Some hints and rumours about cheap airfare to/from Tallinn:
For more information, see the homepages of Tallinn Airport and Estonian Air. The summer timetable of the Tallinn airport is available as a pdf file. The city is 2 kms from the airport and you reach it either by bus No. 2 or taxi.
For ferry connections, see the web pages of Tallink/Hansatee, Silja Line and Eckero Line.
NB! Unless you are unlucky with weather, Helsinki-Tallinn ferries and fast boats are a quick and memorable way to combine air travel with a nice sea trip. Helsinki-Tallinn route is probably the most trafficked route on the Baltic sea, with different kinds of ships leaving almost every hour. Stockholm-Tallinn is even nicer (you will see the Stockholm archipelago!), but this is an overnight trip.
For international coach connections, see the web page of Eurolines.Estonia (just as Finland, Latvia, Lithuania) uses Eastern European Time, EET, this is one hour ahead of Central European Time, CET, in other words GMT+2.
The electricity supply is 220 volts AC, 50 Hz. European-style 2-pin plugs are in use.
The currency in Estonia is Estonian crown (EEK). EEK is pegged to EUR at the rate of 1 EUR = 15.64664 EEK.
Credit cards are widely accepted in Tallinn and other cities (but not necessarily in the countryside). You may be required to present your passport or driver's licence in proof of identity when paying with a card. Bank offices and currency exchange points are numerous and have very reasonable opening hours. Cash advance is also possible from ATMs. The most widely accepted travellers cheques are Am Ex and Thomas Cook.
We would not recommend trying to exchange your currency into Estonian crowns at home. All major currencies are exchanged into crowns easily here in the country and the rates are more favourable.
Postage on letters (up to 20 g) [postcards] within Estonia is 4.40 [3.60] EEK, to the Baltic and Nordic countries 6.00 [5.00] EEK by air mail and 5.50 [4.50] EEK by surface mail, to the rest of Europe and the former USSR 6.50 [6.00] (only air mail is possible), to the rest of the world 8.00 [7.50] EEK (only air mail is possible). Air mail post has to be marked with blue "Prioritaire / Par avion" stickers.
Post offices are open during the normal shopping hours. Stamps are also sold in newsstands, but the staff do not always know the tariffs.
International calls to Estonia: dial the prefix for intl. calls (00 in most countries), then the country code 372, then the trunk code excluding the initial 0, and then the subscriber's number.
International calls from Estonia: dial the prefix 0 for intl. calls, then your country code etc.
Calls within Estonia: dial the trunk code, then the number.
The emergency number (fire brigade, ambulance) is 112. For police only, dial 110.
Payphones are many, but take ET phonecards only. The three different cards cost 30, 50 and 100 EEK and can be bought from newsstands and supermarkets.
The public city transportation system of Tallinn, consisting of bus, tram and trolleybus traffic, is quite efficient. The lines are many and are operated frequently. Most stops have timetables (affixed to the stop signpost) and many also have a map of the transport system on display (in the waiting booth). Tickets are available from drivers, from special city transportation ticket stands and newsstands, they are validated by punching. Buses, trams and trolleybuses are all in one ticket system, a special ticket or a completion ticket in addition to an ordinary one is needed in an express bus. A ticket is valid for a single journey and costs 15 EEK when bought from the driver and 10 EEK when bought from a stand; a set of 10 tickets costs 70 EEK.
At the airport, take a taxi which belongs to Tulika takso (shiny white Opel cars, the logo is three black squares in a yellow oval shape). Ignore Linnatakso or any other companies. (There are too many fake Linnatakso cars and other companies are not even officially allowed to show up there.) There is no obligation to take the first taxi from the queue. Walk down to the first Tulika car. A ride to a hotel in the center should not cost more than 80 EEK.
Elsewhere, it is best to order a taxi car by phone. There are several reliable services. We recommend Tulika Takso, phone 1200 or (0) 612 0000 and E-takso/Takso 1700, phone 1700 or (0) 60 59 700, or Peretakso, phone 16111 or (0) 646 0006. If you need the taxi to your hotel, you can always ask the reception to order the car for you. All three charge 7 EEK per km, the minimum charge is 35 EEK. With other companies, the tariff can vary as wildly as between 5.50 and 22 EEK per km.
Avoid picking an arbitrary taxi car from the street. If you are in the center of the town and need a taxi, walk to Viru hotel and take a Tulika car from there.
Internet cafes (with terminals) include: Espresso (Estonia pst 7, 15 EEK/30 mins, 2 terminals), Kohvik@Grill (Aia 3, in WW Passage shopping centre, entrance from Vana-Viru, 15 EEK/30 mins, 4 terminals). Other places: Arvutisaal (Vana-Posti 2, 2nd floor, 30 EEK/1 hr, 6 terminals), Tallinn Central Library (Estonia pst 8, free of charge), National Library (Tonismagi 2, 7th floor, 10 EEK/15 mins). Internet terminals or Internet access is offered also by many hotels.
Wireless internet access (WiFi) is available at many places, free or for money. For closer information, see www.wifi.ee.
In restaurants, the service charge is included in the bill, but a small tip (up to 10 pct) is considered polite.
For tourist information on Estonia in the Web, check the web page of the Estonian Tourist Board. For tourist information specifically on Tallinn, check the web page of the Tallinn Tourist Board. Alternatively, InYourPocket.Com's Estonia and Tallinn pages make a useful reading too.
The Tourist Information Office in Tallinn is located at Raekoja plats 10 (Raekoja plats = Town Hall square) in the middle of the Old Town.
Tallinn has become a very popular tourism target, and the real estate investments have not quite managed to catch up quickly enough. As a consequence, the summer prices are fairly steep, it is hard (if not impossible) to get rebates from rack prices, and the hotels are fully booked months in advance.
What typically happens is that the large travel companies book just everything without financial obligations, and then let go ca 1/3 of the bookings about one month before the deadline. For CADE this means that it is likely that there will be more booking opportunities at the end of June than there are now.
The organizers have booked a number of rooms specially for CADE, at very different hotels, at very different prices. None of these rooms are confirmed or paid for: you will have to contact the hotel directly, reserve and pay for these rooms yourself. The reservations have to be made (latest) before 1. July, and in some cases earlier: before 22. June. All the reservations are served on the first-come basis. In order to actually reserve these rooms, select a suitable hotel from the list below, contact the hotel and mention both (A) CADE (B) our reservation number (if available). You can certainly book the hotels outside the list/reservations below. The last chapter of this page contains pointers to the general hotel listings in Tallinn. In order to simplify finding alternatives to the CADE list or for getting travel information, please contact:NB! Triin Aermates is not in charge of bookings for the CADE list: these you'll have to do yourself.
The following is a list of CADE reservations mentioned above. They start with the hostels and apartments, and continue towards costlier alternatives. All the prices (except the hostels and apartments) include breakfast. There are no extra taxes (i.e. the price contains all the taxes). All these hotels are of a good quality and have nice locations. Almost all of them are in the short walking distance (from 1 minute to 15 minutes) from the conference venue.
We are going to make additional CADE bookings during May/June. However, since there are no guarantees that the additional bookings will be more favourable, we'd suggest to reserve the rooms as soon as possible, once you find something suitable.
All the prices in the following table are given in the Estonian kroon (eek). To obtain the price in euro, divide the eek price by 15.6466 (fixed eur/eek rate).
Organising committee:
See also the program committee.
