Official websites use .gov
A .gov website belongs to an official government organization in the United States.
Secure .gov websites use HTTPS
A lock (
) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.
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
Confirmed Speakers
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
Air Transportation
Airports near Gaithersburg, MD:
- Baltimore-Washington Airport
- Approximately 50 miles from Campus
- Reagan Washington National
- Approximately 29 miles from Campus
- Washington Dulles Airport
- Approximately 33 miles from Campus
Start April 8th at 9:00AM ET
End April 9th at 4:00PM ET
Double Tree by Hilton
620 Perry Pkwy, Gaithersburg, MD 20877
Check in: April 7 Check out: April 10, 2020 book by March 8, 2020.
Rates from $119
*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.