University of Cambridge > > Computer Lab, FW11

Computer Lab, FW11

Add to your list(s) Send you e-mail reminders Further detail
Subscribe using ical/vcal (Help)

Tell a friend about this venue:

If you have a question about this list, please contact: . If you have a question about a specific talk, click on that talk to find its organiser.

1 upcoming talk and 2 talks in the archive.

NLIP Seminar Series

NLP for Science: Advances and Challenges

UserTom Hope (Allen Institute for AI, Hebrew University of Jerusalem).

HouseComputer Lab, FW11.

ClockMonday 07 November 2022, 11:00-12:00

Logic and Semantics Seminar (Computer Laboratory)

Automating proof by induction in Isabelle/HOL using domain-specific languages

UserYutaka Nagashima, Czech University in Prague (CTU) & University of Innsbruck.

HouseComputer Lab, FW11.

ClockWednesday 04 March 2020, 10:00-10:20

Please see above for contact details for this list.


© 2006-2023, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity