|
28-Oct-2009 - 31-Oct-2009 |
X Simpósio em Sistemas Computacionais (WSCAD-SSC 2009) |
|
01-Nov-2009 |
Visit by Terrance Swift |
|
01-Nov-2009 |
18th International Conference on Applications of Declarative Programming and Knowledge Management |
|
04-Nov-2009 |
18th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2009 |
|
16-Nov-2009 |
Visit by Terrance Swift |
|
17-Nov-2009 |
Seminar at CRACS: Design Patterns for Tabled Logic Programs |
|
19-Nov-2009 |
WWW/Internet 2009, IADIS International Conference |
|
30-Nov-2009 |
Name Identification in Scientific Publications |
|
01-Dec-2009 - 02-Dec-2009 |
Michael Ley, the developer of DBLP, visits CRACS |
|
02-Dec-2009 |
Seminar at CRACS: DBLP and Bibliometric Evaluations |
|
01-Jan-2010 |
12th International Symposium on Practical Aspects of Declarative Languages |
|
18-Jan-2010 - 19-Jan-2010 |
PADL 2010 - 12th International Symposium on Practical Aspects of Declarative Languages |
|
19-Jan-2010 |
5th International Workshop on Declarative Aspects of Multicore Programming (DAMP 2010) |
|
09-Feb-2010 - 15-Feb-2010 |
Meld - A Logic Programming Language |
|
12-Feb-2010 |
Meld: A Logic Programming Approach to Distributed Systems |
|
05-May-2010 |
YAP Internals |
|
19-May-2010 - 20-May-2010 |
XATA 2010 - XML, Associated Technologies and Applications 2010 |
|
01-Jun-2010 |
Protein structure and machine learning algorithms: Seminar |
|
16-Jun-2010 |
Security riscs of critical information infrastructures |
|
21-Jun-2010 - 24-Jun-2010 |
27th International Conference on Machine Learning (ICML 2010) |
|
22-Jun-2010 |
VECPAR'10 9th International Meeting on High Performance Computing for Computational Science |
|
27-Jun-2010 - 30-Jun-2010 |
20th International Conference on Inductive Logic Programming (ILP 2010) |
|
01-Jul-2010 |
26th International Conference on Logic Programming |
|
01-Jul-2010 |
Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments |
|
12-Jul-2010 |
4th International Conference on Complex Distributed Systems (CODS 2010) |
