Daniel Amyot

Ah! Tariffs! "Princess Bride" had foreseen that situation...

Context-driven process discovery: enhancing process flow interpretability with contextualized activity hierarchies - Software and Systems Modeling Analyzing business processes is important for organizations aiming to optimize operations and identify inefficiencies. Traditional discovered process models often lack sufficient contextual depth, lim...

#OnlineFirst
Context-driven process discovery: enhancing process flow interpretability with contextualized activity hierarchies
Zahra Ahmadi, Jochen De Weerdt & Estefanía Serral Asensio
doi.org/10.1007/s102...

État palestinien | Assez, c’est assez ! L’ancien chef d’antenne estime que l’engagement de Mark Carney de reconnaître l’existence d’un État palestinien risque de ne jamais être tenu, étant donné les conditions irréalistes que le premier min...

Assez, c’est assez ! : lp.ca/qCiszS?shari...

Interested in legal contract verification and #SmartContract generation? We have two papers on #Symboleo in that special issue of SoSyM!

Yep!

Our paper got published! Nice collaboration with HEC Paris and ATOS. We used our #Symboleo project in that context too!

Baquero, P.M., et al. The compliance gap in data supply chains: contract specification languages and smart contracts as compliance technologies. AI & Law. doi.org/10.1007/s105...

Luigi Logrippo was my MSc/ PhD supervisor in 1992-2001. We had dinner at my place on Friday, with other colleagues. We also have another paper coming out soon in the AI & Law journal!

I feel very lucky to have been collaborating with him for 33 years! Not sure I will offer this to my students :-)

Four weeks ago, I had the privilege to participate to my first Dagstuhl Seminar, in excellent company (yeah, I finally got one of these pictures!). The 22 of us focused on "AUTOBIZ: Pushing the Boundaries of AI-Driven Process Execution and Adaptation" for a week. More on this topic soon... :-)

Image of library book display labeled:

“It's A Warning Not An Instruction Manual.”

Books on display:
• On Tyranny
• Twenty Lessons From
The 21st Century
• 1984
• A Handmaids Tale
• Diary of Anne Frank
• Parable of The Sower
• Fahrenheit 451
• Animal Farm
• Brave New World

~TAiLS of a Bookworm

At the SnT (Univ. Luxemburg) on May 12, I presented our work on the use of the #Symboleo formal language for converting legal contracts to #SmartContracts, and results in using LLMs (of course!) to generate Symboleo specifications from English contracts. Presentation slides: lnkd.in/euUPUk3x

Two more days of ICSE 2025 in Ottawa, and already much preparation done for the next three editions in Rio, Dublin, and Hawaii!

#ICSE 2025 started! @tcltcl.bsky.social

Just add maple syrup on it to compensate...

#OnThisDay - April 12, 1980 - St. John's, NL
"Today is the day it all begins..."
#TerryFox travelled to Outer Cove Beach, collecting two bottles of Atlantic seawater. He planned to keep one as a souvenir and pour the second one in the Pacific Ocean when he arrived home. $900M collected terryfox.org

In 1981, the province of Quebec ruled that women would keep their birth name when getting married. Here is another situation where such law would have been useful elsewhere...

YouTube video by thejuicemedia Honest Government Ad | Canada Election 2025 🍁

A fair description of Canada's upcoming election 😉 youtu.be/wT_n4Khmq0o?...

Good bye Richard Chamberlain. The lead actor in Shōgun and The Thorn Birds just passed earlier today.

Censure dans le milieu universitaire américain | D’abord ils sont venus pour les universitaires S’il y a quelqu’un qui ne manque pas de courage, c’est bien la docteure Joanne Liu. L’ancienne présidente internationale de Médecins sans frontières s’est toujours illustrée autant par son travail hum...

First, they came after the universities...
www.lapresse.ca/actualites/c...

This is the moment when a 30-story skyscraper under construction collapsed in Bangkok, when a 7.7-magnitude earthquake struck central Myanmar hundreds of miles away on Friday. Myanmar’s military government said that 144 people had been killed and 732 injured. Follow live updates. nyti.ms/3QSKjuw

Hotels - ICSE 2025 ICSE, the IEEE/ACM International Conference on Software Engineering, is the premier software engineering conference. It will be held April 27-May 3 2025 in Ottawa. Core conference days will be Wednesd...

Last chance for most #icse2025 hotels 25th March. Many full already. conf.researchr.org/attending/ic... Come to Ottawa to learn about special sessions we have tagged on developing AI systems, quantum SE, SE for security, SE for blockchain and formal methods.

Questionnaire that such Canadian researchers must fill: www.caut.ca/sites/defaul...

There are many scary questions!

Canadian researchers working on projects funded by US agencies have been sent a questionnaire to determine how their work aligns with Trump’s political agenda, e.g., that it does not include a climate or “environmental justice” or DEI component and that it increases American influence globally!

I regret to inform you that software engineering will transition to requirements engineering.

This is ChatGPT's view of #Nowruz celebrated in Ottawa... I think it forgot the snow!

Nowruz Mubarak (and happy spring to all)!

So much for freedom of expression and academic freedom in the "Land of the Free".

Libârté!

Je suis encore dans les nouvelles semble-t-il 🙂

Nouvelle article d'Estelle Côté-Sroka à Radio-Canada: "Prestations de sécurité de la vieillesse : recrutement difficile pour changer le système"
ici.radio-canada.ca/nouvelle/214...

Heritage Minutes: Orphans YouTube video by Historica Canada

When the American ports were closed to the "coffin ships" of Ireland, the port at Quebec welcomed the orphans of the famine.
It is why you see the Irish flag flying proudly to this day in Montreal and Quebec.
It is a bond that built our nation.

www.youtube.com/watch?time_c...

Program - ICSE 2025 ICSE, the IEEE/ACM International Conference on Software Engineering, is the premier software engineering conference. It will be held April 27-May 3 2025 in Ottawa. Core conference days will be Wednesd...

The #icse2025 detailed program is released! The core sessions of the main program can now be browsed here: conf.researchr.org/program/icse... You can filter it by session, room and track. Many, but not all, of the co-located events are now also browsable. More details will be added.

MODELS 2025 - Research Papers - MODELS 2025 About MODELS is the premier conference series for model-based software and systems engineering. Since 1998 MODELS has covered all aspects of modeling, from languages and methods to tools and applicati...

MODELS 2025's foundation and practice track deadline is approaching soon:
Abstract: March 27; Full paper: April 3 (AoE)
conf.researchr.org/track/models...
Looking forward to your submissions! @modelsconf.bsky.social

Nouveau logiciel de prestations vieillesse : un autre Phénix? Des fonctionnaires fédéraux pourraient avoir de la difficulté à exploiter le nouveau logiciel pour le versement des prestations de la sécurité de la vieillesse.

I am in the national news today, commenting on another challenged information system deployment in the Canadian government ($4.4B instead of $1.75B). This is in French but an automatic translation to your favorite language should give you the gist of it...

ici.radio-canada.ca/nouvelle/214...