coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] CFP Workshops in conjunction with SYNASC 2015 (with deadline: 25th July)

From: SYNASC 2015 <synasc15 AT synasc.ro>
To: idramnesc <idramnesc AT info.uvt.ro>
Subject: [Coq-Club] CFP Workshops in conjunction with SYNASC 2015 (with deadline: 25th July)
Date: Wed, 22 Jul 2015 15:25:59 +0300 (EEST)

Call for Papers
---------------

Workshops in conjunction with
SYNASC 2015

17th International Symposium on
Symbolic and Numeric Algorithms for Scientific Computing
September 21-24, 2015, Timisoara, Romania
http://synasc.ro/2015

Important Dates
---------------

25 July 2015 : Paper submission (FIRM extended deadline)
01 August 2015 : Notification of acceptance
01 September 2015 : Registration
01 September 2015 : Revised papers according to the reviews
21-24 September 2015 : Symposium
30 November 2015 : Final papers for post-proceedings

* Workshop on Agents for Complex Systems (ACSys)
http://synasc.ro/2015/workshops/acsys-2015

* Workshop on Geoinformatics
http://synasc.ro/2015/workshops/geoinformatics

* Workshop on Iterative Approximation of Fixed Points (IAFP)
http://synasc.ro/2015/workshops/iafp-2015

* Workshop on Natural Computing and Applications (NCA)
http://synasc.ro/2015/workshops/nca-2015

-----------
SYNASC 2015
West University of Timisoara
Department of Computer Science
Bd. V. Parvan 4, 300223 Timisoara, Romania
tel: + (40) 256 592195, +(40) 256 592389
fax: + (40) 256 592316, +(40) 256 592380

[Coq-Club] CFP Workshops in conjunction with SYNASC 2015 (with deadline: 25th July), SYNASC 2015, 07/22/2015