3rd Learning Language in Logic Workshop. Co-located with ILP 2001. Strasbourg, France; 8--9 September 2001.
Annual Conference of the European Association for Computer Science Logic. Paris, France; 10--13 September 2001.
Third International Workshop on the ACL2 Theorem Prover and Its Applications. (In conjunction with ETAPS 2002). Grenoble, France; 8--9 April 2002.
Workshop on Theory and Practice of Timed Systems. (A satellite event of ETAPS 2002.) Grenoble, France; 6--7 April 2002.
Describes the efforts of Polish, France and Great Britain in deciphering the Enigma Machine's code from 1932 to 1945. [English, Polish]
Congress Centre, Brest, France; 4--7 September 2000.
Brest, France; 1--5 September 2003.
International Workshop on Coding and Cryptography. Versailles, France; 24--28 March 2003.
International Workshop on Coding and Cryptography. Paris, France; 8--12 January 2001.
Summer School. Institut Fourier, Grenoble, France; 18 June -- 6 July 2001.
CIRM-Luminy, France; 28 June -- 2 July 2004.
Centre International des Rencontres Mathématiques. A conference centre for Mathematics, Theoretical Physics, Scientific Computing and Computer Algebra. Marseille, France.
Showing 941–960 of 2,701 results