ERCIM Working Group Report

Project: Syntax Meets Semantics: Methods, Interactions, and Connections in Substructural logics, SYSMICS, H2020-MSCA-RISE-2015-689176

• Funding: European Marie Sk?odowska-Curie RISE
• Status: Active
• Date: 2016-03-01 to 2019-02-28
• Contribution: 580500
• description:

  Substructural logics are formal reasoning systems that refine classical logic by weakening the structural rules in Gentzen sequent calculus. While classical logic generally formalises the notion of truth, substructural logics allow to handle notions such as resources, vagueness, meaning, and language syntax, motivated by studies in computer science, epistemology, economy, and linguistics. Moreover, from a theoretical point of view, substructural logics provide a refined perspective of classical logic, since the former often exhibit features which are either absent or trivialised in the classical case. Traditionally, substructural logics have been investigated following three main approaches: proof theoretic, algebraic and abstract study. Although some connections among these approaches were observed long ago, in large part these practices developed in independence. As a result, the research directions, tools and motivations for each approach developed in relative isolation. The main objective of this project is to establish a network of collaborations between the experts of these diverse methods to investigate substructural logics in a cohesive fashion, taking into account these three distinct yet complementary points of view. The main momentum for this endeavour is provided by recent surprising results that confirm how deeply algebraic and proof theoretic methods are linked to one another. The proposal gathers leading experts in all these three areas, from all around the word, with the aim of reuniting these traditions and their communities and obtain deep results in all three areas. We are confident that this innovative, combined perspective on substructural logics will have a deep impact on the field and that this project will provide a stable basis of cooperation for a large, international community of algebraists, logicians and theoretical computer scientists, giving fresh impetus to these disciplines to flourish and integrate.

Project: Modeling vague quantifiers in mathematical fuzzy logic, MoVaQ, I1897-N25

• Funding: Austrian Science Fund (FWF) and Czech Science Foundation (GACR)
• Status: Active
• Date: 2015-01-01 to 2017-12-31
• Contribution:
• description:

Project: Predicate graded logics and their applications to computer science, GA17-04630S

• Funding: Czech Science Foundation
• Status: Active
• Date: 2017-01-01 to 2019-12-31
• Contribution: 215000
• description:

Löwenheim-Skolem theorems for non-classical first-order algebraizable logics

• Author: Pilar Dellunde, Àngel García-Cerdaña, Carles Noguera
• year: 2015
• Reference information: Logic Journal of the IGPL, In press
• Type: Journal
• Document (link to the URL): http://www.carlesnoguera.cat/files/2015-DeGarNo.pdf

Implicational (Semilinear) Logics II: additional connectives and characterizations of semilinearity

• Author: Petr Cintula, Carles Noguera
• year: 2015
• Reference information: Archive for Mathematical Logic, in press
• Type: Journal
• Document (link to the URL): http://www.carlesnoguera.cat/files/Implicational2.pdf

A note on natural extensions in abstract algebraic logic

• Author: Petr Cintula, Carles Noguera
• year: 2015
• Reference information: Studia Logica 103 (2015) 815-823
• Type: Journal
• Document (link to the URL): http://www.carlesnoguera.cat/files/NaturalExtensions.pdf

A Henkin-style proof of completeness for first-order algebraizable logics

• Author: Petr Cintula, Carles Noguera
• year: 2015
• Reference information: The Journal of Symbolic Logic 80 (2015) 341-358
• Type: Journal
• Document (link to the URL): http://www.carlesnoguera.cat/files/Cintula-Noguera-2013-HenkinProofAlgLogics.pdf

Paraconsistency properties in degree-preserving fuzzy logics

• Author: Rodolfo Ertola, Francesc Esteva, Tommaso Flaminio, Lluís Godo, Carles Noguera
• year: 2015
• Reference information: Soft Computing - A Fusion of Foundations, Methodologies and Applications 19 (2015) 531-546
• Type: Journal
• Document (link to the URL): http://www.carlesnoguera.cat/files/EEFGN-fuzzy-paraconsistent-final.pdf

Skolemization for substructural logics

• Author: Petr Cintula, Denisa Diaconecsu, George Metcalfe
• year: 2015
• Reference information: Proceedings of LPAR-20, volume 9450 of Lecture Notes in Computer Science, pp. 1–15. Springer, 2015
• Type: Conference-Workshop proceedings
• Document (link to the URL): http://hdl.handle.net/11104/0250157

Representing Strategic Games and Their Equilibria in Many-Valued Logics

