[TYPES/announce] Algebra, Categories and Logic in Computing (ACLiC) 2023 - Call for applications

[Nima Motamed]

Dear all,

Please see below the advertisement for an upcoming workshop on Algebra,
Categories and Logic in Computing. This is a bilingual Farsi-English
workshop, and is open to any researcher working in the field. In
particular, participants do not need to be fluent in both languages to
attend.

Though not explicitly mentioned in the call, type-theoretic approaches are
a perfect fit for the event.

---


*Algebra, Categories and Logic in Computing*
*کارگاه  جبر، رسته ها و منطق در علوم کامپیوتر*

Algebra, category theory and logic have traditionally played an important
role in our understanding of computing. Recently, there has been a surge in
new ways of understanding how these disciplines can help in tackling
challenges in the theory and applications of computing. Examples are:
combining machine learning and proof-theoretic approaches to natural
language; reasoning about multi-agent systems; developing programming
languages and compositional models; and specifying and analyzing systems
and protocols.

The aim of this workshop is to bring together both leading and upcoming
researchers who use such approaches, with the goal of promoting
collaborations across the different disciplines.

This workshop is the first event in a program aimed at offering
Farsi-speaking mathematicians — as well as any mathematician interested in
building cross-cultural connections — opportunities to build a network and
receive mentoring from leading Farsi-speaking mathematicians. The workshop
will be held in a bilingual Farsi-English setting, and participants do not
need to be fluent in both languages to attend.

*Invited speakers / mentors*: Farhad Arbab
<https://urldefense.com/v3/__https://homepages.cwi.nl/*farhad/__;fg!!IBzWLUs!UCZjTZ5Q_inj1nJVXpD41KnBiRuu2IQwrjWWKAWBMLca62KaAUxUR5ZZUrEyx8lsE2udxS3TdB2Cw29pdCcd8BV8ewl_-G3h$ > (Centrum Wiskunde & Informatica,
Amsterdam), Mehdi Dastani <https://urldefense.com/v3/__https://www.uu.nl/staff/mmdastani__;!!IBzWLUs!UCZjTZ5Q_inj1nJVXpD41KnBiRuu2IQwrjWWKAWBMLca62KaAUxUR5ZZUrEyx8lsE2udxS3TdB2Cw29pdCcd8BV8e46oQarK$ > (Utrecht
University) and Mehrnoosh Sadrzadeh <https://urldefense.com/v3/__https://msadrzadeh.com/__;!!IBzWLUs!UCZjTZ5Q_inj1nJVXpD41KnBiRuu2IQwrjWWKAWBMLca62KaAUxUR5ZZUrEyx8lsE2udxS3TdB2Cw29pdCcd8BV8e3zCZWNG$ > (University
College London).

Funding: expenses will be paid for everyone: bed and board is included, as
well as travel expenses for an average of 300 euros per person.

Deadline for applications: 25 April 2023

Location: St Erme, France

Dates: 20-21 June 2023, with arrival on the 19th and departure on the 22nd.

For more information see https://urldefense.com/v3/__https://www.demos-institute.org/aclic__;!!IBzWLUs!UCZjTZ5Q_inj1nJVXpD41KnBiRuu2IQwrjWWKAWBMLca62KaAUxUR5ZZUrEyx8lsE2udxS3TdB2Cw29pdCcd8BV8ezNHxsTA$ 

جبر، نظریه رسته‌ها و منطق همیشه نقش مهمی را در درک ما از علوم کامپیوتر ایفا
کرده است. اخیراً روشهای جدیدی به وجود آمده اند که می توانند برای درک چگونگی
این رشته ها در مقابله با چالش ها در تئوری و کاربردهای کامپیوتر کمک برسانند.
مثلا: ترکیب یادگیری ماشینی و رویکردهای نظریه برهانی به زبان طبیعی؛ استدلال
در مورد سیستمهای چند عاملی؛ توسعه زبان ها و مدل های ترکیبی برای برنامه
نویسی، مشخص کردن و تجزیه و تحلیل سیستم ها و پروتکل ها.

