Skip to main content
U.S. flag

An official website of the United States government

Dot gov

The .gov means it’s official.
Federal government websites often end in .gov or .mil. Before sharing sensitive information, make sure you’re on a federal government site.

Https

The site is secure.
The https:// ensures that you are connecting to the official website and that any information you provide is encrypted and transmitted securely.

Applied Category Theory Workshop (POSTPONED)

Applied Category Theory

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:

 

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

Book now>>>

 

*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. 

Created January 21, 2020, Updated March 11, 2020