• Author: Libor B?hounek, Petr Cintula, Christian Fermüller, and Tomás Kroupa
• year: 2015
• Reference information: To appear in Logic Journal of the IGPL
• Type: Journal
• Document (link to the URL): http://www2.cs.cas.cz/~cintula/web/%20http://arxiv.org/abs/1601.00408

Handbook of Mathematical Fuzzy Logic - volume 3

• Author: Petr Cintula, Christian Fermüller and Carles Noguera (editors)
• year: 2015
• Reference information: Volume 58 of Studies in Logic, Mathematical Logic and Foundations. College Publications, London, 2015
• Type: Other
• Document (link to the URL): http://www.amazon.com/Handbook-Mathematical-Fuzzy-Logic-3/dp/1848901933/ref=sr_1_4?s=books&ie=UTF8&qid=1454926667&sr=1-4

Logics for approximate entailment in ordered universes of discourse

• Author: Francesc Esteva, Lluís Godo, Thomas Vetterlein
• year: 2015
• Reference information: Internationa. Journal of Approximate Reasoning, In Press
• Type: Journal
• Document (link to the URL): http://www.iiia.csic.es/en/publications/logics-approximate-entailment-ordered-universes-discourse

Admissibility via Natural Dualities

• Author: Leonardo Cabrer, George Metcalfe
• year: 2015
• Reference information: Journal of Pure and Applied Algebra 219(9) (2015), 4229-4253
• Type: Journal
• Document (link to the URL): http://boris.unibe.ch/68284/

Exact unification and admissibility

• Author: Leonardo Cabrer, George Metcalfe
• year: 2015
• Reference information: Logical Methods in Computer Science 11 (2015) 1-15
• Type: Journal
• Document (link to the URL): https://sites.google.com/site/leomcabrer/pdf/31.pdf?attredirects=0

Proof Search and Co-NP Completeness for Many-Valued Logics

• Author: Mattia Bongini Agata Ciabattoni and Franco Montagna
• year: 2015
• Reference information: Fuzzy Sets and Systems, in press
• Type: Journal
• Document (link to the URL): http://www.logic.at/staff/agata/fss2015.pdf

Fuzzy Logic

• Author: Petr Cintula, Chris Fermüller, Carles Noguera
• year: 2016
• Reference information: Stanford Encyclopedia of Phylosophy
• Type: Other
• Document (link to the URL): https://plato.stanford.edu/entries/logic-fuzzy/

Generalised states: a multi-sorted algebraic approach to probability

• Author: Tomás Kroupa, Vincenzo Marra
• year: 2017
• Reference information: Soft Computing 21(1): 57-67
• Type: Journal
• Document (link to the URL):

Polyhedral MV-algebras

• Author: Manuela Busaniche, Leonardo Cabrer, Daniele Mundici
• year: 2016
• Reference information: Fuzzy Sets and Systems 292: 150-159
• Type: Journal
• Document (link to the URL):

Estimating large-scale general linear and seemingly unrelated regressions models after deleting observations.

• Author: Hadjiantoni, S., Kontoghiorghes, E.J.
• year: 2016
• Reference information: Statistics and Computing 27 (2), 2017, pp. 349-361.
• Type: Journal
• Document (link to the URL):

Special issue on computational statistics.

• Author: Colubi, A., Gatu, C., Kontoghiorghes, E.J. (Editor)
• year: 2016
• Reference information: Journal of Computer Mathematics, 93 (4), 2016, pp. 627-722.
• Type: Journal
• Document (link to the URL):

Robust groupwise least angle regression.

• Author: Alfons, A., Croux, C., Gelper, S.
• year: 2016
• Reference information: Computational Statistics and Data Analysis 93, 2016, pp. 421-435.
• Type: Journal
• Document (link to the URL):

Data generation processes and statistical management of interval data,

• Author: Blanco-Fernandez, A., Winker, P.
• year: 2016
• Reference information: AStA Advances in Statistical Analysis 100 (4), 2016 pp. 475-494.
• Type: Journal
• Document (link to the URL):

aire category results for exchangeable copulas

• Author: Durante, F., Fernández-Sánchez, J., Trutschnig, W.
• year: 2016
• Reference information: ets and Systems, 284, 2016, 146–151.
• Type: Journal
• Document (link to the URL):

CFE-CMStatistics 2016 Book of Abstracts

• Author: Ana Colubi, Erricos J. Kontoghiorghes and Herman K. Van Dijk
• year: 2016
• Reference information: ISBN 978-9963-2227-1-1 c 2016 - CFE and CMStatistics networks
• Type: Conference-Workshop proceedings
• Document (link to the URL): http://www.cmstatistics.org/CMStatistics2016/docs/BoA%20CFE-CMStatistics%202016.pdf

