Open PhD Position in Testing and Verification for Stream-Based Processing

The Formal Computer Science Laboratory (LIF) at Université du Québec à Chicoutimi (https://www.uqac.ca) is seeking an outstanding PhD candidate to fill a 3-year funded position on the application of testing and verification for event stream processing and blockchains.

  • Application deadline: March 31st, 2022
  • Starting date: August 31st,

Read more ›



A PhD student from LIF earns a Best Paper Award

We are pleased to announce that Rania Taleb, a PhD candidate under the supervision of LIF members Prs. Raphaël Khoury and Sylvain Hallé, has earned the Best Paper Award of the 9th Conference on Formal Methods in Software Engineering (FormaliSE 2021). The event was co-located with the International Conference on Software Engineering (ICSE),

Read more ›

Tags:

Petit Poucet presented at the Computer Aided Verification conference

Professors Sylvain Hallé and Hugo Tremblay recently published a paper at the Computer Aided Verification (CAV) conference, held virtually in July 2021. The CAV conference is one of the best in the field of software verification.

The article, titled Foundations of Fine-Grained Explainability, defines the mathematical basis of a concept called “explainability”.

Read more ›

Tags:

Open internship position in web quality assurance at Eckinox (2021 edition)

(This internship will take place in French. For more information, please refer to the French version of this post.)

As part of a collaboration with Eckinox, an agency specialized in web, design, video and marketing, the project consists of developing web applications and integrating into the development process an automated tool for testing graphical interfaces.

Read more ›



The Best Reviewer Award for a LIF Professor

Professor Sylvain Hallé has received the 2020 Best Reviewer Award from the Journal of Software and Systems Modeling. This award recognizes his effort as one of the top 1% reviewers of the journal for the year 2020.

The Journal of Software and Systems Modeling,

Read more ›



The Best Paper Award for a LIF Professor

Professor Sylvain Hallé, member of LIF, won the Best Paper Award at the 24th International IEEE EDOC Conference, which was held virtually in Eindhoven, the Netherlands last October.

His article, entitled Explainable Queries over Event Logs, describes a new technique for automatically explaining the result produced by a calculation applied to a sequence of events.

Read more ›

Tags:

Open internship position in web quality assurance at Eckinox

(This internship will take place in French. For more information, please refer to the French version of this post.)

As part of a collaboration with Eckinox, an agency specialized in web, design, video and marketing, the project consists of developing web applications and integrating into the development process an automated tool for testing graphical interfaces.

Read more ›



Three LIF students participate to Women in Data Science

Three doctoral students from LIF, Asma Razgallah, Rania Taleb and Massiva Roudjane, participated in the first edition of the Women in Data Science conference in Saguenay, held on March 2nd, 2020. The event coincides with the annual conference “Global Women in Data Science (WiDS)”

Read more ›



LIF becomes an Inria associate team

LIF researchers have obtained funding under the Inria Associate Team program in France. The Associate Team program aims to create and strengthen research collaborations between Inria components and international research teams.

First, Professors Sylvain Hallé and Raphaël Khoury received funding to start a sustained collaboration with Professor Yliès Falcone of Université Grenoble-Alpes.

Read more ›



Funding for a project in collaboration with Industrial Alliance

Professors Raphaël Khoury and Sylvain Hallé, members of LIF, were awarded a grant from the Natural Sciences and Engineering Research Council (NSERC) for a research project in collaboration with Industrial Alliance.

The project, focused on computer security, aims to develop techniques to detect vulnerabilities in a type of appliance called connected devices.

Read more ›



Top