| • |
Functional and Equational Programming |
| • |
Formal Verification and Formal Methods |
| • |
Logic in Computer Science |
| • |
Artificial Intelligence |
| • |
Data/Text Mining, Information Retrieval & Extraction (incl. over WWW) |
| • |
Computer Security/Information Assurance |
| • |
Temporal/Spatial Databases |
| • |
Program Analysis and Optimization |
| • |
Computer Analysis of Documents and Authorship Attribution |
| • |
Parallel Algorithms and I/O |
