LL 2018 - Logic and Learning
Topics/Call fo Papers
Logic and Learning is a workshop focusing on the interaction between machine learning and computational logic. It will be held on July 13, 2018 as part of the Federated Logic Conference.
The workshop will include talks by
Guy van den Broeck, UCLA
Cezary Kalisczyk, University of Innsbruck
Kristian Kersting, TU Darmstadt
Daniel Neider, MPI for Software Systems, Kaiserslautern
Tim Rocktäschel, Oxford University
Christian Szegedy, Google Research
Josef Urban, Czech Institute of Informatics, Robotics and Cybernetics, Prague
The workshop will include talks by
Guy van den Broeck, UCLA
Cezary Kalisczyk, University of Innsbruck
Kristian Kersting, TU Darmstadt
Daniel Neider, MPI for Software Systems, Kaiserslautern
Tim Rocktäschel, Oxford University
Christian Szegedy, Google Research
Josef Urban, Czech Institute of Informatics, Robotics and Cybernetics, Prague
Other CFPs
- 13th International Workshop on User Interfaces for Theorem Provers
- 4th Workshop on Formal Integrated Development Environment
- Sixteenth International Workshop on Quantitative Aspects of Programming Languages and Systems
- 16TH OVERTURE WORKSHOP: New Capabilities and Applications for Model-based Systems Engineering
- Workshop on Foundations of Computer Security 2018
Last modified: 2017-12-13 10:06:58