A special track focusing on symbolic computation and cryptology will take place on December 14th, 2008, just before Inscrypt'08. The goal is to provide a platform for interested researchers to exchange ideas and views, to present research results and progress, and to learn and discuss recent developments and emerging problems on:

(*) the design, modeling, and analysis of cryptographic systems and protocols for which symbolic computation may be used or needed, and (*) the design, implementation, and analysis of algorithms and software tools of symbolic computation that may have potential applications in cryptology.

The special track will consist of a keynote speech and short contributed talks. Note that this event will be open to all attendee of Inscrypt'08. We especially encourage PhD students to participate to this special track. Potential speakers are asked to submit an extended abstract (1/2 pages) before October 31, 2008 to:

Program Committee:

Chair: Jean-Charles Faugere (Jean-Charles.Faugere (at) lip6.fr)