Theoretical computer science conferences

International Conference on Rewriting Techniques and Applications

Rewriting Techniques and Applications (RTA) is an annual international academic conference on the topic of rewriting. It covers all aspects of rewriting, including termination, equational reasoning, theorem proving, , unification and the lambda calculus. The conference consists of peer-reviewed papers with the proceedings published by Springer in the LNCS series until 2009, and since then in the LIPIcs series published by the Leibniz-Zentrum für Informatik. Several rewriting-related workshops are also affiliated with RTA. The first RTA was held in Dijon, France in September 1983. RTA took part in the federated conferences Federated Logic Conference (FLoC) and . In 2016, RTA merged with the International Conference on Typed Lambda Calculi and Applications to form the International Conference onFormal Structures for Computation and Deduction (FSCD). (Wikipedia).

Video thumbnail

Turing Centennial Conference: From Programs to Systems: Building a Smarter World

From Programs to Systems: Building a Smarter World Presented by Prof. Joseph Sifakis, Turing Award laureate, VERIMAG Laboratory and EPFL Alan M. Turing Centennial Conference - Israel April 4, 2012 The Wohl Centre Bar-Ilan University Ramat-Gan, Israel For more information see: https://sit

From playlist Alan M. Turing Centennial Conference - Israel

Video thumbnail

Wolfram Data Drop and the Raspberry Pi for Education

Bernat Espigule-Pons To learn more about the Wolfram Technologies, visit http://www.wolfram.com The European Wolfram Technology Conference featured both introductory and expert sessions on all major technologies and many applications made possible with Wolfram technology. Learn to achie

From playlist European Wolfram Technology Conference 2015

Video thumbnail

Image Processing Tutorial

Marcus van Almsick To learn more about the Wolfram Technologies, visit http://www.wolfram.com The European Wolfram Technology Conference featured both introductory and expert sessions on all major technologies and many applications made possible with Wolfram technology. Learn to achieve

From playlist European Wolfram Technology Conference 2015

Video thumbnail

Market Analysis of the Portfolio Using Wolfram Mathematica

Maria Bohdalova To learn more about the Wolfram Technologies, visit http://www.wolfram.com The European Wolfram Technology Conference featured both introductory and expert sessions on all major technologies and many applications made possible with Wolfram technology. Learn to achieve in

From playlist European Wolfram Technology Conference 2015

Video thumbnail

Probing the Cosmic Theory of Early&Late Universe Physics by J R Bond

PROGRAM: INTERNATIONAL CONFERENCE ON GRAVITATION AND COSMOLOGY DECEMBER 14-19, 2011 GOA, INDIA ORGANIZERS: Subhabrata Majumdar, B.S. Sathyaprakash, Tejinder Pal Singh and Tarun Souradeep DATE & TIME: 15 December 2011 to 19 December 2011 VENUE: IUCAA, Mobor Beach, Goa International Confer

From playlist International Conference on Gravitation and Cosmology 2011

Video thumbnail

W1. Classical General Relativity, W3. Early Universe, : Dark Energy

PROGRAM: INTERNATIONAL CONFERENCE ON GRAVITATION AND COSMOLOGY DECEMBER 14-19, 2011 GOA, INDIA ORGANIZERS: Subhabrata Majumdar, B.S. Sathyaprakash, Tejinder Pal Singh and Tarun Souradeep DATE & TIME: 15 December 2011 to 19 December 2011 VENUE: IUCAA, Mobor Beach, Goa International Confer

From playlist International Conference on Gravitation and Cosmology 2011

Video thumbnail

RailsConf 2010: Ruby Heroes Awards Ceremony

Ruby Heroes Awards Ceremony

From playlist RailsConf 2010

Video thumbnail

Geographic Computation

For the latest information, please visit: http://www.wolfram.com Speaker: José Martin-Garcia Wolfram developers and colleagues discussed the latest in innovative technologies for cloud computing, interactive deployment, mobile devices, and more.

From playlist Wolfram Technology Conference 2016

Video thumbnail

Hermeneutics and Wolfram Language

To learn more about Wolfram Technology Conference, please visit: https://www.wolfram.com/events/technology-conference/ Speaker: George Woodrow III Wolfram developers and colleagues discussed the latest in innovative technologies for cloud computing, interactive deployment, mobile devices

