Mathematics, Logic and Computation

               A Satellite workshop of ICALP03

               In honour of N.G. de Bruijn's 85th anniversary

                            4-5 July 2003

                      Eindhoven, the Netherlands



N.G. de Bruijn was born on July 9, 1918. He finished school at the age
of 16, studied Mathematics at Leiden University and received his PhD
on modular functions at the Free University of Amsterdam in 1943. De
Bruijn started his professional career as a researcher at the Philips
Research Laboratory in Eindhoven from 1944 to 1946 (during which he
was also assistant professor at the University of Delft), then
occupied a full professorship at the University of Delft from 1946
until 1952 when he moved to a professorship at the University of
Amsterdam. In 1960, N.G. de Bruijn returned to Eindhoven university as
a professor of Mathematics at Eindhoven University of Technology. De
Bruijn's's contributions in the fields of Mathematics and Computer
Science are numerous. His book on advanced asymptotic methods,
North-Holland 1958, was a classic and was subsequently turned into a
book by the famous Dover books series as a result. His work on
combinatorics resulted in influential notions and results of which we
mention the de Bruijn-sequences of 1946 and the de Bruijn-Erdos
theorem of 1948. De Bruijn's famous contributions to mathematics
include his work on generalized function theory, analytic number
theory, optimal control, quasicrystals, the mathematical analysis of
games and much more.  In each area he approached, he shed a new light
and was known for his originality. De Bruijn could rightly assume the
motto "I did it my way" as his own motto. And when it came to
automating Mathematics, he again did it his way and introduced the
highly influential Automath. In the past decade he has been also
working on the theories of the human brain.

Due to the varieties of contributions of de Bruijn, the workshop will
concentrate on the computational aspects of Mathematics.

Invited Speakers

       Peter Aczel (Manchester, UK) 
       Henk Barendregt (Nijmegen, NL) 
       Bob Constable (Cornell, USA) 

Submitting papers

we are soliciting talks based on papers on all aspects of theory and
practice related to the automation, formalisation and computation of
mathematics. Each accepted paper will be allocated half an hour
presentation and will appear in the informal proceedings of the
workshop. Extended versions of the accepted papers at the workshop,
will be fully refereed for consideration in the special issue of an
international journal. Papers on the following non-inclusive list of
topics are welcome:

       lambda calculus, type theory, logic, rewriting 
       theorem proving, automated reasoning, proof checking, 
       verification of proofs and programs 
       computer mathematics, automating mathematics, checking mathematics 

Papers can be up to 15 pages and must describe original work that is
not submitted to another conference or journal. All papers must be in
latex and all submissions must be in postscript or pdf. Accepted
papers will be required in latex at the publishing stage.

Important dates

       9 March: submission deadline of workshop papers. 
       15 April: notification of acceptance for the workshop papers. 
       15 May: revision of accepted paper for inclusion in informal 
		workshop proceedings. 
       4-5 July : workshop dates. 

Send your submissions by email to Professor Fairouz Kamareddine,
email: fairouz@macs.hw.ac.uk

Programme committee

The programme committee for the selection of the papers for the
workshop consists of the following:

       Thierry Coquand (Gothenburgh, Sweden) 
       Herman Geuvers (co-chair) (Nijmegen, NL) 
       Fairouz Kamareddine (co-chair) (Heriot-Watt University, Edinburgh, UK) 
       Jean-Louis Krivine (Paris, France) 
       Rob Nederpelt (Eindhoven University of Technology, NL) 
       Michael Kohlhase (Carnegie Mellon, USA)