هدف این کارگاه گرد هم آوردن پژوهشگران مجرب و پژوهشگران نوظهور است که از روش
های جبری، رسته ای و منطقی در علوم کامپیوتر استفاده می کنند، با هدف تقویت
همکاری ها در رشته های مختلف.

برنامه و هدف برگزاری این کارگاه، میسر ساختن امکاناتی است برای ریاضیدانان
فارسی‌زبان و همچنین هر ریاضیدانی که علاقه‌مند به ایجاد ارتباطات متقابل
فرهنگی، ایجاد شبکه و دریافت راهنمایی از ریاضیدانان مجرب فارسی‌زبان باشند.
این کارگاه به صورت دو زبانه فارسی و انگلیسی برگزار می شود و شرکت کنندگان
نیازی به تسلط کامل بر هردو زبان ندارند.

بودجه:  تمام هزینه‌های سفر برای همه پرداخت می‌شود به شمول محل خواب و غذا.
هزینه‌های سفر به‌طور متوسط (300 یورو) برای هر نفر در نظرگرفته شده.

توجه داشته باشید که با وجود پرداخت تمام هزینه ها، پخت و پز بصورت جمعی خواهد
بود، همانطور که در زیر توضیح داده شده است.

مربیان تایید شده :

 فرهاد ارباب <https://urldefense.com/v3/__https://homepages.cwi.nl/*farhad/__;fg!!IBzWLUs!UCZjTZ5Q_inj1nJVXpD41KnBiRuu2IQwrjWWKAWBMLca62KaAUxUR5ZZUrEyx8lsE2udxS3TdB2Cw29pdCcd8BV8ewl_-G3h$ > (CWI, Amsterdam)

مهدی دستانی <https://urldefense.com/v3/__https://www.uu.nl/staff/mmdastani__;!!IBzWLUs!UCZjTZ5Q_inj1nJVXpD41KnBiRuu2IQwrjWWKAWBMLca62KaAUxUR5ZZUrEyx8lsE2udxS3TdB2Cw29pdCcd8BV8e46oQarK$ > (دانشگاه اوترخت،هالند,
Utrecht University)

مهرنوش صدرزاده <https://urldefense.com/v3/__https://msadrzadeh.com/__;!!IBzWLUs!UCZjTZ5Q_inj1nJVXpD41KnBiRuu2IQwrjWWKAWBMLca62KaAUxUR5ZZUrEyx8lsE2udxS3TdB2Cw29pdCcd8BV8e3zCZWNG$ > (کالج دانشگاهی لندن, UCL)

آخرین مهلت درخواست : 25 اپریل 2023

محل: سانت إرمه ،فرانسه


تاریخ: 20-21 ژوئن 2023، با ورود در 19 و حرکت در 22


شما می توانید اطلاعات دقیق تر در مورد کارگاه، از جمله برنامه اولیه را در وب
سایت ما بیابید:


https://urldefense.com/v3/__https://demos-institute.org/aclic-farsi__;!!IBzWLUs!UCZjTZ5Q_inj1nJVXpD41KnBiRuu2IQwrjWWKAWBMLca62KaAUxUR5ZZUrEyx8lsE2udxS3TdB2Cw29pdCcd8BV8e4clDRjb$ 

---

All the best,
Nima Motamed

PhD Candidate in Logic for Multiagent Systems
Utrecht University | Intelligent Systems
nima at motamed.nl | n.motamed at uu.nl
https://urldefense.com/v3/__https://www.motamed.nl/__;!!IBzWLUs!UCZjTZ5Q_inj1nJVXpD41KnBiRuu2IQwrjWWKAWBMLca62KaAUxUR5ZZUrEyx8lsE2udxS3TdB2Cw29pdCcd8BV8exLqCQAA$ 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20230413/6e0b988a/attachment-0001.htm>