Formal languages | Theoretical computer science conferences

International Conference on Developments in Language Theory

DLT, the International Conference on Developments in Language Theory is an academic conference in the field of computer scienceheld annually under the auspices of the European Association for Theoretical Computer Science. Like most theoretical computer science conferences its contributions are strongly peer-reviewed; the articles appear in proceedings published in Springer Lecture Notes in Computer Science. Extended versions of selected papers of each year's conference appear in international journals, such as Theoretical Computer Science and International Journal of Foundations of Computer Science. (Wikipedia).

Video thumbnail

John Voight :On some families of Jacobians with definite quaternionic multiplication

CONFERENCE Recording during the thematic meeting : « Symposium on Arithmetic Geometry and its Applications» the February 09, 2023 at the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenfent Find this video and other talks given by worldwid

From playlist Algebraic and Complex Geometry

Video thumbnail

Mihai Fulger - Local Volumes

Part of the Worldwide Center of Mathematics lecture seminar series.

From playlist Center of Math Research: the Worldwide Lecture Seminar Series

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

International Centre for Theoretical Sciences - an introduction by Spenta Wadia

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

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

CWM-CoD Joint Panel: Best practices towards a more diverse and inclusive mathematical community

Joint Panel organized by the IMU Committee for Women in Mathematics (CWM) and the IMU Committee on Diversity (CoD) CWM was established in 2015 to discuss issues related to women in mathematics worldwide and has actively worked to promote international contacts between national and region

From playlist IMU Live Events

Video thumbnail

Strengthening Mathematics in the Developing World – ICM2018

IMU Discussion Panels Panel 4 - Strengthening Mathematics in the Developing World Moderator: Angel Pineda Panelists: Wandera Ogana, Marie-Françoise Roy, Yuri Tschinkel, Paolo Piccione, Jose Maria Balmaceda, Nouzha El Yacoubi, Alejandro Jofré © ICM 2018 – International Congress of Math

From playlist IMU Discussion Panels

Video thumbnail

GoGaRuCo 2013 - Why hasn't Ruby won? by Sarah Mei

For every enthusiastic attendee at a Ruby conference, there are a hundred people who have tried Ruby and walked away. There's also at least one person who's hit the top of Hacker News complaining about it. Are missing features or poor performance chasing people off? Is the community too in

From playlist GoGaRuCo 2013

Video thumbnail

GoGaRuCo 2013 - Why hasn't Ruby won? by Sarah Mei

For every enthusiastic attendee at a Ruby conference, there are a hundred people who have tried Ruby and walked away. There's also at least one person who's hit the top of Hacker News complaining about it. Are missing features or poor performance chasing people off? Is the community too in

From playlist GoGaRuCo 2013

Video thumbnail

Wolfram Compiler

To learn more about Wolfram Technology Conference, please visit: https://www.wolfram.com/events/technology-conference/ Speaker: Tom Wickham-Jones 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

SHM 18/10/2019 - Étudier Ulisse Dini : entre mathématiques et vie politique - Bottazzini

Bottazzini (Università degli studi di Milano) / 18.10.2019 Étudier Ulisse Dini : entre mathématiques et vie politique ---------------------------------- Vous pouvez nous rejoindre sur les réseaux sociaux pour suivre nos actualités. Facebook : https://www.facebook.com/InstitutHenri

From playlist Séminaire d'Histoire des Mathématiques

Video thumbnail

Have We Really Found The Theory Of Everything?

Start using AnyDesk, the blazing-fast Remote Desktop Software, today at https://anydesk.com/en/downloads/windows?utm_source=brand&utm_medium=youtube&utm_campaign=hotu&utm_content=yt-sponsoring&utm_term=en -------------------------------------------------- Written by Joseph

From playlist The Entire History of the Universe

Video thumbnail

Math Talk! Dr. Emily Riehl, to infinity categories and beyond.

In this video I have a lovely discussion with Dr. Emily Riehl about math, HoTT, infinity categories, and more! Dr. Riehl's site, with links to publications: https://emilyriehl.github.io/ Dr. Riehl's band, Unstraight: https://unstraightmusic.com/ Spectra: http://lgbtmath.org/

From playlist Math Talk!

Video thumbnail

Rasa Reading Group: Designing Bots for Effective Recommendations

Join Rachael as starts reading the paper "Sorry to Bother You: Designing Bots for Effective Recommendations" by Chris Brown and Chris Parnin. The paper was published at the 2019 IEEE/ACM 1st International Workshop on Bots in Software Engineering (BotSE). Link to paper: https://chbrown13.g

From playlist Rasa Reading Group

Video thumbnail

Diversity of Applied Math - an overview from ICIAM 2011

In July 2011, mathematical scientists from around the world gathered in Vancouver, BC, Canada for the 7th International Congress on Industrial and Applied Mathematics - ICIAM 2011. The Congress took place at the state-of-the-art Vancouver Convention Centre on the waterfront in the heart of

From playlist SIAM Conference Videos

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

Wolfram Technology Conference 2014: Expert Panel

For the latest information, please visit: http://www.wolfram.com Speaker: John Fultz, Roger Germundsson, Tom Wickham-Jones, Arnoud Buzing In this talk, Wolfram's expert panel presents a summary of new Mathematica 10 features and answers audience questions about algorithms and R&D.

From playlist Wolfram Technology Conference 2014

Related pages

Bio-inspired computing | Formal language | European Association for Theoretical Computer Science