Program

10:30	Besik Dundua, Mario Florido and Temur Kutsia Lambda Calculus with Regular Types ( abstract )
10:50	Paul Tarau n Type Inference, Generation and Normalization of SK-combinator Trees ( abstract )
11:10	Roland Lezuo, Ioan Dragan, Gergö Barany and Andreas Krall vanHelsing: A Fast Theorem Prover for Debuggable Compiler Verification ( abstract )
11:30	Aurelian Radoaca Properties of Multiset Orders by Minimal and Maximal Submultisets ( abstract )

10:30-12:10 Session 4B: MICAS Workshop (I) (Workshops)

Chair:

Dana Petcu

Location: 045C

10:30	Ansar Rafique, Dimitri Van Landuyt and Wouter Joosen Expressive Data Storage Policies for Multi-cloud Storage Configurations ( abstract )
10:50	Massimiliano Rak, Umberto Villano, Valentina Casola and Alessandra De Benedictis SLA-based Secure Cloud Application Development: the SPECS Framework ( abstract )
11:10	Michele Guerriero, Michele Ciavotta, Giovanni Paolo Gibilisco and Danilo Ardagna A Model-Driven DevOps framework for QoS-aware Cloud applications ( abstract )
11:30	Stefan Meyer and John Morrison Supporting heterogeneous pools in a single Ceph storage cluster ( abstract )
11:50	Iuhasz Gabriel and Ioan Dragan An Overview of Monitoring Tools for Big Data and Cloud Applications ( abstract )

12:10-13:30Lunch Break

13:30-14:20 Session 5: Invited Talk: Creative Telescoping via Hermite Reduction - Manuel Kauers (Conference)

Manuel Kauers – Creative Telescoping via Hermite Reduction

Chair:

Tudor Jebelean

Location: A11

13:30

Manuel Kauers

Creative Telescoping via Hermite Reduction ( abstract )

14:20-14:40Coffee Break

14:40-16:20 Session 6A: Numerical Computing (I) (Conference)

Chair:

Manuel Kauers

Location: A11

14:40	Andrew Smith, Cesar Munoz, Anthony Narkawicz and Mantas Markevicius A Rigorous Generic Branch and Bound Solver for Nonlinear Problems ( abstract )
15:00	Marc Nicodème, Flavius Turcu and Charles Dossal Identifiability and noise robustness for l1-analysis regularizations in compressive sensing ( abstract )
15:20	Alexandra Emilia Fortis and Stefan Balint Numerical investigations of equilibriums in a flight with high angle of attack ( abstract )
15:40	Paul Tarau The Arithmetic of Even-Odd Trees ( abstract )
16:00	Ivan Simecek and Daniel Langr Space and execution efficient formats for modern processor architectures ( abstract )

14:40-16:20 Session 6B: MICAS Workshop (II) (Workshops)

Chair:

Massimiliano Rak

Location: 045C

16:20-16:40Coffee Break

16:40-18:00 Session 7A: Numerical Computing (II) (Conference)

Chair:

Stefan Takacs

Location: A11

16:40	Helene Lachambre, Benjamin Ricaud, Guillaume Stempfel, Bruno Torresani, Christoph Wiesmeyr and Darian Onchis OPTIMAL WINDOW AND LATTICE IN GABOR TRANSFORM. APPLICATION TO AUDIO ANALYSIS ( abstract )
17:00	Remus-Daniel Ene, Vasile Marinca and Romeo Negrea THE FLOW IN A VISCOUS FLUID OVER AN UNSTEADY STRETCHING SURFACE ( abstract )
17:20	Kuniyoshi Abe and Seiji Fujino Variant Implementations of SCBiCG Method for Linear Equations with Complex Symmetric Matrices ( abstract )
17:40	Jiri Khun and Ivan Simecek GPU solver for systems of linear equations with infinite precision ( abstract )

16:40-18:00 Session 7B: MICAS Workshop (III) (Workshops)

Chair:

Dana Petcu

Location: 045C

18:30-20:00 Session : Welcome reception (Conference)

