Conference 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 )

12:10-13:30Lunch Break

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

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)

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 )

16:20-16:40Coffee Break

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

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 )

18:30-20:00 Session : Welcome reception

Tuesday, September 22nd

View this program: with abstracts session overview talk overview side by side with other conferences

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

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)

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 )

12:10-13:10Lunch Break

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

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

Daniel Hedin - Web app security using JSFlow

Chair:

Dave Sands

Location: A11

14:20

Daniel Hedin

Web application security using JSFlow ( abstract )

15:50-16:10Coffee Break

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

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 )

17:30-21:00 Session : Trip and conference dinner

Wednesday, September 23rd

View this program: with abstracts session overview talk overview side by side with other conferences

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

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)

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 )

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

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)

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 )

15:40-16:00Coffee Break

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

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 )

17:00-17:20Coffee Break

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

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 )

Thursday, September 24th

View this program: with abstracts session overview talk overview side by side with other conferences

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

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

Andrei Voronkov – EasyChair

Chair:

Stephen Watt

Location: A11

10:10

Andrei Voronkov

EasyChair ( abstract )

11:00-11:20Coffee Break

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

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 )

12:10-13:30Lunch Break

13:20-14:40 Session 22A: Distributed Computing

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 )

15:00-15:20 Session 23: Closing

Chair:

Viorel Negru

Location: A11