Timothy G. Griffin

Name:	Timothy G. Griffin
Affiliation:	University of Cambridge
E-mail:	(only provided to users who are logged into talks.cam)
Last login:	Fri Nov 04 09:58:07 +0000 2022

Public lists managed by Timothy G. Griffin

Talks given by Timothy G. Griffin

Obviously this only lists talks that are listed through talks.cam. Furthermore, this facility only works if the speaker's e-mail was specified in a talk. Most talks have not done this.

Talks organised by Timothy G. Griffin

This list is based on what was entered into the 'organiser' field in a talk. It may not mean that Timothy G. Griffin actually organised the talk, they may have been responsible only for entering the talk into the talks.cam system.

• Robust Networks
• Forensic Genomics:Kin Privacy, Driftnets and Other Open Questions
• STRUCTURE AND DYNAMICS IN COMPLEX SYSTEMS
• Acceleration of scientific computing using graphics hardware
• How to prove that a communications protocol stack is up to the job
• Citations and Argumentation for Better Information Access
• Stylized Rendering for Multi-resolution Image Representation: Reconciling Efficiency with Aesthetics in Image Compression
• Copyright vs Community
• Sustainable Energy -- without the hot air
• Student Design Project Presentations
• Delay Tolerant Routing in Mobile and Sensor Networks
• High-Performance Processing with Field-Programmable Logic
• Rethink and Arise!
• Defence against the Dark Arts
• Executable Biology: Successes and Challenges
• Fine-grained differences and similarities in meanings
• Searching for Evil
• Automation for Interactive Theorem Provers
• Executable Biology: Successes and Challenges
• Software Defect Mining with Formal Concept Analysis
• Birrell's distributed reference listing revisited
• Multi-core programming with automatic parallelisation
• TechTalk by Google - The Chubby lock service for loosely-coupled distributed systems
• How Do We Know What to Design?
• How to Write Bug-Free Code - A Live Demonstration
• SQ Minus EQ can Predict Programming Aptitude
• Smart-card based authentication on an insecure network
• Electronics Revolution - driving pivotal change in Computer Science
• New Directions for Navigation
• Modelling Biochemical Pathways with Stochastic Process Algebra
• “I want to tell you a joke. Are you ready?” – Implementing automated pun generation for children with complex communication needs.
• DNA Microarray Technology at Agilent Technologies: Engineering, Manufacturing and Applications
• Church's Problem on the Synthesis of Nonterminating Programs
• Annual Presentation of Student Projects
• Security and Cooperation in Wireless Networks
• The Lixto Web Data Extraction Project: A Status Report
• Computing for the Future of the Planet
• From Pascal and ML to Perl and VB: Software Engineering in Postmodernity
• Mechanising First-Order Logic: Technology, Decidability and Applications
• Road transport data and their uses
• Verification of fine-grain concurrency: Separation Logic for Floyd assertions in Petri nets.
• New Challenges in Describing Digital Music
• Safety checking in a domain of collaborative applications.
• Automatic termination proofs for software
• Security Applications and Aspects of Meaning-Based Computing
• The Challenges and Thrills of a Young Industry
• All-Optical Networks
• Learning Probabilistic Sequence Models for Uncovering Gene Regulation
• Semantics in broad-coverage natural language processing
• Semantics in broad-coverage natural language processing
• Logics for Unranked Trees: An Overview
• Logics for Unranked Trees: An Overview
• Learning Probabilistic Sequence Models for Uncovering Gene Regulation