The Coq mailing list

["Flavio L. C. de Moura" <flaviomoura AT unb.br>]

Call for Participation

SCSS 2012

http://www.cedar-forest.org/forest/events/scss2012/call.html

International Symposium on Symbolic Computation in Software Science,

December 15-17 2012

Gammarth, Tunisia

Symbolic computation is the science of computing with symbolic objects (terms, formulae, programs, algebraic objects, geometrical objects, etc). Powerful symbolic algorithms have been developed during the past decades and have played an influential role in theorem proving, automated reasoning, software verification, model checking, rewriting, formalisation of mathematics, network security, Groebner bases, characteristic sets, etc.

The international Symposium on "Symbolic Computation in Software Science" is the fourth in the SCSS workshop series. SCSS 2008 and 2010took place at the Research Institute for Symbolic Computation (RISC), Hagenberg, Austria, and, SCSS 2009 took place in Gammarth, Tunisia. These symposium grew out of internal workshops that bring together researchers from

SCORE (Symbolic Computation Research Group) at the University of Tsukuba, Japan,Theorema Group at the Research Institute for Symbolic Computation, Johannes Kepler University Linz, Austria,SSFG (Software Science Foundation Group) at Kyoto University, Japan, andSup'Com (Higher School of Communication of Tunis) at the University of Carthage, Tunisia.

These workshops have been successful and in this new edition, we would like to extend the range of symbolic computation methods in their applications. 

SOFTWARE DEMO SCSS 2012 will provide an opportunity for developers of software related to symbolic computation, to promote their software systems. SCSS 2012 will have a special session for software systems descriptions where authors can present their projects and demonstrate their software. Submission in this category of software demo should have a link to project pages and ideally a downloadable software.

Invited Speakers

Gerad Huet (France) 
Title: Eilenberg machines revisited as a general paradigm for relational programming. Abstract: click hereKazuhiro Yokoyama (Japan) 
Title: Quantifier Elimination for Solving Real Engineering Problems. Abstract: click here

Registration for Non Residents in Tunisia

Early Registration fee*	Late Registration fee**	Hotel Supplement***
Authors: 350 Euros	Authors: 450 Euros	250 Euros
Academic: 400 Euros	Academic: 500 Euros	250 Euros
Industry: 450 Euros	Industry: 550 Euros	250 Euros

Registration for Residents in Tunisia

Early Registration fee*	Late Registration fee**	Hotel Supplement***
Authors: 700 TND	Authors: 800 TND	500 TND
Visitors: 400 TND	Visitors: 500 TND	500 TND

* Registration includes: Admission to all technical sessions, refreshment breaks, two lunches, one dinner party and one e-copy of the proceedings. The registration fee does not cover the cost of accommodation or transport, which must be borne by the participant. For authors, registration fees are due for each accepted paper. 

** Early registration is open until November 30, 2012. After this date, the late registration fees will be applicable. 

*** This includes accommodation in the symposium's hotel (Five stars hotel at Gammarth) for three nights (check in: December 14, 2012 and check out: December 17, 2012), three breakfasts and two Dinners.

  

Cancellation

• An administration fee of 200 Euros will be deducted from any refund issued.

---

Payment Information and How to Register

Registration for the conference will only be effective once all fees have been paid. Payment should be made by bank transfer to the following account:

• Account Holder: Association Tunisienne de la Securite Numerique (ATSN)
• Bank: La Poste Tunisienne - Bureau Montplaisir
• RIB: 17 001 0000000 776960 24
• IBAN: TN59 1700 1000 0000 7769 6024
• Code BIC/SWIFT: LPTNTNTT

---

Questions

Questions should be sent to Adel BOUHOULA. email: bouhoula AT gmail.com   

Honorary Chairs 
Prof. Nobuhiro Yamada (President of the University of Tsukuba, Japan) 
Prof. Lassaad El Asmi (President of the University of Carthage, Tunisia)

General Chairs 
Prof. Adel Bouhoula (University of Carthage, Tunisia) 
Prof. Tetsuo Ida (University of Tsukuba, Japan)

Programme Chair 
Prof. Fairouz Kamareddine (Heriot-Watt University, Edinburgh, UK)

Local Organisation Chair 
Dr. Mohamed Becha Kaaniche (University of Carthage, Tunisia)

We look forward to seeing you in beautiful Tunisia.