Predicting Stock Return Volatility: Can We Benefit from Regression Models for Return Intervals?

• Author: ischer, H., Blanco-Fernández, Á., Winker, P.
• year: 2016
• Reference information: Journal of Forecasting 35 (2) 2016, 113-146.
• Type: Journal
• Document (link to the URL):

Robust methods for heteroskedastic regression

• Author: Atkinson, A.C., Riani, M., Torti, F.
• year: 2016
• Reference information: Computational Statistics & Data Analysis 104, 2016, 209-222.
• Type: Journal
• Document (link to the URL):

A Generalized Singular Value Decomposition Strategy for Estimating the Block Recursive Simultaneous Equations Model.

• Author: Cosbuc, M.I., Gatu, C., Colubi, A., Kontoghiorghes, E.J.,
• year: 2016
• Reference information: Computational Economics, 2016, 1-13
• Type: Journal
• Document (link to the URL):

11th ERCIM/EWICS/ARTEMIS Workshop on Dependable Embedded CPS and SoS

• Author: Amund Skavhaug, Erwin Schoitsch
• year: 2016
• Reference information: Springer LNCS 9923
• Type: Conference-Workshop proceedings
• Document (link to the URL): https://doi.org/10.1007/978-3-319-45480-1

An inpainting technique based on regularization to remove bleed-through from ancient documents

• Author: Gerace I., Palumba C., Tonazzini, A.
• year: 2016
• Reference information: IWCIM 2016 - International Workshop on Computational Intelligence for Multimedia Understanding (Reggio Calabria, Italy, 27-28 October 2016). Proceedings, article n. 07801177. IEEE
• Type: Conference-Workshop proceedings
• Document (link to the URL): http://ieeexplore.ieee.org/document/7801177/

Watermarking information layers in multispectral images of cultural heritage objects

• Author: Salerno E
• year: 2016
• Reference information: IWCIM 2016 - International Workshop on Computational Intelligence for Multimedia Understanding (Reggio Calabria, Italy, 27-28 October 2016). Proceedings, article n. 7801176. IEEE
• Type: Conference-Workshop proceedings
• Document (link to the URL): http://ieeexplore.ieee.org/document/7801176/

Joint non-rigid registration and restoration of recto-verso ancient manuscripts

• Author: Savino P., Bedini L., Tonazzini A.
• year: 2016
• Reference information: IWCIM 2016 - International Workshop on Computational Intelligence for Multimedia Understanding (Reggio Calabria, Italy, 27-28 October 2016). Proceedings, article n. 7801180. IEEE
• Type: Conference-Workshop proceedings
• Document (link to the URL): http://ieeexplore.ieee.org/document/7801180/

An HVS-inspired video deinterlacer based on visual saliency

• Author: AGGARWAL U., TROCAN M., COUDOUX F.X.
• year: 2016
• Reference information: Vietnam J. Comput. Sci. 4, 1 (2017) 61-69 (available online september 16, 2016 ; published february 2017) , doi: 10.1007/s40595-016-0081-1
• Type: Journal
• Document (link to the URL): https://link.springer.com/article/10.1007/s40595-016-0081-1

Spectral saliency-based video deinterlacing

• Author: AGGARWAL U., TROCAN M., COUDOUX F.X.
• year: 2016
• Reference information: ICCCI 2016, Halkidiki, Greece, september 28-30, 2016, Session WebSys-1 - Web Systems and Human-Computer Interaction-1, Lecture Notes in Computer Science 9875 (2016) 590-598, ISBN 978-3-319-45242-5 ; e-ISBN 978-3-319-45243-2, doi: 10.1007/978-3-319-45243-2
• Type: Conference-Workshop proceedings
• Document (link to the URL): https://link.springer.com/chapter/10.1007/978-3-319-45243-2_54

ManyVal 2015

• Topic: Modal and first-order many-valued logics
• Type: Conference
• Date: 2015-12-11 to 2015-12-13
• Place: Les Diablerets, Switzerland
• Lecturer: Itaï Ben Yacoov, Marta Bílková, Xavier Caicedo, Petr Cintula, Rafael Peñaloza
• Coverage: ERCIM partially supported the expenses for the accommodation of invited speakers.

Syntax Meets Semantics

• Topic: Substructural logics
• Type: Conference
• Date: 2016-09-05 to 2016-09-09
• Place: Barcelona
• Lecturer: Manuela Busaniche, Josep Maria Font, Alessandra Palmigiano, James Raftery, Kazushige Terui, Constantine Tsinakis, Yde Venema
• Coverage: http://sysmics-16.iiia.csic.es/

Logic, Algebra and Truth Degrees 2016