Tuesday, September 22nd

View this program: with abstracts session overview talk overview

09:00-10:30 Session 8: Tutorial: Interpolation and Verification - Arie Gurfinkel (Conference)

Arie Gurfinkel. Interpolation and Verification

Chair:

Nikolaj Bjorner

Location: A11

09:00

Arie Gurfinkel

Algorithmic Logic-Based Verification with SeaHorn ( abstract )

10:30-10:50Coffee Break

10:50-12:10 Session 9A: Logic & Programming (II) (Conference)

Chair:

Arie Gurfinkel

Location: A11

10:50	Isabela Dramnesc, Tudor Jebelean and Sorin Stratulat Combinatorial Techniques for Proof--based Synthesis of Sorting Algorithms ( abstract )
11:10	Stefan Andrei, Albert Cheng and Vlad Radulescu An Improved Upper-bound Algorithm for Non-preemptive Task Scheduling ( abstract )
11:30	Violeta Tulceanu A matter of trust: smart home system relying on logic, BCI and sensor agents ( abstract )
11:50	Aurelian Radoaca Simple Venn Diagrams for Finite Multisets ( abstract )

10:50-12:10 Session 9B: IAFP Workshop (I) (Workshops)

Chair:

Stefan Maruster

Location: 045C

10:50	Mihai Monea and Dan Stefan Marinescu Some Hyers-Ulam Stability Results Related To Fixed Point Theorems ( abstract )
11:10	Cristina Filis and Vasile Berinde Coupled fixed point theorems for almost contractive mappings ( abstract )
11:30	Monica Zakany Fixed point theorems for local almost contractions ( abstract )
11:50	Vasile Berinde and Madalina Pacurar Fixed point theorems for almost convex contractive mappings ( abstract )

10:50-12:10 Session 9C: MICAS Workshop (IV) (Workshops)

Chair:

Teodor-Florin Fortis

Location: A01

12:10-13:10Lunch Break

13:10-14:00 Session 10: Invited talk: Getting Personal with Differential Privacy: David Sands (Conference)

David Sands - Getting Personal with Differential Privacy

Chair:

Andrei Voronkov

Location: A11

13:10

David Sands

Getting Personal with Differential Privacy ( abstract )

14:00-14:20Coffee Break

14:20-15:50 Session 11A: Tutorial: Web app security using JSFlow - Daniel Hedin (Conference)

Daniel Hedin - Web app security using JSFlow

Chair:

Dave Sands

Location: A11

14:20

Daniel Hedin

Web application security using JSFlow ( abstract )

14:20-15:50 Session 11B: IAFP Workshop (II) (Workshops)

Chair:

Vasile Berinde

Location: 045C

14:20	Faik Gursoy A comparative study on some recent iterative schemes ( abstract )
14:40	Stefan Maruster Error estimations and convergence properties of Picard and Mann iteration for strongly demicontractive mappings ( abstract )
15:00	Dorel Mihet and Claudia Zaharia Common fixed points and coupled coincidence points in fuzzy metric spaces ( abstract )
15:20	Melània-Iulia Dobrican Fixed point theorems in ordered metric spaces ( abstract )
15:40	Corina Cuceu Fixed point theorems for non-self multi-valued almost contractions ( abstract )

15:50-16:10Coffee Break

16:10-17:10 Session 12A: Artificial Intelligence (I) (Conference)

Chair:

Alexandru-Ciprian Zavoianu

Location: A11

16:10	Elena Ravve, Zeev Volkovich and Gerhard Weber Automatic definition of optimal default parameters of models ( abstract )
16:30	Adriana Horelu, Catalin Leordeanu, Elena Apostol, Dan Huru, Mariana Mocanu and Valentin Cristea Forecasting Techniques for Time Series from Sensor Data ( abstract )
16:50	Todor Ivascu An Energy Efficient Intelligent Wireless Body Area Network for Real-time Vital Signs Monitoring ( abstract )

16:10-17:10 Session 12B: IAFP Workshop (III) (Workshops)

