BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2022/newsitem/13564/18 ---22-July-2022-5th-Annual-International-Conferenc e-on-Applied-Category-Theory-ACT2022-Glasgow-Scotl and DTSTAMP:20220627T134156 SUMMARY:5th Annual International Conference on App lied Category Theory (ACT2022), Glasgow, Scotland DTSTART;VALUE=DATE:20220718 DTEND;VALUE=DATE:20220722 LOCATION:Glasgow, Scotland DESCRIPTION:Applied category theory is important t o a growing community of researchers who study com puter science, logic, type theory, engineering, ph ysics, biology, chemistry, social science, linguis tics and other subjects using category-theoretic t ools. The background and experience of our members is as varied as the systems being studied. The go al of the Applied Category Theory conference serie s is to bring researchers together, strengthen the applied category theory community, disseminate th e latest results, and facilitate further developme nt of the field. The conference will be fully hyb rid, that is, it will be possible for both the aud ience and presenters to participate remotely over Zoom, if preferred. We accept submissions in Engl ish of original research papers, talks about work accepted/submitted/published elsewhere, and demons trations of relevant software. Accepted original r esearch papers will be published in a proceedings volume. The keynote addresses will be chosen from the accepted papers. The conference will include a n industry showcase event and community meeting. W e particularly encourage people from underrepresen ted groups to submit their work and the organizers are committed to non-discrimination, equity, and inclusion. Submission formats: 1. Extended Abstr acts should be submitted describing the contributi on and providing a basis for determining the topic s and quality of the anticipated presentation (1-2 pages). 2. Conference Papers should present orig inal, high-quality work in the style of a computer science conference paper (up to 14 pages, not cou nting the bibliography; detailed proofs may be inc luded in an appendix for the convenience of the re viewers). 3. Software Demonstrations should be su bmitted in the format of an Extended Abstract (1-2 pages) giving the program committee enough inform ation to assess the content of the demonstration. X-ALT-DESC;FMTTYPE=text/html:
Applied c ategory theory is important to a growing community of researchers who study computer science, logic, type theory, engineering, physics, biology, chemi stry, social science, linguistics and other subjec ts using category-theoretic tools. The background and experience of our members is as varied as the systems being studied. The goal of the Applied Cat egory Theory conference series is to bring researc hers together, strengthen the applied category the ory community, disseminate the latest results, and facilitate further development of the field.
\ nThe conference will be fully hybrid, that is , it will be possible for both the audience and pr esenters to participate remotely over Zoom, if pre ferred.
We accept submissions in English of original research papers, talks abo ut work accepted/submitted/published elsewhere, an d demonstrations of relevant software. Accepted or iginal research papers will be published in a proc eedings volume. The keynote addresses will be chos en from the accepted papers. The conference will i nclude an industry showcase event and community me eting. We particularly encourage people from under represented groups to submit their work and the or ganizers are committed to non-discrimination, equi ty, and inclusion.
\nSubmission formats:\n 1. Extended Abstracts should be submitted de
scribing the contribution and providing a basis fo
r determining the topics and quality of the antici
pated presentation (1-2 pages).
\n 2. Conferen
ce Papers should present original, high-quality wo
rk in the style of a computer science conference p
aper (up to 14 pages, not counting the bibliograph
y; detailed proofs may be included in an appendix
for the convenience of the reviewers).
\n 3. S
oftware Demonstrations should be submitted in the
format of an Extended Abstract (1-2 pages) giving
the program committee enough information to assess
the content of the demonstration.