[Prev][Next][Index][Thread]

Extended Deadline: Workshop on MEchanized Reasoning about Languages with variable bINding (MERLIN 2001)




                     Extended Deadline: Tuesday April 10th 2001 
		            FINAL CALL FOR PAPERS
------------------------------------------------------------------------

                             Workshop on

     MEchanized Reasoning about Languages with variable bINding

                            (MERLIN 2001)

    Siena, Italy, June 18-19, 2001 in connection with IJCAR 2001

                  **********************************
                  * http://www.mcs.le.ac.uk/merlin *
                  **********************************

KEYWORDS

Induction and Coinduction, Logical Frameworks, Mechanization,
Metaprogramming, Operational Semantics, Programming Languages, Theorem
Proving, Variable Binding.


IMPORTANT DATES

+ Friday April 10th     Extended Deadline for paper submission.
+ Friday April 27th     Notification of acceptance by email.
+ Friday May 18th       Deadline for submission of Camera Ready Copy.
+ Workshop dates        June 18-19 2001, exact date to be confirmed.

For further details about the Workshop, including questions concerning
the relevance of submissions, please contact one of

+  Roy L. Crole, email: R.Crole@mcs.le.ac.uk
+  Simon J. Ambler, email: S.Ambler@mcs.le.ac.uk
+  Alberto Momigliano (Local Organizer), email:
A.Momigliano@mcs.le.ac.uk