[TYPES/announce] Call for Participation: FSTTCS 2024 and allied workshops

[Shibashis Guha]

*Apologies for cross-posting*

Call for Participation: FSTTCS 2024
and allied workshops

==========================================

QUICK LINKS:

Website: https://urldefense.com/v3/__https://www.fsttcs.org.in/2024/__;!!IBzWLUs!Rx8eRVashlscPsUzhSRbeKzAyRh2JRJANlPFFE-ANgcYCJVgWD_wEojOzvQcdctV-oOXC1GHZmmGehaEblK7gxo1M2vVR_g3CI2-MW0$ 
Local website: https://urldefense.com/v3/__https://fsttcs.info/__;!!IBzWLUs!Rx8eRVashlscPsUzhSRbeKzAyRh2JRJANlPFFE-ANgcYCJVgWD_wEojOzvQcdctV-oOXC1GHZmmGehaEblK7gxo1M2vVR_g3sXMLy2U$ 

Registration: https://urldefense.com/v3/__https://fsttcs.info/registration/__;!!IBzWLUs!Rx8eRVashlscPsUzhSRbeKzAyRh2JRJANlPFFE-ANgcYCJVgWD_wEojOzvQcdctV-oOXC1GHZmmGehaEblK7gxo1M2vVR_g31aJO_WY$ 
Early-bird registration deadline: 24th November, AoE

Volunteer Program: https://urldefense.com/v3/__https://fsttcs.info/volunteers/__;!!IBzWLUs!Rx8eRVashlscPsUzhSRbeKzAyRh2JRJANlPFFE-ANgcYCJVgWD_wEojOzvQcdctV-oOXC1GHZmmGehaEblK7gxo1M2vVR_g39axi1-Y$ 
Deadline to apply: 20th November, AoE

Social Events: https://urldefense.com/v3/__https://fsttcs.info/social/__;!!IBzWLUs!Rx8eRVashlscPsUzhSRbeKzAyRh2JRJANlPFFE-ANgcYCJVgWD_wEojOzvQcdctV-oOXC1GHZmmGehaEblK7gxo1M2vVR_g3y6B1QG8$ 
Virtual Participation: https://urldefense.com/v3/__https://fsttcs.info/online/__;!!IBzWLUs!Rx8eRVashlscPsUzhSRbeKzAyRh2JRJANlPFFE-ANgcYCJVgWD_wEojOzvQcdctV-oOXC1GHZmmGehaEblK7gxo1M2vVR_g3cpsrpFY$ 

==========================================

WORKSHOPS:

MM: Milestones and Motifs in the Theory of Proofs, Algebraic Computation,
and Lower Bounds
Dates: December 14 – 15, 2024
https://urldefense.com/v3/__https://mmcomplexity.github.io/__;!!IBzWLUs!Rx8eRVashlscPsUzhSRbeKzAyRh2JRJANlPFFE-ANgcYCJVgWD_wEojOzvQcdctV-oOXC1GHZmmGehaEblK7gxo1M2vVR_g3quqlU2g$ 

RHPL: Research Highlights in Programming Languages
Dates: December 16 – 18, 2024
https://urldefense.com/v3/__https://fmindia.cmi.ac.in/rhpl2024/__;!!IBzWLUs!Rx8eRVashlscPsUzhSRbeKzAyRh2JRJANlPFFE-ANgcYCJVgWD_wEojOzvQcdctV-oOXC1GHZmmGehaEblK7gxo1M2vVR_g3asj_1_k$ 

WAGS: Workshop on Automata and Games for Synthesis
Dates: December 19, 2024
https://urldefense.com/v3/__https://sites.google.com/view/fsttcs2024bworkshop__;!!IBzWLUs!Rx8eRVashlscPsUzhSRbeKzAyRh2JRJANlPFFE-ANgcYCJVgWD_wEojOzvQcdctV-oOXC1GHZmmGehaEblK7gxo1M2vVR_g380qbDxc$ 

AMD: Workshop on Algorithmic Mechanism Design
Dates: December 19 – 20, 2024
https://urldefense.com/v3/__http://www.tcs.tifr.res.in/*amd-24__;fg!!IBzWLUs!Rx8eRVashlscPsUzhSRbeKzAyRh2JRJANlPFFE-ANgcYCJVgWD_wEojOzvQcdctV-oOXC1GHZmmGehaEblK7gxo1M2vVR_g3OioEDsg$ 

==========================================


FSTTCS 2024 is the 44th conference on Foundations of Software Technology
and Theoretical Computer Science. It is organised by IARCS, the Indian
Association for Research in Computing Science, in association with ACM
India. It is a forum for presenting original results in foundational
aspects of Computer Science and Software Technology. Within Track B, there
is a focus on soliciting submissions in the areas of Programming Languages
and Practical Verification, in addition to theoretical results.

FSTTCS 2024 will be held in IIT Gandhinagar during December 16–18, 2024.
The conference is being organized as an in-person event.

We also have several exciting workshops lined up! You can register for the
conference and any subset of the workshops, or just for one or more of the
workshops.

We are also on a social media network near you. Please follow us to keep up
with updates:

https://urldefense.com/v3/__https://mathstodon.xyz/@fsttcs__;!!IBzWLUs!Rx8eRVashlscPsUzhSRbeKzAyRh2JRJANlPFFE-ANgcYCJVgWD_wEojOzvQcdctV-oOXC1GHZmmGehaEblK7gxo1M2vVR_g3QVKTyXc$ 
https://urldefense.com/v3/__https://bsky.app/profile/fsttcs.bsky.social__;!!IBzWLUs!Rx8eRVashlscPsUzhSRbeKzAyRh2JRJANlPFFE-ANgcYCJVgWD_wEojOzvQcdctV-oOXC1GHZmmGehaEblK7gxo1M2vVR_g3r0Ejl-A$ 
https://urldefense.com/v3/__https://x.com/fsttcs__;!!IBzWLUs!Rx8eRVashlscPsUzhSRbeKzAyRh2JRJANlPFFE-ANgcYCJVgWD_wEojOzvQcdctV-oOXC1GHZmmGehaEblK7gxo1M2vVR_g335vvNEk$ 
https://urldefense.com/v3/__https://instagram.com/fst.tcs__;!!IBzWLUs!Rx8eRVashlscPsUzhSRbeKzAyRh2JRJANlPFFE-ANgcYCJVgWD_wEojOzvQcdctV-oOXC1GHZmmGehaEblK7gxo1M2vVR_g39gu3fbU$ 

We look forward to welcoming you at IIT Gandhinagar this December!
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20241120/2babf113/attachment.htm>