Cracs Events List

sort icon
23-Sep-2017 - 24-Sep-2017 LSFA 2017 - 12th Workshop on Logical and Semantic Frameworks with Applications
26-Jun-2017 - 27-Jun-2017 SLATE 2017 - 6th Symposium on Languages, Applications and Technologies
03-Mar-2017 Visually Browsing Millions of Images using Image Graphs
17-Feb-2017 On the Structure of Natural Deduction Derivations for "Generally"
12-Dec-2016 - 13-Dec-2016 MECC 2016 - 1st Workshop on Middleware for Edge Clouds & Cloudlets
05-Sep-2016 - 07-Sep-2016 PPDP 2016 - 18th International Symposium on Principles and Practice of Declarative Programming
28-Jun-2016 - 30-Jun-2016 VECPAR 2016 - 12th International Meeting on High Performance Computing for Computational Science
22-Jun-2016 - 26-Jun-2016 FSCD 2016 - 1st International Conference on Formal Structures for Computation and Deduction
20-Jun-2016 - 21-Jun-2016 SLATE 2016 - 5th Symposium on Languages, Applications and Technologie
03-Mar-2016 - 06-Mar-2016 FLOPS 2016 - 13th International Symposium on Functional and Logic Programming
22-Oct-2015 - 23-Oct-2015 4th International Seminar on Program Verification, Automated Debugging and Symsbolic Computation (PAS’15)
21-Oct-2015 - 23-Oct-2015 CSE 2015 - 18th IEEE International Conference on Computational Science and Engineering
16-Sep-2015 - 18-Sep-2015 SUM 2015 - 9th International Conference on Scalable Uncertainty Management
08-Sep-2015 - 11-Sep-2015 EPIA 2015 - 17th Portuguese Conference on Artificial Intelligence
07-Sep-2015 - 11-Sep-2015 ECML PKDD 2015 - European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases
07-Sep-2015 - 08-Sep-2015 INForum 2015
31-Aug-2015 - 04-Sep-2015 ICLP 2015 - 31st International Conference on Logic Programming
27-Aug-2015 - 28-Aug-2015 FAB 2015 - International Symposium on Foundations and Applications of Big Data Analytics
20-Aug-2015 - 22-Aug-2015 ILP 2015 - 25th International Conference on Inductive Logic Programming
21-Jul-2015 - 24-Jul-2015 MOD 2015 - International Workshop on Machine learning, Optimization and big Data
16-Jul-2015 StaRAI 2015 - 5th International Workshop on Statistical Relational AI (with UAI 2015)
13-Jul-2015 - 15-Jul-2015 IDEAS 2015 - 19th International Database Engineering and Applications Symposium
18-Jun-2015 - 19-Jun-2015 PADL 2015 - 17th International Symposium on Practical Aspects of Declarative Languages
18-Jun-2015 - 19-Jun-2015 SLATE 2015 - 4th Symposium on Languages, Applications and Technologies
18-Mar-2015 - 20-Mar-2015 EDUCON 2015 - IEEE Global Engineering Education Conference