[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
In case anyone else would like to follow this discussion using a non-gmail address, you can subscribe an email address to the group by sending an email to [email protected] It just took me a few minutes to figure out how to do this, so I thought I'd share. -Dan On May01, Paweł Urzyczyn wrote: > [ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list > ] > > > This message is addressed to everyone interested in the future > of the conference TLCA (Typed Lambda Calculi and Applications). > The bi-annual conference started in 1993 and will have its 11th > edition this June in Eindhoven as part of RDP. After 20 years > it seems reasonable to ask some questions about the future. > In particular there is an emerging discussion on whether TLCA > should merge with RTA or perhaps develop into a new conference > of a broader scope. In order to gain opinions from as large part > of TLCA community as possible, we have created a Google Group: > > https://groups.google.com/forum/#!forum/tlca-list > > We invite everybody who feels part of TLCA community to contribute > to the discussion with their opinions and suggestions. > > Samson Abramsky, Pierre-Louis Curien, > Mariangiola Dezani-Ciancaglini, > Masahito Hasegawa, Luke Ong, > Simona Ronchi Della Rocca, > Paweł Urzyczyn >