From playlist Wolfram Technology Conference 2018

Video thumbnail

RailsConf 2022 - Testing legacy code when you dislike tests (and legacy code) by Maeve Revels

Are you supporting legacy code? Would you like to stop? A good testing strategy can transform legacy code into living code that is resilient and easy to evolve. Learn why legacy code is so difficult to maintain and identify where tests can make the most impact. Not just any tests, though!

From playlist RailsConf 2022

Video thumbnail

DEFCON 16: Playing with Web Application Firewalls

Speaker: Wendel Guglielmetti Henrique, Penetration Test Analyst - Intruders Tiger Team Security WAF (Web Application Firewalls) are often called 'Deep Packet Inspection Firewalls' because they look at every request and response within the HTTP/HTTPS/SOAP/XML-RPC/Web Service layers. Some

From playlist DEFCON 16

Video thumbnail

Plenary Lectures by Robert Kirshner, Mihalis Dafermos

PROGRAM: INTERNATIONAL CONFERENCE ON GRAVITATION AND COSMOLOGY DECEMBER 14-19, 2011 GOA, INDIA ORGANIZERS: Subhabrata Majumdar, B.S. Sathyaprakash, Tejinder Pal Singh and Tarun Souradeep DATE & TIME: 15 December 2011 to 19 December 2011 VENUE: IUCAA, Mobor Beach, Goa International Confer

From playlist International Conference on Gravitation and Cosmology 2011

Video thumbnail

LA Rubyconf 2015- Build to Last... by Mike Moore

Build to Last: How to design rails apps to avoid a rewrite in 5 years

From playlist LA Rubyconf 2015

Video thumbnail

Creating tools to cross machines and networks with Viktor Klang (Lightbend)

Join us in person at the O'Reilly Software Architecture Conference to learn the tools, techniques, and leadership skills needed in the evolving discipline of software architecture. Learn more: https://oreil.ly/2NNTQQK Subscribe to O'Reilly on YouTube: http://goo.gl/n3QSYi Follow O'Reilly

From playlist O'Reilly Software Architecture Conference 2018 - New York, New York

Video thumbnail

jQuery Conference 2013 SF Exterminating Common jQuery Bugs by Elijah Manor

jQuery is so easy to use and thankfully abstracts many of the cross-browser concerns we used to labor over years ago. As with any library, however, there are a common set of bugs that tend to crop up as you start and continue to use it more and more. This session aims to help equip develop

From playlist jQuery Conference 2012 - San Francisco

Video thumbnail

jQuery Conference SF 2012 jQuery Foundation Keynote by Richard D. Worth

An overview of the changes to the organization of the jQuery Project. Help us caption & translate this video! http://amara.org/v/FGiA/

From playlist jQuery Conference 2012 - San Francisco

Video thumbnail

DeepSec 2007: The Three Faces of CSRF

Thanks to the DeepSec organisation for making these videos available and let me share the videos on YouTube. Speaker: Martin Johns, University of Hamburg Even though Cross Site Request Forgery (CSRF) vulnerabilities have made it into the OWASP Top 10 [1], this vulnerability class is stil

From playlist DeepSec 2007

Video thumbnail

Help! I Just Inherited 50,000 Lines of Code! What Do I Do — A Practical Guide || James Powell

This talk will cover some practical strategies for dealing with large Python code bases. EVENT: PyData Los Angeles 2018 PERMISSIONS: PyData provided Coding Tech with the permission to republish PyData videos. CREDITS: PyData YouTube channel: https://www.youtube.com/channel/UCOjD18EJY

From playlist Software Development

Video thumbnail

RSA Conference 2010 USA: The Cryptographers Panel 6/6

Clip 6/6 MODERATOR: Ari Juels, Chief Scientist and Director, RSA Laboratories PANELISTS: Whitfield Diffie, Martin Hellman, Ronald Rivest, Adi Shamir, Brian Snow Join the founders of the field for an engaging discussion about the latest advances in cryptography, research areas to wa

From playlist RSA Conference USA 2010

Related pages

Lambda calculus | Rewriting | Termination proof