Author | Lightnews

Daniel Amyot @danielamyot.bsky.social · 1d

The #RequirementsEngineering Journal is now on LinkedIn!

Follow the page below to receive new articles, calls for papers, information for potential submitters, and more.

www.linkedin.com/company/reen...

1

Daniel Amyot @danielamyot.bsky.social · Sep 3

The Requirements Engineering conference is about to start in Valencia, after two days of great workshops. This is my favorite community and event!

1

Daniel Amyot @danielamyot.bsky.social · Aug 8

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

3

Reposted by Daniel Amyot

SoSyM @sosym.org · Aug 4

#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...

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...

doi.org

1 1

Daniel Amyot @danielamyot.bsky.social · Aug 4

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

É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...

lp.ca

1 4

Daniel Amyot @danielamyot.bsky.social · Jul 29

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

SoSyM @sosym.org · Jul 28

#SoSyM-Issue 2025/04 has been published: link.springer.com/journal/1027...

1 2

Daniel Amyot @danielamyot.bsky.social · Jul 14

Yep!

Lady Liberty @sadworld.bsky.social · Jul 14

2

Daniel Amyot @danielamyot.bsky.social · Jul 10

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...

3

Daniel Amyot @danielamyot.bsky.social · Jun 8

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 :-)

1 9

Daniel Amyot @danielamyot.bsky.social · Jun 6

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... :-)

7

Reposted by Daniel Amyot

tamrakat @tamrakat.bsky.social · May 13

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

430 6.1K 26K

Daniel Amyot @danielamyot.bsky.social · May 14

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

4

Daniel Amyot @danielamyot.bsky.social · May 2

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

1 4

Daniel Amyot @danielamyot.bsky.social · Apr 30

#ICSE 2025 started! @tcltcl.bsky.social

2

Daniel Amyot @danielamyot.bsky.social · Apr 26

Just add maple syrup on it to compensate...

1

Daniel Amyot @danielamyot.bsky.social · Apr 12

#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

2

Daniel Amyot @danielamyot.bsky.social · Apr 10

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...

Hillary Rodham Clinton @hillaryclinton.bsky.social · Apr 9

Are you a woman who changed your name when you got married?

Congress is considering a bill that could make it much harder for you to vote.

Call your rep—this is not a drill. indivisible.org/resource/cal...

Graphic: As many as 69 million American women lack access to valid birth certificates

2

Daniel Amyot @danielamyot.bsky.social · Mar 31

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

Honest Government Ad | Canada Election 2025 🍁

YouTube video by thejuicemedia

youtu.be

1 7

Daniel Amyot @danielamyot.bsky.social · Mar 30

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

1 3

Daniel Amyot @danielamyot.bsky.social · Mar 28

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

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...

www.lapresse.ca

1

Reposted by Daniel Amyot

The New York Times @nytimes.com · Mar 28

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

17 110 290

Reposted by Daniel Amyot

International Conference on Software Engineering @icseconf.bsky.social · Mar 21

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.

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...

conf.researchr.org

3 4

Daniel Amyot @danielamyot.bsky.social · Mar 21

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

There are many scary questions!

www.caut.ca

1 4

Daniel Amyot @danielamyot.bsky.social · Mar 21

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!

Trump administration threatening Canadian researchers

(Ottawa – March 17, 2025) The Canadian Association of University Teachers (CAUT) is warning that the

www.caut.ca

1 2 4

Reposted by Daniel Amyot

Ruurtjan @ruurtjan.com · Mar 3

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

3 1 8