Relevant Links
- RUN Group (Reasoning under UNcertainty)
- LTG Publications (alternative access)
- LTG Library (internal tool)
- LWB (Logics Workbench)
- ASL (Association for Symbolic Logic)
Upcoming events
- Start Spring Semester 2012(12 days)
- Easter Break 2012(58 days)
- End Spring Semester 2012(114 days)