Chair:

Dorel Mihet

Location: 045C

16:10	Luigi Muglia on the role of the coefficients on the convergence of general type iterative algorithms ( abstract )
16:30	Vitorio Colao Iterative algorithms for nonself mappings ( abstract )
16:50	Margareta-Eliza Balazs A Presic-Maia fixed point theorem ( abstract )
17:10	Pop Iulian Improved genetic algorithm based on theorem and fixed point and hJ1 triangulation in Euclidean space ( abstract )

17:30-21:00 Session : Trip and conference dinner (Conference)

Wednesday, September 23rd

View this program: with abstracts session overview talk overview

09:00-09:50 Session 13: Invited talk: Building a Nature-Inspired Computer - Peter Bentley (Conference)

Peter Bentley - Building a Nature-Inspired Computer

Chair:

Daniela Zaharie

Location: A11

09:00

Peter Bentley

Building a Nature-Inspired Computer ( abstract )

09:50-10:10Coffee Break

10:10-12:10 Session 14A: Artificial Intelligence (II) (Conference)

Chair:

Peter Bentley

Location: A11

10:10	Alexandru-Ciprian Zavoianu, Edwin Lughofer, Gerd Bramerdorfer, Wolfgang Amrhein and Susanne Saminger-Platz A Surrogate-Based Strategy for Multi-Objective Tolerance Analysis in Electrical Machine Design ( abstract )
10:30	Călin-Adrian Popa Lie Algebra-Valued Hopfield Neural Networks ( abstract )
10:50	Cristina Vatamanu, Razvan Benchea, Dragos Gavrilut and Henri Luchian Feature creation using genetic programming with application in malware detection ( abstract )
11:10	Nicolae-Eugen Croitoru High Probability Mutation and Error Thresholds in Genetic Algorithms ( abstract )
11:30	Adrian-Stefan Popescu, Dragos Teodor Gavrilut and Dumitru Bogdan Prelipcean A Study on Techniques for Proactively Identifying Malicious URLs ( abstract )
11:50	Monica Tirea and Viorel Negru Stock Market Trading Strategies - Applying Risk and Decision Analysis Models for Detecting Financial Turbulence ( abstract )

10:10-12:10 Session 14B: IAFP Workshop (IV) (Workshops)

Chair:

Claudia Zaharia

Location: 045C

10:10	Natasa Cirovic, Sinisa Jesic and Rale Nikolic A Common Fixed Point Theorem with Generalized Nonlinear Contractive Condition in Menger PM spaces ( abstract )
10:30	Kadri Dogan and Vatan Karakaya A JUNGCK TYPE ITERATITON PROCESS IN CONVEX METRIC SPACES ( abstract )
10:50	Yunus Atalan and Vatan Karakaya Some Common Fixed Point Results for Quasi-contractive Type Operators ( abstract )
11:10	Emirhan Hacıoglu and Vatan Karakaya On the convergence results for the finitely family of the multivalued mappings in CAT(κ)-spaces ( abstract )
11:30	Liviu Octavian Mafteiu-Scai, Irina Maria Terfaloaga and Ioan Bistran Convergence and Fixed Points of Evolutionary Algorithms in Solving Equations Systems ( abstract )
11:50	Liviu Octavian Mafteiu-Scai, Ioan Bistran and Irina Maria Terfaloaga Parallel Solving Systems of Equations – a survey ( abstract )

12:10-13:10Lunch Break

13:10-14:00 Session 15: Invited talk: Dynamic Programming on Tree Decomposition in Practice. Some Lessons Learned - Stefan Woltran (Conference)

Stefan Woltran - Dynamic Programming on Tree Decomposition in Practice. Some Lessons Learned

Chair:

Laura Kovacs

Location: A11

13:10

Stefan Woltran

Dynamic Programming on Tree Decompositions in Practice -- Some Lessons Learned ( abstract )

14:00-14:20Coffee Break

14:20-15:40 Session 16A: Symbolic Computation (I) (Conference)

Chair:

