coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] SYNASC 2020 - Final Call for papers - Special sessions and Workshops

From: "SYNASC 2020" <contact AT synasc.ro>
To: coq-club AT inria.fr
Subject: [Coq-Club] SYNASC 2020 - Final Call for papers - Special sessions and Workshops
Date: Sun, 19 Jul 2020 19:47:16 +0300
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=contact=synasc.ro AT turbo-smtp.info; spf=Pass smtp.mailfrom=bounces-6058447293-coq-club=inria.fr AT turbo-smtp.info; spf=None smtp.helo=postmaster AT tbjjbihbhebad.turbo-smtp.net
Domainkey-signature: a=rsa-sha1; q=dns; c=nofws; s=turbo-smtp; d=turbo-smtp.info; h=Received:Received:X-TurboSMTP-Tracking:Sender:Return-Path:MIME-Version:From:Reply-To:To:Subject:Content-Type:Content-Transfer-Encoding:X-Mailer:Date:Message-ID:Feedback-ID; b=omDT3enmaezUpaZ/VG0tp8UP2JlHg4mPBwanL5wB+TVrDvscasIeF1FO6OUpW6 gKGZP/LkmQRdiYdWvjCmIuvxbem45hZSJOotWiK8/sy6PSAei9S4+m3/nNxJkglO AoOBMdciY2aWffPRpa156mGgrn1tePNF7whKUsfw46lzI=;
Feedback-id: 19334907
Ironport-phdr: 9a23:9kcFPRfnsb5WNVmouKiygudZlGMj4u6mDksu8pMizoh2WeGdxcWybR7h7PlgxGXEQZ/co6odzbaP7ea8ACdZucvJmUtBWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYdFRrlKAV6OPn+FJLMgMSrzeCy/IDYbxlViDanbr5+MRS7oR/eu8ULjoduN7o9xxvUqXZUZupawn9lK0iOlBjm/Mew+5Bj8yVUu/0/8sNLTLv3caclQ7FGFToqK2866tHluhnFVguP+2ATUn4KnRpSAgjK9w/1U5HsuSbnrOV92S2aPcrrTbAoXDmp8qlmRAP0hCoBKjU09nzchM5tg6JBuB+hvBNwzY7OYI+LKfRxYqzTc9QUS2RCRctRSzVBD5mgY4YVE+YMPeBVpJT9qVsUqhu+ABGhCO3yxDBKnnH7wbA03vo8Gg3YwAAsAc4CvHrJp9jyKKgSVua1zLXSwjrfc/Nbwiz96YjOch87uvGDQah8cdDWyUQ2EQ7Ok1qfp5D/MTyPyuQNr3aU7/BmVe+3lWIqqA5/riSgy8owlIXHiJ4Zx0zZ+Sh5z4s7KsG0RUp1b9K4HpVetz2WOohyT80iXWxlpTg3x78HtJO1fiUHx5IqzAPRZfyAdoiH+BPjVOCJLDdjhHNlfqiwhw2u/kS60O38UdG430hQoSpektjDqnAN2AbS6sidUPd9+V2h2TmJ2gvO6e9EOVg5mbffJpMl2LI8i5kevEbZEiPrmkj7g7Waelg49uWm8+jqZqvqqoWBO4NphQzyKKcjltKlDek6PAUDWXWQ9/6m273550L5Ra1Hjv0onandt5DXPdgbqbW7Aw9XyYkj6ha/ACym0NsGhnYINk9KdAibj4j0IVHBO/f4Ae6kg1SpjDdr3+rKPrv/DZXRNnTDkbHhcqhh60NE1QY+ydRS64hJBrwCIv//QFL9ud7XAxMjLgC43+jqBM141owEWGKPBqGZMLnVsV+N/u8gOO6MZJITuDnhNfcl/OfigH4llVIdfqSk0pQaZXKmEvliLUiVeGbjgtAYEWsTogU+SPHqh0aaXD5SYXayRaM86SshBIKoF4fOXZytgKGb3CigGZ1af3tGClWQEXfwbYmEWvEMaCyVIsN5iDwLSaChS5M91RGprAL1171nLvPN9iIEsZLjycN66vbIlRAy8Dx0F96S33uMT2FyhGMIRiU50LpxoUxnmR+/1v1zhOUdHthO7dtIVB07PNjS1b9ABsj2Sz7GK9yOTkqvScmOGiA3R8k6hcUJMGhnHND3xCvy+QORKPdPz+bTTtRg+aXaw3H6O+5m2nDPz6JnlV5wEZgHDnGvmqMqr1ubPIXOiUjMz//7J5RZ5zbE8SK49UTLuUhZVABqVqCcAiIDe1HcqpHi41/aCb6oB7N1a1Icm/7HEbNDb5jStXsDRPrnP4+GMX67mWW6BBaCxr6GZYasZ3gH1iKYE00Yi0YV8GrUbVFiVBfkmHrXCXlVLXyqe1nlqLYstG6hREhx1ASWdwtg0bSyqEYY

