Instructions for Authors

Please check the program to see when your presentation is scheduled. You will have a total time of 30 minutes to give your presentation and answer questions from the audience. How rigorously this time limit will be enforced will depend mostly on the session chair for your session, but any session chair who does not rigorously enforce the time limit will be subject to stern looks from the Workshop Chairman.

We will have an LCD projector (or beamer, to those of you who use that name) and laptop computer available for your presentation. If requested, we will also have a traditional overhead projector available. You are welcome to use your own laptop, so long as you ensure, well in advance of your presentation, that it works with the projector.

The following material is retained on the page as a bit of nostalgia.

The final version of your paper must be received by 14 July 2003. Well, that's not quite true. The true hard deadline is 8 a.m. Eastern Daylight Time, 15 July 2003. If your paper has not been deposited on the web site by that time, your paper will not appear in the printed IRIA 2003 proceedings. Please note, that you should also register for the workshop by the deadline date.

Papers should be submitted electronically via this form (was a link to a paper depositing form on shemesh). When you are ready to submit your paper, send e-mail to iria03 at logicteacher dot com and a user name and password will be sent to you. We request that you submit two copies of your paper, one in PDF format, and one in the original format in which you wrote the paper.

Detailed instructions for formatting and submitting your paper are available in the following formats:

• plain text
• PDF
• Word Perfect
• Adobe Framemaker: Version 7.0, Maker Interchange Format
• Word: XP, RTF