Stephen Watt

Location: A11

14:20	Christoph Koutschan, Helene Ranetbauer, Georg Regensburger and Marie-Therese Wolfram Symbolic Derivation of Mean-Field PDEs from Lattice-Based Models ( abstract )
14:40	Masaru Sanuki, Daiju Inaba and Tateaki Sasaki Computation of GCD of Sparse Multivariate Polynomial by Extended Hensel Construction ( abstract )
15:00	David Jeffrey, German Kalugin and Nick Murdoch Lagrange Inversion and series for Lambert W ( abstract )
15:20	Walid Belkhir, Nicolas Ratier, Duy Duc Nguyen, Bin Yang, Michel Lenzner, Frédéric Zamkostian and Horatiu Cirstea Towards an automatic tool for multi-scale model derivation illustrated with a micro-mirror array ( abstract )

14:20-15:40 Session 16B: NCA Workshop (Workshops)

Chair:

Flavia Micota

Location: 045C

14:20	Catalin Stoean, Ruxandra Stoean, Adrian Sandita, Cristian Mesina, Daniela Ciobanu and Corina Lavinia Gruia Investigation on Parameter Effect for Contour Semi-Automatic Contour Detection in Histopathological Image Processing ( abstract )
14:40	Cristina Bianca Pop, Viorica Rozina Chifu, Ioan Salomie, Cristian Prigoana, Tiberiu Boros and Dorin Moldovan Generating Healthy Menus for Older Adults using a Hybrid Honey Bees Mating Optimization Approach ( abstract )
15:00	George Anescu and Ilie Prisecaru NSC-PSO, a novel PSO variant without speeds and coefficients ( abstract )
15:20	Emil Stefan Chifu, Tiberiu Stefan Letia and Viorica Rozina Chifu Unsupervised Aspect Level Sentiment Analysis Using Self-organizing Maps ( abstract )

15:40-16:00Coffee Break

16:00-17:00 Session 17A: Symbolic Computation (II) and Logic and Programming (III) (Conference)

Chair:

James Davenport

Location: A11

16:00	Silvana Ilie, David Jeffrey, Robert M. Corless and Xinyi Zhang Computation of Stirling numbers and generalizations ( abstract )
16:20	Gabor Kusper and Csaba Biro Solving SAT by an Iterative Version of the Inclusion-Exclusion Principle ( abstract )

16:00-17:00 Session 17B: HPC-E5 Workshop (Workshops)

Chair:

Ralf-Peter Mundani

Location: A01

16:00	Jérôme Frisch and Ralf-Peter Mundani Measuring and Comparing the Scaling Behaviour of a High-Performance CFD Code on Different Supercomputing Infrastructures ( abstract )
16:20	Grigore Lupescu, Emil Slusanschi and Nicolae Tapus Extensions over OpenCL for latency reduction and critical applications ( abstract )

16:00-17:00 Session 17C: ACSys Workshop (I) (Workshops)

Chair:

Viorel Negru

Location: A11

16:00	Andrei Olaru and Adina Magda Florea A Framework for Integrating Heterogeneous Agent Communication Platforms ( abstract )
16:20	Ioana Andra Codreanu, Adina Magda Florea and Irina Mocanu A Proposed Serious Game Architecture to Self-Management HealthCare for Older Adults ( abstract )
16:40	Elena Ravve, Zeev Volkovich and Gerhard Weber Incremental Reasoning on Strongly Distributed Multi-Agent Systems ( abstract )

17:00-17:20Coffee Break

17:20-18:40 Session 18A: Artificial Intelligence (III) (Conference)

Chair:

Daniel Pop

Location: A11

17:20	Ciprian-Octavian Truică, Julien Velcin and Alexandru Boicea Automatic Language Identification for Romance Languages using Stop Words and Diacritics ( abstract )
17:40	Dumitru Bogdan Prelipcean, Adrian-Stefan Popescu and Dragos Teodor Gavrilut Improving malware detection response time with behavior-based statistical analysis techniques ( abstract )
18:00	Andreea Salinca Business reviews classification using sentiment analysis ( abstract )
18:20	Ionel-Alexandru Hosu and Andreea Urzică Comparative Analysis of Existing Architectures for General Game Agents ( abstract )

