Ce site est en cours de construction.
Pour plus d'informations vous pouvez consulter les sites de nos anciens laboratoires :
Site du LIF - Site du LSIS


LIS UMR CNRS 7020

LIS UMR 7020

Le LIS Laboratoire d’Informatique et Systèmes est une nouvelle structure issue de la fusion de deux UMR : le Laboratoire d’Informatique Fondamentale de Marseille (LIF) UMR 7279 et le Laboratoire des Sciences de l’Information et des Systèmes (LSIS) UMR 7296. C’est une Unité Mixte de Recherche (UMR) sous tutelles du Centre National de la Recherche Scientifique (CNRS) rattachée à l’Institut des sciences de l'information et de leurs interactions (INS2I), de l’Université d’Aix-Marseille (AMU) et de l’Université de Toulon (UTLN).

Prix : Best Poster Award

Félicitation à Gaël Guibon, Magalie Ochs et Patrice Bellot, tout trois de l'équipe DIMAG pour le prix du meilleur poster intitulé (SONAMA) Emoji Recommendation in Private Instant Messages.

Best software Award & Best Poster Award

Félicitation à nos deux docotrants de l'équipe DIMAG Amal Htait et Gael Guibon qui ont obtenu le « best poster award » et le « best software award » lors de la conférence CICLing à Hanoi.

Prochains évènements

Retour à l'agenda
03 May 2018

Séminaire MOVE : "Costs and Rewards in Priced Timed Automata", Mahsa Shirmohammadi (LIS)

We consider Pareto analysis of reachable states of multi-priced timed automata (MPTA): timed automata equipped with multiple observers that keep track of costs (to be minimised) and rewards (to be maximised) along a computation. Each observer has a constant non-negative derivative which may depend on the location of the MPTA. We study the Pareto Domination Problem, which asks whether it is possible to reach a target location via a run in which the accumulated costs and rewards Pareto dominate a given objective vector. We show that this problem is undecidable in general, but decidable for MPTA with at most three observers. For MPTA whose observers are all costs or all rewards, we show that the Pareto Domination Problem is PSPACE-complete. We also consider an ε-approximate Pareto Domination Problem that is decidable without restricting the number and types of observers. We develop connections between MPTA and Diophantine equations. Undecidability of the Pareto Domination Problem is shown by reduction from Hilbert’s 10th Problem, while decidability for three observers is shown by a translation to a fragment of arithmetic involving quadratic forms.

Tutelles