The Third IFIP International Conference on
Topics in Theoretical Computer Science (TTCS 2020)
http://cs.ipm.ac.ir/ttcs/2020
Institute for Research in Fundamental Sciences (IPM)
Tehran, Iran, July 1-3, 2020
*** Submission Deadline: January 12, 2020 ***
==
[Apologies for cross-posting - Please forward to anybody who might be
interested]
The AAAI-20 Workshop on Privacy-Preserving Artificial Intelligence
The availability of massive amounts of data, coupled with high-performance
cloud computing platforms, has driven significant progress in artificia
** Please accept our apologies for cross-posting **
** It would be highly appreciated if you could disseminate this CFP
among your colleagues **
LAST CALL for the following events of the 24th European Conference on
A
Is HOL light online just HOL Light, or something special in particular? The
website for HOL Light can be found at
https://www.cl.cam.ac.uk/~jrh13/hol-light/ and the source code is now on
GitHub.
On Fri, 15 Nov 2019 at 00:38, Miranda, Brando wrote:
> Hi,
>
> Does anyone have a link to HOL light o