17:20-18:40 Session 18B: GeoInfo Workshop (Workshops)

Chair:

Cosmin Bonchis

Location: 045C

17:20	Adriana Sarasan and Lucian Dragut Evaluation of geomorphons as a basis for quantifying contextual information ( abstract )
17:40	Andrei Dornik A comparison of pixel-based and geographic object-based image analysis for the classification of soil types ( abstract )
18:00	Marinela Chetan Assessing the potential of segmentation methods applied on digital terrain models as support for soil mapping ( abstract )
18:20	Oană Liviu and Spataru Adrian The impact of using a 4D data assimilation scheme in WRF-ARW Model ( abstract )

Thursday, September 24th

View this program: with abstracts session overview talk overview

09:00-09:50 Session 19: Invited talk: Generalized Inclusion-Exclusion: Reducing complexity by borrowing - Stephen M. Watt (Conference)

Stephen M. Watt – Generalized Inclusion-Exclusion: Reducing complexity by borrowing

Chair:

Tetsuo Ida

Location: A11

09:00

Stephen Watt

Generalized Inclusion-Exclusion: Reducing complexity by borrowing ( abstract )

09:50-10:10Coffee Break

10:10-11:00 Session 20A: Invited talk: EasyChair - Andrei Voronkov (Conference)

Andrei Voronkov – EasyChair

Chair:

Stephen Watt

Location: A11

10:10

Andrei Voronkov

EasyChair ( abstract )

10:10-11:00 Session 20B: Tutorial: HPC (Workshops)

HPC Tutorial

Location: 045C

11:00-11:20Coffee Break

11:20-12:20 Session 21A: Advances in the Theory of Computing (Conference)

Chair:

Gabriel Istrate

Location: A11

11:20	Rozica-Maria Tache and Ioan Tomescu General Sum-Connectivity Index with $\alpha\geq 1$ for Trees and Unicyclic Graphs with $k$ Pendants ( abstract )
11:40	Andrei Alexandru and Gabriel Ciobanu Static Analysis in Finitely Supported Mathematics ( abstract )
12:00	Raivis Bēts On the existence of 1-bounded bi-ideals with the WELLDOC property. ( abstract )

11:20-12:20 Session 21B: Tutorial: HPC (Workshops)

HPC Tutorial

Location: 045C

12:10-13:30Lunch Break

13:20-14:40 Session 22A: Distributed Computing (Conference)

Chair:

Marc-Eduard Frincu

Location: A11

13:20	Gabriel Ciobanu and Eneia Nicolae Todoran Continuation Semantics for Dynamic Hierarchical Systems ( abstract )
13:40	Bogdan-Constantin Irimie and Dana Petcu Scalable and fault tolerant monitoring of security parameters in the cloud ( abstract )
14:00	András Bóta, Miklós Krész and Bogdán Zavalnij Adaptations of the k-means algorithm to community detection in parallel environments ( abstract )
14:20	Lorenzo Capra An Algebraic Petri Nets Emulator ( abstract )

13:20-14:40 Session 22B: ACSys Workshop (II) (Workshops)

Chair:

Costin Bădică

Location: 045C

13:20	Todor Ivascu, Bogdan Manate and Viorel Negru A multi-agent architecture for ontology-based diagnosis of mental disorders ( abstract )
13:40	Alex Becheru, Costin Badica and Mihaita Antonie Complex Network Analysis of a Tourism Content Sharing Network ( abstract )
14:00	George Ganea and Radu Marinescu Modeling Design Flaw Evolution Using Complex Systems ( abstract )
14:20	Monica Tirea and Viorel Negru Text Mining News System - Quantifying Certain Phenomena Effect on the Stock Market Behavior ( abstract )

15:00-15:20 Session 23: Closing (Conference)

Chair:

Viorel Negru

Location: A11