2015

Program Verification and Specification Inference

Chin Wei Ngan, University of Singapore

• July 7, 2015, 11:00 AM

Cloud Self-organization Based on Coalition Formation and Combinatorial Auctions

Dan C. Marinescu, University of Central Florida, Orlando, USA

• June 9, 2015

Automated Synthesis of Some Algorithms on Finite Sets

Isabela Dramnesc, West University of Timisoara

• May 13, 2015

Stock Market Trading System – Profitable Days and Critical Events Detection

Monica Tirea, West University of Timisoara

• May 6, 2015

First-Order Theorem Proving for Program Analysis and Theory Reasoning

Ioan Dragan, Institute e-Austria

• April 22, 2015

A distributed system for monitoring services and security in the cloud

Bogdan Irimie, West University of Timisoara

• April 1, 2015

Transition between classical and semi-classical regime in an exactly solvable Schrodinger operator with a non C^1 potential

(joint work with Hakim Boumaza)

Olivier Lafitte, University Paris 13

• March 25, 2015

Business Value from Open Systems

Chris Harding, Forum Director at The Open Group, UK

Can sophisticated computing ever help government?

Peter Winstanley, Scottish Government, UK

• March 18, 2015

Partition into heapable sequences, heap tableaux and a multiset extension of Hammersley’s process

Gabriel Istrate, Universitatea de Vest din Timisoara

• March 4, 2015

2014

Frameworks for solving problems by HPC and Cloud computing

Alberto Garcia, Universidad Carlos III de Madrid

• December 3, 2014

Discovery of inversion breakpoints from raw NGS (Next Generation Sequencing) data: A mapping-free and assembly-free approach

Liviu Ciortuz, A.I. Cuza University, Iasi

• November 19, 2014

Minimum Volume Simplex Analysis: A Fast Algorithm for Hyperspectral Unmixing

Alexander Agathos, West University of Timisoara

• October 29, 2014

iCanCloud: a Cloud Computing simulation platform

Gabriel González Castañé, Universidad Carlos III de Madrid

• October 15, 2014

Imbalanced Data Classification

Carmen Terei, University "Aurel Vlaicu" Arad

• May 21, 2014

mOSAIC: PaaS (Platform as a Service) support for multi-clouds

Georgiana Macariu, Institute e-Austria Timisoara

• May 7, 2014

Modeling, simulating and real execution of distributed constraints in NetLogo (DisCSP-Netlogo)

Ionel Muscalagiu, Politehnica University of Timisoara

• April 30, 2014

mOSAIC: IaaS (Infrastructure as a Service) support for multi-clouds

Silviu Panica, West University of Timisoara

• April 9, 2014

Study of the directional solidification process of multicrystalline silicon by numerical methods

Alexandra Popescu, West University of Timisoara

• April 2, 2014

Computational challenges in frames-based signal and image processing

Darian Onchis, West University of Timisoara

• March 26, 2014

Problems with analytic profiles: analysis of the profile and linear perturbation theory: the detonation, the ignition, the heating of plasma by a magnetic field. Relation with the nerve influx

Olivier Lafitte, University Paris 13

• March 19, 2014

Computational Logic and Quantifier Elimination Techniques for (Semi-)automatic Static Analysis and Synthesis of Algorithms (II)

Madalina Erascu, West University of Timisoara

• March 12, 2014

Computational Logic and Quantifier Elimination Techniques for (Semi-)automatic Static Analysis and Synthesis of Algorithms (I)

Madalina Erascu, West University of Timisoara

• March 5, 2014