The focus of this workshop in on fostering the development of tooling and use-cases supporting the applied category theory community. We are particularly interested in bringing together practitioners who are engaged with susceptible domains as well as those involved in the implementation, support, and utilization of software and other tools. There will be a number of talks/demos showcasing existing approaches as well as ample time for discussion
John C. Baez, University of California, Riverside
Arquimedes Canedo, Siemens
Daniel Cicala, New Haven University
James Fairbanks, Georgia Tech Research Institute
Jules Hedges, Max Planck Institute for the Mathematical Sciences
Jelle Herold, Statebox
Evan Patterson, Stanford University
Qunfen Qi, University of Huddersfield
Christian Williams, University of California, Riverside
Ryan Wisnesky, Conexus.ai
Airports near Gaithersburg, MD:
Start April 8th at 9:00AM ET
End April 9th at 4:00PM ET
*Visitor Access Requirement:
For Non-US Citizens: Please have your valid passport for photo identification.
For US Permanent Residents: Please have your green card for photo identification.
For US Citizens: Please have your state-issued driver's license. Regarding Real-ID requirements, all states are in compliance or have an extension through October 2020.
NIST also accepts other forms of federally issued identification in lieu of a state-issued driver's license, such as a valid passport, passport card, DOD's Common Access Card (CAC), Veterans ID, Federal Agency HSPD-12 IDs, Military Dependents ID, Transportation Workers Identification Credential (TWIC), and TSA Trusted Traveler ID.