General
British Pages
Online Newspapers
Visas and Embassies
Enjoy Logic!
Enjoy Math!
Enjoy CS!
Online Tools, Information & Services
Search Engines
Danish Pages
Encyclopedias Online
Library, Virtual Libraries, Bookshops and Online Math Databases
Services
Languages and Online Dictionaries
Travelling
Trip Information
Maps
Currency (Exchange Rates)
For Fun
Magic Tricks
Songs, Lyrics & Movies on the Web
Funny Pages & Art
Send Someone a Virtual Card
Computer Science
Latex
BRICS links
Departments and Research Centers
Logic Links
Summer Schools in Complexity and Logics
- Marktoberdorf
2001
- ESSLLI'00 -
Logic, Language and Information, UK, August 00.
- International
Summer
School
in Computational Logic, Italy, Sept 00.
- The Linear Internation
Summer School, Azores, Portugal, Sept 00.
- ELSS
2000, Paris, July 00.
- Computational
Complexity Theory, Princeton, USA, July 00.
- Engineering
Theories of Software Construction, Germany, July 00.
- ESSLLI'99 -
Logic, Language and Information, Utrecht University.
Conferences
- BACC'02
- Dagstuhl
Seminar
On
Computability and Complexity in Analysis 2001
- CSL2001, Paris,
Sept 10-13, 2001
- MFCS2001, Czech,
Aug 2001
- MFCS2000,
Bratislava, Slovak Republik, Aug 2000
- Logic Colloquium,
Austria, Aug 2001.
- Logic
Colloquium, Paris, Jul 2000
- LICS2001,
Boston,
Jun
2001
- LICS2000,
Santa
Barbara,
Jun 2000
- TACS2001,
Sendai,
Japan,
Oct 2001
- TACS2000, Lille,
France, February 2000
- FICS2000,
Paris, France, July 2000
- CONCUR 2001, Denmark, Aug
21-24 2001
- CONCUR 2000,
Pennsylvania, Aug 2000
- FOCS 2001, Las
Vegas, Nevada, Oct 2001
- STOCS 2001, Crete,
Greece, Jul 2001
- FoSSaCS 2001, Genova,
Italy, 2 - 6 Apr, 2001
- Workshop
on
expressiveness
in conurrency, USA
- Logic
and
Algebra
in Concur, Germany, Sept 13-16, 2000
PhD Course Homepages - BRICS
Logica no Brasil
Logic and Proof Theory
Computable Analysis
Classical Complexity Theory
Descriptive Complexity
Journals and Proceedings