ICALP '97 24th International Colloquium on Automata, Languages, and Programming Bologna, Italy, July 7-11, 1997 CALL FOR PAPERS The 24th annual meeting of the European Association for Theoretical Computer Science will take place in Bologna, Italy. ICALP'97 comes in conjunction with the 25th anniversary of EATCS foundation. To celebrate the silver jubileee, this edition of ICALP will be organized differently, and accomodates some further events. * Celebration of EATCS and of its founders. * Invited Lectures covering, also from a historical perspective, the major advances in theoretical computer science since EATCS has been established. R. Milner (Cambridge) M. Rabin (Jerusalem and Harvard) C. Papadimitriou (Berkeley) D. Scott (Pittsburgh) * Invited Lectures on the state of the art and new promising trends. K.R. Apt (Amsterdam) K. Melhorn (Saarbrucken) R.J. Lipton (Princeton) D. Perrin (Paris) * A panel on Theoretical Computer Science, Industrial Involvement and EU policy of Research Funding. The silver jubilee is also an occasion to re-shape the general format of the conference and make it closer to The Journal of Theoretical Computer Science. The programme committee reflects the main areas of the field, in the spirit of the tracks A and B into which the Journal is divided. Therefore, if there will be enough good papers, we plan to organize parallel sessions in afternoons, leaving mornings for plenary sessions on the special events mentioned above. Finally, meetings, working sessions, system demonstrations, panels, etc. are solicited, and will be hosted as satellite events before/after the Conference. Contact the Chairmen for more details. ---------------------------------------------------------------------------- Submissions Papers presenting original contributions in any area of theoretical computer science are being sought. Topics include (but are not limited to): computability, automata, formal languages, new computing paradigms, term rewriting, analysis and desing of algorithms, computational geometry, computational complexity, symbolic and algebraic computation, cryptography, data types and data structures, theory of data base and knowledge bases, semantics of programming languages, program specification and verification, foundations of logic programming, parallel and distributed computation, theory of concurrency, theory of robotics, theory of logical design and layout. Authors are invited to submit seven copies of an extended abstract not exceeding twelve pages by January 15th, 1997 to: Prof. Pierpaolo Degano -- ICALP'97 Dipartimento di Informatica Università di Pisa I-56125 Pisa, Italy email: degano@di.unipi.it Electronic submission of papers is solicited to the address: icalp97@cs.unibo.it. Simultaneous submissions of papers to any other conference with published proceedings are not allowed. Authors from countries where access to copying machines is difficult may submit a single copy of their abstract. ---------------------------------------------------------------------------- Important Dates Deadline for submission: January 15th, 1997 (Note the new deadline) Notification of acceptance:March 15th, 1997 Final manuscript: April 15th, 1997 Conference: July 7th -- 11th, 1997 ---------------------------------------------------------------------------- Program Committe P. Degano, Pisa (Co-Chair) M. Cosnard, Lyon W. Drabent, Warsaw J. Diaz, Barcelona R. Gorrieri, Bologna (O.C. Chair)A. Fiat, Tel Aviv G. Gottlob, Wien J. van Leeuwen, Utrecht J.W. Klop, Amsterdam A. Marchetti-Spaccamela, Roma (Co-Chair) T. Maibaum, London B. Monien, Paderborn J. Meseguer, Menlo Park T. Nishizeki, Sendai F. Nielson, Aarhus J.E. Pin, Paris A. Pnueli, Rehovot B. Rovan, Bratislava P.S. Thiagarajan, Madras R. Tamassia, Providence P. Wegner, Providence E. Ukkonen, Helsinki ---------------------------------------------------------------------------- Further Information The final program will be sent to all those who have submitted a paper and to all EATCS members. To add your name to the mailing list or to obtain further information, please contact the Organizing Committe Chairman: Roberto Gorrieri Dept. of Computer Science, University of Bologna I-40127 Bologna, Italy email:icalp97@cs.unibo.it ----------------------------------------------------------------------------