Content-Type: multipart/alternative;
boundary="----=_NextPart_001_0C7E_4D3E7845.350D7408"
Date: Sun, 19 Jul 2020 19:45:40 +0300
Message-ID: <13256351078592264029763@DESKTOP-88HM3RR>

------=_NextPart_001_0C7E_4D3E7845.350D7408
Content-Type: text/plain; charset="windows-1252"
Content-Transfer-Encoding: quoted-printable

SYNASC 2020 - Final Call for papers - Special sessions and Workshops

------=_NextPart_001_0C7E_4D3E7845.350D7408
Content-Type: text/html; charset="windows-1252"
Content-Transfer-Encoding: quoted-printable

<head> =0A<meta http-equiv=3D"Content-Type" content=3D"text/html; charset=
=3Dwindows-1252"> =0A =0A<meta name=3D"GENERATOR" content=3D"MSHTML 11.00.1=
0570.1001"></head> =0A<body> =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D   =
            &nbsp=
;       Final Call for Papers   =
            &nb=
sp;        SYNASC 2020   &=
nbsp;           22nd Inte=
rnational Symposium on      Symbolic and Numeric Alg=
orithms for Scientific Computing       &nb=
sp;    September 1-4, 2020, Timisoara, Romania  &nbs=
p;             =
<a href=3D"http://synasc.ro/2020";>http://synasc.ro/2020</a> =3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D *** SYNASC 2020 will be organized as an online confer=
ence *** =3D=3D=3D Aim =3D=3D=3D SYNASC aims to stimulate the interac=
tion among multiple communities focusing on defining, optimizing and execut=
ing complex algorithms in several application areas. The focus of the confe=
rence then ranges from symbolic and numeric computation to formal methods a=
pplied to programming, artificial intelligence, distributed computing and c=
omputing theory. The interplay between these areas, in fact, is essential i=
n the current scenario where economy and society demand for the development=
of complex, data intensive, trustable and high performant computational sy=
stems. =3D=3D=3D Important Dates =3D=3D=3D   20 July 2020&nbs=
p;          :  Paper subm=
ission for workshops and special sessions (extended deadline) 10 August =
2020        :  Notification of acce=
ptance 20 August 2020        :  =
Registration and revised papers for pre-proceedings 01-04 September 2020=
  :  Symposium 30 November 2020      =
:  Final papers for post-proceedings =3D=3D=3D Invited Speakers =3D=
=3D=3D Roman Beck, University of Copenhagen, Denmark Tetsuo Ida, Univ=
ersity of Tsukuba, Japan Letizia Jaccheri, Norwegian University of Scien=
ce and Technology, Norway Ioana Leustean, University of Bucharest, Roman=
ia Damian Tamburri, Technical University of Eindhoven, The Netherlands<b=
r>Moshe Vardi, Rice University, USA Stephen Watt, University of Waterloo=
, Canada Gabriela Csurka, NAVER LABS Europe, France=3D=3D=3D Spec=
ial Sessions =3D=3D=3D ACSSA - Advances in Computational, Symbolic and S=
ecure Algorithms for Permissioned and Permissionless Blockchains Special=
Session for PhD students =3D=3D=3D Workshops =3D=3D=3D ACSys - Works=
hop on Agents for Complex Systems BiD - Workshop on Big Data Applicatio=
ns DIPMAI - Workshop on Digital Image Processing for Medical and Automot=
ive Industry  GeoInfo - Workshop on Geoinformatics IAFP - Work=
shop on Iterative Approximation of Fixed Points NCA - Workshop on Natur=
al Computing and Applications   =3D=3D=3D Submissions =3D=3D=3D=
 Submitted research papers must contain original research results not su=
