[TYPES] Future of TLCA

Dan Licata drl at cs.cmu.edu
Wed May 1 10:22:18 EDT 2013

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

tlca-list+subscribe at googlegroups.com

It just took me a few minutes to figure out how to do this,
so I thought I'd share.


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

More information about the Types-list mailing list