• Topic: Mathematical Fuzzy Logic, Many-valued logics, Algebraic Logic
• Type: Conference
• Date: 2016-06-28 to 2016-06-30
• Place: Phalaborwa, South Africa
• Lecturer: Leonardo Cabrer, Mai Gehrke, Peter Jipsen, Norbert Preining, Hykel Hosni
• Coverage: http://www.latd2016.co.za/

9th International Conference of the ERCIM WG on Computational and Methodological Statistics (CMStatistics 2016)

• Topic: Computational Statistics
• Type: Conference
• Date: 2016-12-09 to 2016-12-11
• Place: Higher Technical School of Engineering, University of Seville, Spain
• Lecturer: Tilmann Gneiting, HITS gGmbH, Germany. Elvezio Ronchetti, University of Geneva, Switzerland. Jean Jacod, Université Paris 6 Pierre et Marie Curie, France.
• Coverage: The conference took place jointly with the CFE2017 and attracted around to 1500 participants.

10th International Conference on Computational and Financial Econometrics (CFE 2016)

• Topic: computational econometrics
• Type: Conference
• Date: 2016-12-09 to 2016-12-11
• Place: Higher Technical School of Engineering, University of Seville, Spain
• Lecturer: Jean-Marie Dufour, McGill University, Canada. Helmut Lütkepohl, Freie Universitat Belin, Germany. Tilmann Gneiting, HITS gGmbH, Germany.
• Coverage: The conference took place jointly with the CMStatistics2016 and had approximately 1500 participants

2016 CRoNoS Winter Course on Econometrics and Statistics

• Topic: Computational Statistics and econometrics
• Type: Summer school
• Date: 2016-12-06 to 2016-12-08
• Place: La Cartuja Sports Residence, Seville, Spain
• Lecturer: Prof. Mia Hubert, Prof. Peter Rousseeuw and Prof. Stefan Van Aelst, Department of Mathematics, KU Leuven, Belgium. Prof. Elvezio Ronchetti, University of Geneva, Switzerland. Prof. Jean-Marie Dufour, McGill University, Canada.
• Coverage: Approximately 50 PhD students and Early Career Investigators participated.

EMC² Summit at CPS Week

• Topic: Cyber-physical Systems
• Type: Workshop
• Date: 2016-04-11 to 2016-04-11
• Place: Vienna
• Lecturer: Stefano Russo, Werner Weber, Erwin Schoitsch
• Coverage: 17 presentations, 25 participants, dependable, adaptive multi-core CPS Systems

ERCIM/EWICS/ARTEMIS DECSoS Workshop at Safecomp 2016

• Topic: Dependable CPS and SoS
• Type: Workshop
• Date: 2016-09-20 to 2016-09-20
• Place: Trondheim, Norway
• Lecturer: Amund Skavhaug
• Coverage: 14 presentations, safety & cybersecurity co-engineering, automotive, industrial applications, Analysis/test/Simulation.

Euromicro SEAA 2017, TET-CPSoS Session

• Topic: Teaching, education & Training for CPS, Ecosystems
• Type: Conference
• Date: 2016-08-31 to 2016-09-02
• Place: Limassol, Cyprus
• Lecturer: Erwin Schoitsch
• Coverage: 3 presentations, E&T, building sustainable eco systems

12th International Workshop on Security and Trust Management

• Topic: Security and Trust
• Type: Workshop
• Date: 2016-09-26 to 2016-09-27
• Place: Heraklion, Crete, Greece
• Lecturer:
• Coverage:

International Workshop on Computational Intelligence for Multimedia Understanding (IWCIM 2016)

• Topic: Image and Video Understanding - Special track on Understanding Cultural Heritage
• Type: Workshop
• Date: 2016-10-27 to 2016-10-28
• Place: Reggio Calabria
• Lecturer: There were 2 invited lecturers: Marina Bicchieri (ICRCPAL) and Franz Fischnaller (Accademia Albertina di Belle Arti di Torino, Italy & Museum European Mediterranean Civilizations, France).
• Coverage: Group of experts in Image and Video understanding (mainly belonging to the working group) and experts from the cultural heritage domain.

n/a

n/a

n/a

n/a

n/a

n/a

• Issue: 104
• Page: 5
• Title: Activities of the ERCIM Working Group "Embedded Software-Int

• Issue: 108
• Page: 7
• Title: Activities of the ERCIM Working on Dependable Embedded Softw

• Description: Flyer generated and slides for presentation and display at various conferences

n/a

• Issue: 106
• Page:
• Title:

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

• Issue: 104
• Page: 4
• Title: International Workshop on Computational Intelligence for Mul

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a