Applied Category Theory for industry: tools, methodology and use cases : New ways to integrate models, data and tools!
Dans le cadre de SemWeb.Pro 2020, Yves Keraron et Eswaran Subrahmanian, professeur à l’Université Carnegie Mellon, organisent un atelier en ligne sur le thème « Applied Category Theory for industry: tools, methodology and uses cases » le 27 novembre de 16:30 à 18:30.
Cet atelier aura lieu en anglais et réunira les experts du domaine, mathématiciens, chercheurs, industriels, et fournisseurs de technologies. Ne ratez pas cette occasion unique de découvrir une approche prometteuse de l’application de cette théorie mathématiques aux problèmes de l’ingénierie, de l’intégration des modèles, des donnnées et des applications. L’inscription est obligatoire et ci-dessous.
Engineering of the future is facing challenges. Solid foundations are needed to design information systems able to integrate the content of legacy databases with the best guarantees of sustainability for industrial programs. To overcome these challenges, we propose to explore Category Theory applied to engineering as an adapted and promising approach.
Come to the workshop to discover this new way to integrate models, data and tools! You will have the pleasure and opportunity to ask your questions and interact with advanced mathematicians, technology providers and industrial users who will share their experience and achievements in the field!
The event is free of charge and organized in conjunction with SemWeb.Pro 2020.
Registration to this event is mandatory: here.
Program:
Introduction by Eswaran Subrahmanian, professor at Carnegie Mellon University, US
Short intro to Category Theory and the Semantic Web – Henry Story – Founder of cooperating systems UG
Bio: After developing the BabelFish machine translation service at AltaVista in the 90s, prototyping a number of Hyper Apps using on Linked Data at Sun Microsystems until 2010, developing WebID authentication and working on the Linked Data PlatformW3C standard and implementation in the 2010s which led to theSolid Platform, Henry has been working on a PhD thesis aiming to use Category Theory as a tool to help find formal underpinnings of the Web at the University of Southampton since 2016. Henry Story is the founder of cooperating systems UG.
Categories add algebra to graphs, and the resulting theory is the future of semantic representation – Dr. Spencer Breiner, mathematician, US National Institute for Standards and Technology
Bio: Dr. Spencer Breiner is a mathematician at the US National Institute for Standards and Technology, working in the Software & Systems Division of the Information Technology Lab. His research focuses on applications of category theory to problems in systems modeling and interoperability. Dr. Breiner received his Ph.D. from Carnegie Mellon University in 2013 before joining NIST in 2015 under the National Research Council’s Postdoctoral Research Apprenticeship Program.
I will briefly review some evidence for such a grand claim, and also touch on the reasons why this shift is starting now.
Generic modeling tool extraction based on Category Theory – Dominique Ernadote, Model-Based Systems Engineering expert AIRBUS, France
Bio: Dr Dominique Ernadote is PhD graduated in computer sciences. He spent 13 years first managing the development of a modeling tool for the MEGA company and more specifically dedicated to architecture frameworks such as NAF, DoDAF, and TOGAF. Dominique is currently working for Airbus as MBSE (model-based systems engineering) Senior Expert and supports modeling projects across the Airbus divisions. In 2020, Dominique passed the Habilitation to Conduct Researches (HDR in French) from the University of Paris-Saclay in the MBSE topic.
Category theory for Geometric Product Specification – Prof. Paul Scott, Department of Engineering and Technology, University of Huddersfield, UK
Bio: Professor Paul Scott is a Professor, Department of Engineering and Technology, School of Computing and Engineering and Research Director, Centre for Precision Technologies at University of Huddersfield in UK. He has an honours degree in Mathematics and an MSc in Statistics and also a PhD in Statistics with a thesis entitled Multipivital models with applications to a shape fitting problem under the supervision of Dr Rodney Coleman at Imperial College London.
Paul is also very active in National and International Standardization for Geometrical Product Specification and Verification (GPS). He is a core member of the BSI Committee TDW4 and convenor of one of its sub-committees TDW4/-/9. Paul Scott is also a leading member of ISO Technical Committee TC/213 being a founder member of its strategic group AG1, a founder member of its technical review group AG2, convenor of working group WG15 on Filtration and Extraction and also convenor of advisory group AG12 on Mathematics for Geometrical Product Specification. He was project leader for twenty published ISO standards and is currently working on four new ISO documents.
Statebox- Formally verified Process language –Jelle Herold, founder of Statebox
Bio: Jelle Herold is a Founder of Statebox a Category Theory based process modeling company. Jelle is a creative person interested in many topics – a polymath. He has a BSc in Computer science from University of Utrecht. He has been part of many software ventures before Statebox.
Conexus: Categorical Informatics at Scale – Dr. Ryan Wisnesky, CTO and co-founder of Conexus
Bio: Ryan Wisnesky obtained B.S. and M.S. degrees in mathematics and computer science from Stanford University and a Ph.D. in computer science from Harvard University, where he studied the design and implementation of provably correct software systems. Previously, he was a postdoctoral associate in the MIT department of mathematics, where he developed the CQL query language based on category theory. He currently leads open-source and commercial development of CQL as CTO of Conexus AI. He maintains an active collaboration with the information-integration department of IBM Research, where he contributed to the Clio, Orchid, and HIL projects.
Teaching Domain Experts to Model Categorically: Lessons and Opportunities – Donald Thompson, founder, president, and CTO of MAANA
Bio: Donald Thompson is founder, president, and CTO of Maana, Inc., a software company specializing in cybernetic systems for high-stakes industrial problems. Maana’s « Q » platform is used at some of the world’s largest companies to assist subject matter experts in complex, globally optimized decision-making using a variety of operational models. Prior to founding Maana, Donald spent 15 years at Microsoft, where he started the Knowledge and Reasoning team in Bing/Cortana, was one of the co-inventors of the SQL Server Semantic Engine, served as engineering director in MS Research for Smart Personal Object Technology and in the eXtreme Computing Group, and designed and lead development on MSN’s first internet advertising system. Donald holds over 30 patents and earned his MSc with distinction from Oxford University.