A3L Logo

Algorithmic Algebra and Logic 2005
Conference in Honor of the 60th Birthday of Volker Weispfenning

last modified Tue, 22 Mar 2005
Home
Dates
Invited Talks
Contributions
Schedule
Committees
Poster

Registration
Accommodation
Travel Information
Maps of Passau

Proceedings

Topics
Submissions
Author Instructions

FAQ
Contact

Instructions for Authors

Extended Abstract
2-4 pages using our Latex class a3l.cls, which is included in the following archives: Choose your preferred archive format among the two.

Detailed instructions and recommendations on the form of the contribution and the usage of the class can be found in the sample document a3lsample in the archive.

Our class a3l.cls includes a standard Latex style crop.sty, which has changed rather recently. If you encounter problems with this, then download the current version crop.sty.

For converting to Postscript your pictures under Windows as described in the sample document, you might like to download bmeps.exe.

Submit your contribution in PDF format as an email attachment to

.
At this stage, we do not need any Latex source.

Full Paper
JSC guidelines plus the abstract and introcuction of the paper clarify the relation to Volker Weispfenning's work.

Submit your contribution in PDF format as an email attachment to

.
At this stage, we do not need any Latex source.