The Coq mailing list

[Isabela Dramnesc <idramnesc AT info.uvt.ro>]

---------------------------------------------------------------
Call for Papers Workshops in the Framework of
---------------------------------------------------------------

                       SYNASC 2016

              18th International Symposium on
   Symbolic and Numeric Algorithms for Scientific Computing
         September 24-27, 2016, Timisoara, Romania
               http://synasc.ro/2016/workshops
 
Important dates
---------------
 + Submission of papers: July 25, 2016 (hard deadline)
 + Notification of acceptance: August 15, 2016
 + Registration: September 4, 2016
 + Final paper: September 4, 2016
 + Revised papers for post-proceedings: November, 2016

Workshops
---------

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

* Workshop on Geoinformatics (GeoInfo)
http://synasc.ro/2016/workshops/geoinformatics-2016

* Workshop on HPC for Science and Technology (HPC-ST)
http://synasc.ro/2016/hpc-st-2016

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

* Workshop on Management of resources and services in Cloud and Sky computing (MICAS)
https://amicas.hpc.uvt.ro/micas-workshops/micas-2016

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

The papers for workshops should be submitted through
https://easychair.org/conferences/?conf=synasc2016workshops

* Workshop on Satisfiability Checking and Symbolic Computation (SC²)
http://www.sc-square.org/CSA/workshop1.html

The papers for this workshop should be submitted through https://easychair.org/conferences/?conf=scsquare2016

All papers accepted at workshops will be included in the local electronic proceedings and the best presented papers will be included in the post proceedings published by Conference Publishing Services.

Tutorials and trainings
-----------------------

* Tutorial on Monitoring of Big Data Applications

* Tutorial on HPC Cloud Services

* Tutorial on Preservation of Cultural Heritage and Textual Content Processing

* Training in HPC for Industrial Innovation

Invited Speakers
---------------

Erika Abraham, RWTH Aachen University, Germany
Chris Brown, U.S. Naval Academy
Dan Cristea, Alexandru Ioan Cuza University, Iasi, Romania
Tetsuo Ida, University of Tsukuba, Japan
Sorin Stratulat, University of Lorraine, France

 
Honorary Chairs
---------------
    * Bruno Buchberger, Johannes Kepler University, Austria
    * Stefan Maruster, West University of Timisoara, Romania

Steering Committee
------------------
    * Tetsuo Ida, University of Tsukuba, Japan
    * Tudor Jebelean, Johannes Kepler University, Austria
    * Viorel Negru, West University of Timisoara, Romania
    * Dana Petcu, West University of Timisoara, Romania
    * Stephen Watt, University of Western Ontario, Canada
    * Daniela Zaharie, West University of Timisoara, Romania

General Chairs
-------------
    * Viorel Negru, West University of Timisoara, Romania
    * Dana Petcu, West University of Timisoara, Romania

Program Chairs
-------------
    * James Davenport, University of Bath, UK
    * Daniela Zaharie, West University of Timisoara, Romania
             
Special sessions and workshops chair
------------------------------------
    * Daniel Pop, West University of Timisoara, Romania

Tutorial chair
--------------
    * Florin Fortis, West University of Timisoara, Romania
           
Proceedings Chairs
------------------
    * James Davenport, University of Bath, UK 
    * Daniela Zaharie, West University of Timisoara, Romania
 
Local Committee Chairs
----------------------
    * Isabela Dramnesc, West University of Timisoara, Romania
    * Silviu Panica, Institute e-Austria Timisoara, Romania
    * Monica Tirea, West University of Timisoara, Romania
    * Mihail Gaianu, West University of Timisoara, Romania  

-----------
SYNASC 2016
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
e-mail: synasc16 AT info.uvt.ro