[TYPES/announce] CFP TAASN 2009 at ETAPS (York, 22 March)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Papers TAASN 2009 2nd International Workshop on Theory and Applications of Abstraction, Substitution and Naming http://www.dcs.kcl.ac.uk/staff/maribel/TAASN.html 22nd March 2009, York, UK (part of ETAPS) Mathematical treatments of concrete syntax have always been a central concern in symbolic computation, programming language implementation and computer-aided reasoning. Theories of abstract syntax have proved harder to find, especially those addresssing properties related to substituting structures for variables, delimiting the scope of names, and sharing common substructures. The main purpose of this workshop is to bring together researchers who are applying logic, category theory and set theory to the study of abstract syntax in computer languages, as well as researchers who are building computer systems based on those theories. Papers describing applications in computational logic, program language design, and mechanised theorem proving are particularly welcome. The 2nd International Workshop on Theory and Applications of Abstraction, Substitution and Naming (TAASN 2009) will take place in York, UK, on the 22nd March 2009, as a one-day satellite event of ETAPS 2009. The first workshop in this series took place in Edinburgh in May 2007. Submissions and Publication: Authors are invited to submit a 5 page abstract by the 4th January 2009, in pdf format, via the Easychair website http://www.easychair.org/conferences/?conf=taasn09 After the workshop authors will be invited to submit a full version of their presentation for a special issue of the Journal of Automated Reasoning. Full papers will be refereed according to the journal's high standards. Important Dates: Submission deadline for abstracts: 4 January 2009 Notification: 8 February 2009 Pre-workshop version due: 7 March 2009 Workshop: 22 March 2009 Submission deadline for journal special issue: 1 June 2009 Notification: 1 October 2009 Invited Speaker: Robert Harper (Carnegie Mellon University) Programme Committee: Maribel Fernandez Daniel Friedman Ian Mackie Andrew Pitts Alwen Tiu Christian Urban For more information, please contact Maribel Fernandez: [EMAIL PROTECTED]
[TYPES/announce] CFP TAASN 2009 at ETAPS (York, 22 March)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Papers TAASN 2009 2nd International Workshop on Theory and Applications of Abstraction, Substitution and Naming http://www.dcs.kcl.ac.uk/staff/maribel/TAASN.html 22nd March 2009, York, UK (part of ETAPS) Mathematical treatments of concrete syntax have always been a central concern in symbolic computation, programming language implementation and computer-aided reasoning. Theories of abstract syntax have proved harder to find, especially those addresssing properties related to substituting structures for variables, delimiting the scope of names, and sharing common substructures. The main purpose of this workshop is to bring together researchers who are applying logic, category theory and set theory to the study of abstract syntax in computer languages, as well as researchers who are building computer systems based on those theories. Papers describing applications in computational logic, program language design, and mechanised theorem proving are particularly welcome. The 2nd International Workshop on Theory and Applications of Abstraction, Substitution and Naming (TAASN 2009) will take place in York, UK, on the 22nd March 2009, as a one-day satellite event of ETAPS 2009. The first workshop in this series took place in Edinburgh in May 2007. Submissions and Publication: Authors are invited to submit a 5 page abstract by the 4th January 2009, in pdf format, via the Easychair website http://www.easychair.org/conferences/?conf=taasn09 After the workshop authors will be invited to submit a full version of their presentation for a special issue of the Journal of Automated Reasoning. Full papers will be refereed according to the journal's high standards. Important Dates: Submission deadline for abstracts: 4 January 2009 Notification: 8 February 2009 Pre-workshop version due: 7 March 2009 Workshop: 22 March 2009 Submission deadline for journal special issue: 1 June 2009 Notification: 1 October 2009 Invited Speaker: Robert Harper (Carnegie Mellon University) Programme Committee: Maribel Fernandez Daniel Friedman Ian Mackie Andrew Pitts Alwen Tiu Christian Urban For more information, contact Maribel Fernandez: [EMAIL PROTECTED]