These pages provide information about recent developments at or relevant to the ILLC. Please let us know if you have material that you would like to be added to the news pages, by using the online submission form. For minor updates to existing entries you can also email the news administrators directly. English submissions strongly preferred.
The calender view is not available on the mobile version of the website. You can view this information as a list.
You can also view this information as a list or iCalendar-feed, or import the embedded hCalendar metadata into your calendar-app.
| << July 2002 | ||||||
|---|---|---|---|---|---|---|
| Sunday | Monday | Tuesday | Wednesday | Thursday | Friday | Saturday |
|
1
|
2
|
3
|
4
|
5
|
6
|
|
|
7
|
8
|
9
|
10
|
11
|
12
|
13
|
|
14
|
15
|
16
|
17
|
18
|
19
|
20
|
|
21
|
22
|
23
|
24
|
25
|
26
|
27
|
|
28
|
29
|
30
|
31
|
|||
5 July 2002, Symposium on Relational Reasoning
van Trierzaal
13.45 - 14.45 Rudolf Berghammer (Kiel), Computer-aided
development of relational programs
14.45 - 15.15 Tool demonstration of Relview by Rudolf Berghammer
15.15 - 15.45 break
15.45 - 16.45 Jan Rauch (Prague), GUHA; relational datamining
16.45 - 17.15 Tool demonstration of GUHA by Jan Rauch
For more information, see the detailed program at here, or contact Prof.dr. H.C.M.de Swart, H.C.M.deSwart at kub.nl.
16 July 2002, lecture, Prashant Parikh
20 July - 1 August 2002, FLoC 2002: The Third Federated Logic Conference, Copenhagen, Denmark
In 1996, as part of its Special Year on Logic and Algorithms, DIMACS hosted the first Federated Logic Conference (FLoC). It was modeled after the successful Federated Computer Research Conference (FCRC), and synergetically brought together conferences that apply logic to computer science.
The third Federated Logic Conference (FLoC'02) will be held in Copenhagen, Denmark, in July 2002, jointly hosted jointly by the IT University of Copenhagen, the Technical University of Denmark and the University of Copenhagen. The conference will be held at the University of Copenhagen.
The following conferences, as well as a large number of workshops, will participate in FLoC.
- Conference on Automated Deduction (July 27-30)
- Conference on Computer-Aided Verification (July 27-31)
- Formal Methods Europe (July 22-24)
- International Conference on Logic Programming (July 29th - August 1st)
- IEEE Symposium on Logic in Computer Science (LICS) (July 22-25)
- Conference on Rewriting Techniques and Applications (July 22-24)
- Automated Reasoning with Analytic Tableaux and Related Methods (July 30th - August 1st)
Deadline for early registration: 15 June 2002
For more information, an online registration form and preliminary programs, see http://floc02.diku.dk/
20 July - 1 August 2002, FLoC 2002: The Third Federated Logic Conference, Copenhagen, Denmark
In 1996, as part of its Special Year on Logic and Algorithms, DIMACS hosted the first Federated Logic Conference (FLoC). It was modeled after the successful Federated Computer Research Conference (FCRC), and synergetically brought together conferences that apply logic to computer science.
The third Federated Logic Conference (FLoC'02) will be held in Copenhagen, Denmark, in July 2002, jointly hosted jointly by the IT University of Copenhagen, the Technical University of Denmark and the University of Copenhagen. The conference will be held at the University of Copenhagen.
The following conferences, as well as a large number of workshops, will participate in FLoC.
- Conference on Automated Deduction (July 27-30)
- Conference on Computer-Aided Verification (July 27-31)
- Formal Methods Europe (July 22-24)
- International Conference on Logic Programming (July 29th - August 1st)
- IEEE Symposium on Logic in Computer Science (LICS) (July 22-25)
- Conference on Rewriting Techniques and Applications (July 22-24)
- Automated Reasoning with Analytic Tableaux and Related Methods (July 30th - August 1st)
Deadline for early registration: 15 June 2002
For more information, an online registration form and preliminary programs, see http://floc02.diku.dk/
20 July - 1 August 2002, FLoC 2002: The Third Federated Logic Conference, Copenhagen, Denmark
In 1996, as part of its Special Year on Logic and Algorithms, DIMACS hosted the first Federated Logic Conference (FLoC). It was modeled after the successful Federated Computer Research Conference (FCRC), and synergetically brought together conferences that apply logic to computer science.
The third Federated Logic Conference (FLoC'02) will be held in Copenhagen, Denmark, in July 2002, jointly hosted jointly by the IT University of Copenhagen, the Technical University of Denmark and the University of Copenhagen. The conference will be held at the University of Copenhagen.
The following conferences, as well as a large number of workshops, will participate in FLoC.
- Conference on Automated Deduction (July 27-30)
- Conference on Computer-Aided Verification (July 27-31)
- Formal Methods Europe (July 22-24)
- International Conference on Logic Programming (July 29th - August 1st)
- IEEE Symposium on Logic in Computer Science (LICS) (July 22-25)
- Conference on Rewriting Techniques and Applications (July 22-24)
- Automated Reasoning with Analytic Tableaux and Related Methods (July 30th - August 1st)
Deadline for early registration: 15 June 2002
For more information, an online registration form and preliminary programs, see http://floc02.diku.dk/
20 July - 1 August 2002, FLoC 2002: The Third Federated Logic Conference, Copenhagen, Denmark
In 1996, as part of its Special Year on Logic and Algorithms, DIMACS hosted the first Federated Logic Conference (FLoC). It was modeled after the successful Federated Computer Research Conference (FCRC), and synergetically brought together conferences that apply logic to computer science.
The third Federated Logic Conference (FLoC'02) will be held in Copenhagen, Denmark, in July 2002, jointly hosted jointly by the IT University of Copenhagen, the Technical University of Denmark and the University of Copenhagen. The conference will be held at the University of Copenhagen.
The following conferences, as well as a large number of workshops, will participate in FLoC.
- Conference on Automated Deduction (July 27-30)
- Conference on Computer-Aided Verification (July 27-31)
- Formal Methods Europe (July 22-24)
- International Conference on Logic Programming (July 29th - August 1st)
- IEEE Symposium on Logic in Computer Science (LICS) (July 22-25)
- Conference on Rewriting Techniques and Applications (July 22-24)
- Automated Reasoning with Analytic Tableaux and Related Methods (July 30th - August 1st)
Deadline for early registration: 15 June 2002
For more information, an online registration form and preliminary programs, see http://floc02.diku.dk/
20 July - 1 August 2002, FLoC 2002: The Third Federated Logic Conference, Copenhagen, Denmark
In 1996, as part of its Special Year on Logic and Algorithms, DIMACS hosted the first Federated Logic Conference (FLoC). It was modeled after the successful Federated Computer Research Conference (FCRC), and synergetically brought together conferences that apply logic to computer science.
The third Federated Logic Conference (FLoC'02) will be held in Copenhagen, Denmark, in July 2002, jointly hosted jointly by the IT University of Copenhagen, the Technical University of Denmark and the University of Copenhagen. The conference will be held at the University of Copenhagen.
The following conferences, as well as a large number of workshops, will participate in FLoC.
- Conference on Automated Deduction (July 27-30)
- Conference on Computer-Aided Verification (July 27-31)
- Formal Methods Europe (July 22-24)
- International Conference on Logic Programming (July 29th - August 1st)
- IEEE Symposium on Logic in Computer Science (LICS) (July 22-25)
- Conference on Rewriting Techniques and Applications (July 22-24)
- Automated Reasoning with Analytic Tableaux and Related Methods (July 30th - August 1st)
Deadline for early registration: 15 June 2002
For more information, an online registration form and preliminary programs, see http://floc02.diku.dk/
20 July - 1 August 2002, FLoC 2002: The Third Federated Logic Conference, Copenhagen, Denmark
In 1996, as part of its Special Year on Logic and Algorithms, DIMACS hosted the first Federated Logic Conference (FLoC). It was modeled after the successful Federated Computer Research Conference (FCRC), and synergetically brought together conferences that apply logic to computer science.
The third Federated Logic Conference (FLoC'02) will be held in Copenhagen, Denmark, in July 2002, jointly hosted jointly by the IT University of Copenhagen, the Technical University of Denmark and the University of Copenhagen. The conference will be held at the University of Copenhagen.
The following conferences, as well as a large number of workshops, will participate in FLoC.
- Conference on Automated Deduction (July 27-30)
- Conference on Computer-Aided Verification (July 27-31)
- Formal Methods Europe (July 22-24)
- International Conference on Logic Programming (July 29th - August 1st)
- IEEE Symposium on Logic in Computer Science (LICS) (July 22-25)
- Conference on Rewriting Techniques and Applications (July 22-24)
- Automated Reasoning with Analytic Tableaux and Related Methods (July 30th - August 1st)
Deadline for early registration: 15 June 2002
For more information, an online registration form and preliminary programs, see http://floc02.diku.dk/
25 July 2002, HyLo@LICS: 4th Workshop on Hybrid Logics, Copenhagen, Denmark
Hybrid logic is a branch of modal logic in which it is possible to directly refer to worlds/times/states or whatever the elements of the (Kripke) model are meant to represent. Although they date back to the late 1960s, and have been sporadically investigated ever since, it is only in the 1990s that work on them really got into its stride.
HyLo@LICS is likely to be relevant to a wide range of people, including those interested in description logic, feature logic, applied modal logics, temporal logic, and labelled deduction. In this workshop we hope to bring together researchers from all the different fields just mentioned (and hopefully some others) in an attempt to explore what they all have (and do not have) in common.
The full text of this announcement can be found at here, or on the Hybrid Logics homepage at http://staff.science.uva.nl/~carlos/hybrid/.
20 July - 1 August 2002, FLoC 2002: The Third Federated Logic Conference, Copenhagen, Denmark
In 1996, as part of its Special Year on Logic and Algorithms, DIMACS hosted the first Federated Logic Conference (FLoC). It was modeled after the successful Federated Computer Research Conference (FCRC), and synergetically brought together conferences that apply logic to computer science.
The third Federated Logic Conference (FLoC'02) will be held in Copenhagen, Denmark, in July 2002, jointly hosted jointly by the IT University of Copenhagen, the Technical University of Denmark and the University of Copenhagen. The conference will be held at the University of Copenhagen.
The following conferences, as well as a large number of workshops, will participate in FLoC.
- Conference on Automated Deduction (July 27-30)
- Conference on Computer-Aided Verification (July 27-31)
- Formal Methods Europe (July 22-24)
- International Conference on Logic Programming (July 29th - August 1st)
- IEEE Symposium on Logic in Computer Science (LICS) (July 22-25)
- Conference on Rewriting Techniques and Applications (July 22-24)
- Automated Reasoning with Analytic Tableaux and Related Methods (July 30th - August 1st)
Deadline for early registration: 15 June 2002
For more information, an online registration form and preliminary programs, see http://floc02.diku.dk/
20 July - 1 August 2002, FLoC 2002: The Third Federated Logic Conference, Copenhagen, Denmark
In 1996, as part of its Special Year on Logic and Algorithms, DIMACS hosted the first Federated Logic Conference (FLoC). It was modeled after the successful Federated Computer Research Conference (FCRC), and synergetically brought together conferences that apply logic to computer science.
The third Federated Logic Conference (FLoC'02) will be held in Copenhagen, Denmark, in July 2002, jointly hosted jointly by the IT University of Copenhagen, the Technical University of Denmark and the University of Copenhagen. The conference will be held at the University of Copenhagen.
The following conferences, as well as a large number of workshops, will participate in FLoC.
- Conference on Automated Deduction (July 27-30)
- Conference on Computer-Aided Verification (July 27-31)
- Formal Methods Europe (July 22-24)
- International Conference on Logic Programming (July 29th - August 1st)
- IEEE Symposium on Logic in Computer Science (LICS) (July 22-25)
- Conference on Rewriting Techniques and Applications (July 22-24)
- Automated Reasoning with Analytic Tableaux and Related Methods (July 30th - August 1st)
Deadline for early registration: 15 June 2002
For more information, an online registration form and preliminary programs, see http://floc02.diku.dk/
20 July - 1 August 2002, FLoC 2002: The Third Federated Logic Conference, Copenhagen, Denmark
In 1996, as part of its Special Year on Logic and Algorithms, DIMACS hosted the first Federated Logic Conference (FLoC). It was modeled after the successful Federated Computer Research Conference (FCRC), and synergetically brought together conferences that apply logic to computer science.
The third Federated Logic Conference (FLoC'02) will be held in Copenhagen, Denmark, in July 2002, jointly hosted jointly by the IT University of Copenhagen, the Technical University of Denmark and the University of Copenhagen. The conference will be held at the University of Copenhagen.
The following conferences, as well as a large number of workshops, will participate in FLoC.
- Conference on Automated Deduction (July 27-30)
- Conference on Computer-Aided Verification (July 27-31)
- Formal Methods Europe (July 22-24)
- International Conference on Logic Programming (July 29th - August 1st)
- IEEE Symposium on Logic in Computer Science (LICS) (July 22-25)
- Conference on Rewriting Techniques and Applications (July 22-24)
- Automated Reasoning with Analytic Tableaux and Related Methods (July 30th - August 1st)
Deadline for early registration: 15 June 2002
For more information, an online registration form and preliminary programs, see http://floc02.diku.dk/
20 July - 1 August 2002, FLoC 2002: The Third Federated Logic Conference, Copenhagen, Denmark
In 1996, as part of its Special Year on Logic and Algorithms, DIMACS hosted the first Federated Logic Conference (FLoC). It was modeled after the successful Federated Computer Research Conference (FCRC), and synergetically brought together conferences that apply logic to computer science.
The third Federated Logic Conference (FLoC'02) will be held in Copenhagen, Denmark, in July 2002, jointly hosted jointly by the IT University of Copenhagen, the Technical University of Denmark and the University of Copenhagen. The conference will be held at the University of Copenhagen.
The following conferences, as well as a large number of workshops, will participate in FLoC.
- Conference on Automated Deduction (July 27-30)
- Conference on Computer-Aided Verification (July 27-31)
- Formal Methods Europe (July 22-24)
- International Conference on Logic Programming (July 29th - August 1st)
- IEEE Symposium on Logic in Computer Science (LICS) (July 22-25)
- Conference on Rewriting Techniques and Applications (July 22-24)
- Automated Reasoning with Analytic Tableaux and Related Methods (July 30th - August 1st)
Deadline for early registration: 15 June 2002
For more information, an online registration form and preliminary programs, see http://floc02.diku.dk/
20 July - 1 August 2002, FLoC 2002: The Third Federated Logic Conference, Copenhagen, Denmark
In 1996, as part of its Special Year on Logic and Algorithms, DIMACS hosted the first Federated Logic Conference (FLoC). It was modeled after the successful Federated Computer Research Conference (FCRC), and synergetically brought together conferences that apply logic to computer science.
The third Federated Logic Conference (FLoC'02) will be held in Copenhagen, Denmark, in July 2002, jointly hosted jointly by the IT University of Copenhagen, the Technical University of Denmark and the University of Copenhagen. The conference will be held at the University of Copenhagen.
The following conferences, as well as a large number of workshops, will participate in FLoC.
- Conference on Automated Deduction (July 27-30)
- Conference on Computer-Aided Verification (July 27-31)
- Formal Methods Europe (July 22-24)
- International Conference on Logic Programming (July 29th - August 1st)
- IEEE Symposium on Logic in Computer Science (LICS) (July 22-25)
- Conference on Rewriting Techniques and Applications (July 22-24)
- Automated Reasoning with Analytic Tableaux and Related Methods (July 30th - August 1st)
Deadline for early registration: 15 June 2002
For more information, an online registration form and preliminary programs, see http://floc02.diku.dk/
20 July - 1 August 2002, FLoC 2002: The Third Federated Logic Conference, Copenhagen, Denmark
In 1996, as part of its Special Year on Logic and Algorithms, DIMACS hosted the first Federated Logic Conference (FLoC). It was modeled after the successful Federated Computer Research Conference (FCRC), and synergetically brought together conferences that apply logic to computer science.
The third Federated Logic Conference (FLoC'02) will be held in Copenhagen, Denmark, in July 2002, jointly hosted jointly by the IT University of Copenhagen, the Technical University of Denmark and the University of Copenhagen. The conference will be held at the University of Copenhagen.
The following conferences, as well as a large number of workshops, will participate in FLoC.
- Conference on Automated Deduction (July 27-30)
- Conference on Computer-Aided Verification (July 27-31)
- Formal Methods Europe (July 22-24)
- International Conference on Logic Programming (July 29th - August 1st)
- IEEE Symposium on Logic in Computer Science (LICS) (July 22-25)
- Conference on Rewriting Techniques and Applications (July 22-24)
- Automated Reasoning with Analytic Tableaux and Related Methods (July 30th - August 1st)
Deadline for early registration: 15 June 2002
For more information, an online registration form and preliminary programs, see http://floc02.diku.dk/