Blog Archives

Web à Québec : vitrine sur le Laboratoire d’informatique formelle de l’UQAC et son logiciel Cornipickle

Le plus grand événement numérique francophone en Amérique du Nord – Web à Québec – était proposé du 10 au 12 avril derniers dans la vieille capitale. Quelque 1 500 participants se sont donné rendez-vous lors de cette 8e édition, à laquelle le responsable du Laboratoire d’informatique formelle (LIF) de l’UQAC,

Read more ›



Cornipickle presented at WAQ 2018

The largest French-speaking digital event in North America – Web à Québec – was presented from April 10 to 12 in Quebec City, Canada. Some 1,500 participants gathered at this 8th edition, where the head of UQAC’s formal computer lab (LIF), Sylvain Hallé, also took part as a speaker.

Read more ›



Quentin Betti se mérite une bourse FRQNT

Le Fonds de recherche Québec — Nature et Technologies (FRQNT) a décerné une bourse à Quentin Betti, étudiant de doctorat au LIF. Cette bourse du programme de stages internationaux permettra à Quentin de passer six mois au Georgia Institute of Technology sous la direction du professeur Benoît Montreuil,

Read more ›



Quentin Betti earns an FRQNT scholarship

The Fonds de recherche Québec — Nature et Technologies (FRQNT) has awarded a scholarship to Quentin Betti, currently a PhD student at LIF. This scholarship, from the International Internships Program, will allow Quentin to spend six months at the Georgia Institute of Technology under the supervision of Pr.

Read more ›



Francis Guérin termine son mémoire de maîtrise

Francis Guérin, étudiant à la maîtrise sous la direction du professeur Sylvain Hallé, a déposé avec succès la version finale de son mémoire de maîtrise. Le projet de Francis impliquait le développement d’applications du logiciel Cornipickle, lequel permet de détecter automatiquement des bugs en tous genres dans les interfaces graphiques des sites web.

Read more ›



Francis Guérin completes his Master’s Degree

Francis Guérin, an M.Sc. student under the supervision of Pr. Sylvain Hallé, has just submitted the final version of his Master’s thesis. Francis’ project involved the development of applications of the Cornipickle system, which can detect various kinds of bugs in the graphical user interface of web sites.

Read more ›



Deux nouveaux articles pour des chercheurs du LIF

Les professeurs Sylvain Hallé et Raphaël Khoury, tous deux membres du LIF, ontrécemment appris que deux de leurs articles avaient été acceptés pour publication au ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), qui se tiendra à Santa Barbara en Californie en juillet prochain.

Read more ›



Two new research papers for LIF researchers

Professors Sylvain Hallé and Raphaël Khoury, both members of LIF, have just learned that two of their research papers have been accepted for presentation at the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), to be held in Santa Barbara, CA, next July.

Read more ›



Nouveau rapport technique sur BeepBeep

Le professeur Sylvain Hallé vient de rendre public un rapport technique résumant les travaux menés au LIF dans le domaine du Complex Event Processing.

Plusieurs problèmes en informatique peuvent être vus comme le calcul de requêtes sur des séquences (aussi appelés “flux”) d’éléments de données que l’on appelle des événements.

Read more ›



New technical report on BeepBeep

Professor Sylvain Hallé has just published a detailed technical report summarizing the works done at LIF on the field of Complex Event Processing.

Many problems in Computer Science can be framed as the computation of queries over sequences, or “streams” of data units called events.

Read more ›



Top