bmitted and not published elsewhere. There are four categories of su=
bmissions:     * Regular papers describing fully complete=
d research results (up to 8 pages in the two-columns paper style). &=
nbsp;   * System descriptions and experimental papers describing =
implementation results of experimental data, with a link to the reporte=
d results (up to 4 pages in the two-columns paper style).  &nbs=
p;  * Work in progress papers, describing ongoing work and/or prelimin=
ary results (up to 4 pages in the two-columns paper style).  &n=
bsp;  * PhD Students papers, describing ongoing work and research chal=
lenges of PhD students (at least 2 and at most 4 pages in the two-colum=
ns paper style).   The papers should be submitted electronically=
through <a href=3D"http://www.easychair.org/conferences/=3Fconf=3Dsyna=
sc2020">http://www.easychair.org/conferences/=3Fconf=3Dsynasc2020</a>. R=
esearch papers that are accepted and presented online at the symposium will=
be collected as post-proceedings published by Conference Publishing Se=
rvice (CPS) (included in IEEE Xplore) and will be submitted for indexin=
g in ISI Web of Science, DBLP, SCOPUS. Extended versions of the sele=
cted papers published in post-proceedings will be considered to be publ=
ished as special issues in international journals (e.g. Mathematics in Comp=
uter Science, Soft Computing Journal, Concurrency and Computation: Practice=
and Experience, Scalable Computing: Practice and Experience etc.) &nbs=
p; =3D=3D=3D Committees =3D=3D=3D Honorary Chair:   &nbs=
p; * Bruno Buchberger, Johannes Kepler University, Austria    =
 Steering Committee:     * Tetsuo Ida, University of T=
sukuba, Japan     * Tudor Jebelean, Johannes Kepler Unive=
rsity, Austria     * Laura Kovacs, Technical University o=
f Vienna, Austria     * Viorel Negru, West University of =
Timisoara, Romania     * Dana Petcu, West University of T=
imisoara, Romania     * Stephen Watt, University of Weste=
rn Ontario, Canada     * Daniela Zaharie, West University=
of Timisoara, Romania General Chairs:     * Viorel Ne=
gru, West University of Timisoara, Romania     * Dana Pet=
cu, West University of Timisoara, Romania Program Chairs:  &nbsp=
;  * Elisabetta Di Nitto, Politecnico di Milano, Italy   =
  * Daniela Zaharie, West University of Timisoara, Romania Track Ch=
airs:     * Symbolic Computation    &nb=
sp;    + James Davenport, University of Bath, UK  &n=
bsp;      + Stephen Watt, University of Waterloo, =
Canada     * Numerical Computing    &nb=
sp;    + Stephen Takacs, Johannes Kepler University Linz, Au=
stria         + Eva Kaslik, West Univ=
ersity of Timisoara, Romania     * Logic and Programming<=
br>        + Nikolaj Bjorner, Microsoft =
Research, USA         + Laura Kovacs,=
Technical University of Vienna, Austria      &=
nbsp;      * Artificial Intelligence  &nbsp=
;      + Andrei Petrovski, Robert Gordon Universit=
y, UK         + Daniela Zaharie, West=
University of Timisoara, Romania       * Distrib=
uted Computing         + Marc Frincu,=
West University of Timisoara, Romania      &nb=
sp;      * Advances in the Theory of Computing &=
nbsp;       + Mircea Marin, West University o=
f Timisoara, Romania         + Gabrie=
l Istrate, Institute e-Austria Timisoara, Romania    &nbs=
p;          Special Sessio=
ns and Workshops Chair:     * Daniel Pop, West University=
of Timisoara, Romania Tutorial Chair:     * Florin Fo=
rtis, West University of Timisoara, Romania     &nbs=
p;       Proceedings Chairs:  &nb=
sp;  * Elisabetta di Nitto, Politecnico di Milano, Italy  &nbs=
p;  * Daniela Zaharie, West University of Timisoara, Romania  =
 Organizing Commitee Chairs:     * Monica Sancira, We=
st University of Timisoara, Romania     * Isabela Dramnes=
c, West University of Timisoara, Romania Publicity Chairs:  &nbs=
p;     * Silviu Panica, Institute e-Austria Timisoara, R=
omania     * Sebastian Stefaniga, West University of Timi=
soara, Romania Technical Committee:     * Theo=
dor Grumeza, West University of Timisoara, Romania     * =
David Perta, West University of Timisoara, Romania    ----=
------- SYNASC 2020 West University of Timisoara Department of Com=
puter Science Bd. V. Parvan 4, 300223 Timisoara, Romania tel: + (40) =
256 592195, +(40) 256 592389 fax: + (40) 256 592316, +(40) 256 592380<br=
>e-mail: <a href=3D"mailto:contact AT synasc.ro";>contact AT synasc.ro</a>=
=0A </body>
------=_NextPart_001_0C7E_4D3E7845.350D7408--

[Coq-Club] SYNASC 2020 - Final Call for papers - Special sessions and Workshops, SYNASC 2020, 07/19/2020