Topos Inc

STRUCTURE AND DYNAMICS OF WORKING LANGUAGE

FUNCTORIAL DYNAMICS AND INTERACTION: A COMPUTATIONAL DESIGN ENVIRONMENT

(FY23 YIP) "FUNCTORIAL SEMANTICS AND DIAGRAMMATIC LANGUAGES FOR STATISTICAL THEORIES AND MODELS"

TOPOS WORKSHOP ON POLYNOMIAL FUNCTORS

CONFERENCE: THE ADJOINT SCHOOL: A TRAINING PROGRAM FOR NEW RESEARCHERS IN APPLIED CATEGORY THEORY -THIS AWARD SUPPORTS US-BASED PARTICIPANTS IN THE ADJOINT SCHOOL RESEARCH WEEK, HELD AT THE UNIVERSITY OF STRATHCLYDE, GLASGOW, UK OVER JULY 11?15, 2022. THE ADJOINT SCHOOL 2022 PROVIDES MENTORSHIP AND COMMUNITY FOR EARLY-CAREER RESEARCHERS IN APPLIED CATEGORY THEORY, BRINGING THEM TOGETHER FOR FORTNIGHTLY VIRTUAL COLLABORATION FROM FEBRUARY TO JUNE, AND THEN IN PERSON FOR THE ADJOINT SCHOOL RESEARCH WEEK, FOLLOWED BY THE INTERNATIONAL CONFERENCE ON APPLIED CATEGORY THEORY. HELD ANNUALLY, THE ADJOINT SCHOOL IS A STUDENT-LED, INTERNATIONAL, HANDS-ON RESEARCH TRAINING PROGRAM SERVING 16-20 NEW STUDENTS EACH YEAR, WITH PREVIOUS PARTICIPANTS RETURNING AS TEACHING ASSISTANTS AND ORGANIZERS. ADJOINT SCHOOL PROJECTS CENTER ON USING TECHNIQUES IN CATEGORY THEORY -- A MATHEMATICAL LANGUAGE OF SYSTEMS AND RELATIONSHIPS -- TO SOLVE PRACTICAL PROBLEMS IN SCIENCE AND ENGINEERING, RELEVANT TO BOTH ACADEMIC AND INDUSTRY NEEDS. AT CORE, THE SCHOOL IS DESIGNED AROUND COMMUNITY-BUILDING, REFLECTING THE STRONGLY SOCIAL NATURE OF MATHEMATICS RESEARCH. AS PART OF THIS, THE SCHOOL IS ESPECIALLY COMMITTED TO ADVANCING INCLUSIVITY, ACCESS, AND DIVERSITY IN THE APPLIED CATEGORY THEORY RESEARCH COMMUNITY, AND IN THE MATHEMATICS COMMUNITY MORE BROADLY. IN 2022, THE ADJOINT SCHOOL COMPRISES THE FOLLOWING PROJECTS AND MENTORS: COMPOSITIONAL THERMODYNAMICS (SPENCER BREINER, NATIONAL INSTITUTE OF STANDARDS AND TECHNOLOGIES, USA), FUZZY TYPE THEORY FOR OPINION DYNAMICS (PAIGE NORTH, UNIVERSITY OF PENNSYLVANIA, USA), A COMPOSITIONAL THEORY OF TIMED AND PROBABILISTIC PROCESSES (NICOLETTA SABADINI, UNIVERSITY OF INSUBRIA, ITALY), AND ALGEBRAIC STRUCTURES IN LOGIC AND RELATIONS (FILIPPO BONCHI, UNIVERSITY OF PISA, ITALY). THE PROGRAM COMBINES A FIVE-MONTH VIRTUAL COLLABORATION COMPONENT WITH AN INTENSIVE IN-PERSON WEEK, AND GIVES STUDENTS PRACTICE ACROSS ALL SKILLS OF THE RESEARCH PROCESS, INCLUDING READING AND DISCUSSING PAPERS, INFORMAL PRESENTATIONS AND COLLABORATION, EXPOSITORY BLOG WRITING, CONFERENCE TALKS, WRITING PAPERS, AND, WHERE RELEVANT, PROGRAMMING. FURTHER DETAILS CAN BE FOUND AT HTTP://ADJOINTSCHOOL.COM. THIS AWARD REFLECTS NSF'S STATUTORY MISSION AND HAS BEEN DEEMED WORTHY OF SUPPORT THROUGH EVALUATION USING THE FOUNDATION'S INTELLECTUAL MERIT AND BROADER IMPACTS REVIEW CRITERIA.