Angela’s PhD weekly meeting updates
Week 01 – 10 October 2025
Tasks and short-term goals
- Publish Field VMC journal (deadline: undefined, priority: high, waiting for editor to send further info)
- Study CLF-CBF-QP for period abroad (deadline: ASAP, priority: high, in progress)
- Implementation of time replication in Collektive—necessary for self-stabilizing Gossip validation
(deadline: undefined, priority: medium, shared Clock done with tests)
- Period abroad iter and proposal (deadline: undefined, priority: high, call for application not published yet AFAIK)
Medium-term goals
- Collektive journal: venue and contribute to define yet (priority: medium-high)
- Paper on Self-Stabilizing Gossip, initial possible venues: SEAMS, others to define
(deadline: undefined, priority: medium, current status: draft paper done for PhD course—missing evaluation due to previous point [1.3])
Long-term goals
- Implementation of aggregate processes in Collektive (related to [1.2])
- Implementation of signals and interrupts in Collektive (related to [1.2])
- Implementation of users and permissions in Collektive
Period abroad infos/iter
- If I already know the period, I have to send the request form to Bartolini and then to AFORM.
- The Marco Polo program is a separate thing — first, I need authorization from the others.
- In Bartolini’s document, I have to summarize in about 4 lines what I will do during the period abroad, then she approves it.
- At that point, I have to fill out the form available on the university intranet for PhD student mobility abroad and also the one that entitles me to the 50% scholarship increase; once this is authorized, everything is set.
- When the Marco Polo call opens (usually in December), I need to write a project proposal and complete the procedure on the website to apply for the call.
- When I come back, I have to write a final project report to attach to the Marco Polo call documents, and then fill in the return form to be sent to AFORM.
Week 2 – 15 October 2025
Tasks and short-term goals
- Publish Field VMC journal (deadline: undefined, priority: high, waiting for editor to send further info)
→ Still no update from them, I checked the site every day too.
- Study CLF-CBF-QP for period abroad (deadline: ASAP, priority: high, in progress)
→ still in progress, not bad, we have to plan the period with Ale this or next week.
- Implementation of time replication in Collektive—necessary for self-stabilizing Gossip validation
(deadline: undefined, priority: medium, shared Clock done with tests)
→ paused due to work on point [2]
Medium-term goals
- Collektive journal: venue and contribute to define yet (priority: medium-high)
→ Possible venues: Journal of open research science, or JSS
- Paper on Self-Stabilizing Gossip, initial possible venues: SEAMS, others to define
(deadline: undefined, priority: medium, current status: draft paper done for PhD course—missing evaluation due to previous point [1.3])
- Possible work with GCiatto for ACSOS-2026 about “distributed particle filter in AC/Collektive” (priority: medium, I did not read the original paper yet)
- About ACSOS-2026: possibility to showcase the NdR demo, or doing a tutorial about Collektive (if journal is out)
Long-term goals
✨ Collective Operating Systems ✨
Week 3 – 22 October 2025
Tasks and short-term goals
- Publish Field VMC journal (deadline: undefined, priority: high, waiting for editor to send further info)
→ Still no update from them, I checked the site every day too and emailed them.
- Study CLF-CBF-QP for period abroad (deadline: ASAP, priority: high, in progress)
→ at this point we should have the update from Ale thanks to the meeting we have just finished.
- Implementation of time replication in Collektive—necessary for self-stabilizing Gossip validation
(deadline: undefined, priority: medium, completed)
→ PR opened, checks are green, waiting for review.
⁉️ Should I start working on the evaluation?
Medium-term goals
- Collektive journal: (priority: medium-high) venue JSS, first flow draft has been written.
- Paper on Self-Stabilizing Gossip, initial possible venues: SEAMS(2027..), others to define (SEWORLD?)
(deadline: undefined, priority: medium, current status: draft paper done for PhD course—missing evaluation due to previous point [1.3])
→ Waiting for Collektive journal to be finished to finalize this one.
- ACSOS-2026: defined “distributed particle filter in AC/Collektive” with GCiatto and Davide.
Spoke with Nico about the possibility to showcase the NdR demo, or doing a tutorial about Collektive (if journal is out).
- Work for ACSOS-2026 as publicity co-chair.
Long-term goals
✨ Collective Operating Systems ✨
Week 4 – 31 October 2025
Tasks and short-term goals
- Publish Field VMC journal (deadline: undefined, priority: high) – Status: we have to pay, Sara should contact us.
- Collektive Journal (target: JSS, status doing)
- Study CLF-CBF-QP for period abroad – Next step: preparing presentation for aggregate reading group.
- Implementation of time replication – Done, missing review.
Medium-term goals
- Paper on Self-Stabilizing Gossip (deadline: undefined, status paused) → Waiting for Collektive journal to be finished to finalize this one.
- ACSOS-2026: defined “distributed particle filter in AC/Collektive” with GCiatto and Davide.
Long-term goals
✨ Collective Operating Systems ✨ featuring:
- control barriers;
- processes;
- signals and interrupts;
- users and permissions.
Week 5 – 6 November 2025
Tasks and short-term goals
- Publish Field VMC journal (deadline: undefined, priority: high) – Status: we have to pay, Springer is filling our form.
- Collektive Journal (target: JSS, status doing)
- Study CLF-CBF-QP for period abroad – Next step: preparing presentation for aggregate reading group (if possible).
- Implementation of time replication – Done, missing review.
Medium-term goals
- Paper on Self-Stabilizing Gossip (deadline: undefined, status blocked) → Waiting for Collektive journal to be finished to finalize this one.
- ACSOS-2026: defined “distributed particle filter in AC/Collektive” with GCiatto and Davide.
Long-term goals
✨ Collective Operating Systems ✨ featuring:
- control barriers;
- processes;
- signals and interrupts;
- users and permissions.
Week 6 – 13 November
Tasks and short-term goals
- Publish Field VMC journal (deadline: undefined, priority: high) – Status: we have to pay, Springer has filled our form, need info from Sara.
- Collektive Journal (target: JSS, status doing)
- Study CLF-CBF-QP for period abroad – Next step: preparing presentation for aggregate reading group.
- Implementation of time replication – Done, missing review.
Medium-term goals
- Paper on Self-Stabilizing Gossip (deadline: undefined, status blocked) → Waiting for Collektive journal to be finished to finalize this one.
- ACSOS-2026: defined “distributed particle filter in AC/Collektive” with GCiatto, Davide and Roby.
Long-term goals
✨ Collective Operating Systems ✨ featuring:
- control barriers;
- processes;
- signals and interrupts;
- users and permissions.
Week 7 – 20 November
Tasks and short-term goals
- Publish Field VMC journal (deadline: undefined, priority: high) – Status: we have to pay, Springer has filled our form, we should ping Sara.
- Collektive Journal (target: JSS, status doing)
- Study CLF-CBF-QP for period abroad – Next step: preparing presentation for aggregate reading group.
- Implementation of time replication – Done, missing review.
- FormaliSE26 artifact evaluation (deadline 21 December) – status to do.
Medium-term goals
- Paper on Self-Stabilizing Gossip (target: Coordination, deadline: 6 February, status TBD)
→ short intro to Gossip with no demonstration (keep that for journal).
- ACSOS-2026: defined “distributed particle filter in AC/Collektive” with GCiatto, Davide, Roby, and Mirko.
→ If we find some preliminary results, there’s the possibility to submit to Coordination.
[Note that we kept track of AEiC 2026 deadlines just in case.]
Long-term goals
✨ Collective Operating Systems ✨ featuring:
- control barriers;
- processes;
- signals and interrupts;
- users and permissions.
Week 8 – 27 November
Tasks and short-term goals
- Publish Field VMC journal (deadline: undefined, priority: high) – Status: we have to pay, Springer has filled our form, already pinged Sara.
- Collektive Journal (target: JSS, status doing)
- Study CLF-CBF-QP for period abroad – Prepared presentation for aggregate reading group (5 december), should check it.
- Marco Polo period abroad proposal – status done, should check it.
- FormaliSE26 artifact evaluation (deadline 21 December) – status doing?.
Medium-term goals
- ACSOS-2026: defined “distributed particle filter in AC/Collektive” with GCiatto, Davide, Roby, and Mirko.
(deadline: 26 april, status doing)
- Paper on Self-Stabilizing Gossip (target: Coordination, deadline: 6 February, status will start soon)
→ short intro to Gossip with no demonstration (keep that for journal).
Long-term goals
✨ Collective Operating Systems ✨ featuring:
- control barriers;
- processes;
- signals and interrupts;
- users and permissions.
Week 9 – 4 December
Tasks and short-term goals
- Publish Field VMC journal (deadline: undefined, priority: high) – Sara still has to pay.
- Collektive Journal (target: JSS, status doing)
- Study CLF-CBF-QP for period abroad – Presentation for aggregate reading group ready (tomorrow).
- FormaliSE26 artifact evaluation (deadline 21 December) – status doing.
- ACSOS2026 Publicity Chair tasks – status doing.
Medium-term goals
- ACSOS-2026: defined “distributed particle filter in AC/Collektive” with GCiatto, Davide, Roby, and Mirko.
(deadline: 26 april, status doing)
- Paper on Self-Stabilizing Gossip (target: Coordination, deadline: 6 February, status will start soon)
→ short intro to Gossip with no demonstration (keep that for journal).
Long-term goals
✨ Collective Operating Systems ✨ featuring:
- control barriers;
- processes;
- signals and interrupts;
- users and permissions.
Week 10 – 15 December
Tasks and short-term goals
- Publish Field VMC journal: DONE🎉 – Sara paid the fee, sent to me the receipt, and I sent it to Springer.
- Collektive Journal (target: JSS, status doing)
- FormaliSE26 artifact evaluation (deadline 21 December) – status doing.
- ACSOS2026 Publicity Chair tasks – status doing.
Medium-term goals
- ACSOS-2026: defined “distributed particle filter in AC/Collektive” with GCiatto, Davide, Roby, and Mirko.
(deadline: 26 april, status doing)
- Paper on Self-Stabilizing Gossip (target: Coordination, deadline: 6 February, status working on evaluation)
→ short intro to Gossip with no demonstration (keep that for journal).
Long-term goals
✨ Collective Operating Systems ✨ featuring:
- control barriers;
- processes;
- signals and interrupts;
- users and permissions.
Week 11 – 15 January
Important: Collektive release is still broken.
Tasks and short-term goals
- Collektive Journal (target: JSS, status doing)
- Paper on Self-Stabilizing Gossip (target: Coordination, deadline: 6 February, status working on evaluation)
→ short intro to Gossip with demonstration.
- DCOSS IoT-2026: defined “distributed particle filter in AC/Collektive” with GCiatto, Davide, Roby, and Mirko.
(deadline: 26 april, status doing)
- FIELD BASED CLF-CBF-QP.
Medium-term goals
- ACSOS-2026: defined “distributed particle filter in AC/Collektive” with GCiatto, Davide, Roby, and Mirko.
(deadline: 26 april, status none)
Long-term goals
✨ Collective Operating Systems ✨ featuring:
- control barriers;
- processes;
- signals and interrupts;
- users and permissions.
Week 13 - 29 January
Tasks and short-term goals
- Thesis title.
- Collektive Journal (target: JSS, status paused)
- Paper on Self-Stabilizing Gossip (target: Coordination, deadline: 6 February, status done evaluation)
- DCOSS IoT-2026: defined “distributed particle filter in AC/Collektive” (deadline: 8 Feb, status doing)
- CAROL: Coordinated Aggregate Robotics with Online control Lyapunov and barrier functions.
- Collektive release is still broken, after the deadlines I will focus on fixing it.
- Same for global election.
Medium-term goals
- ACSOS-2026: defined “distributed particle filter in AC/Collektive” with GCiatto, Davide, Roby, and Mirko.
(deadline: 26 april, status none)
Long-term goals
✨ Collective Operating Systems ✨ featuring:
- control barriers;
- processes;
- signals and interrupts;
- users and permissions.
Week 14 - 5 February
Tasks and short-term goals
- Thesis title → “Advances in Collective Robotics through macro-programming” (no updates yet)
- Collektive Journal (target: JSS, status paused)
- DCOSS IoT-2026: defined “distributed particle filter in AC/Collektive” (deadline: 8 Feb, status doing)
- Paper on Self-Stabilizing Gossip (target: Coordination, deadline: 20 February)
- Artifact paper Gossip (target: Coordination, deadline: 27 February)
- CAROL: Coordinated Aggregate Robotics with Online control Lyapunov and barrier functions.
- Read Turin’s thesis about Collektive (deadline: end of February)
- Coordination CollektiveXUnity ❓ (deadline: 20 February)
- Collektive release is still broken, after the deadlines I will focus on fixing it.
- Same for global election.
Medium-term goals
- ACSOS-2026: defined “distributed particle filter in AC/Collektive” (deadline: 26 april, status none)
Long-term goals
❓✨ Collective Operating Systems ✨❓ featuring:
- control barriers;
- processes;
- signals and interrupts;
- users and permissions.
Week 15 - 19 February
Tasks and short-term goals
- Collektive Journal (target: JSS, status paused)
- Paper on Self-Stabilizing Gossip (target: Coordination, deadline: 20 February)
- Artifact paper Gossip (target: Coordination, deadline: 27 February)
- CAROL: Coordinated Aggregate Robotics with Online control Lyapunov and barrier functions.
- ACSOS 2026: defined “distributed particle filter in AC/Collektive” (deadline: 26 Feb, status doing)
- Coordination CollektiveXUnity ❓ (deadline: 20 February)
- Read Turin’s thesis about Collektive (deadline: end of February)
- Collektive release is still broken, after the deadlines I will focus on fixing it.
- Same for global election.
Medium-term goals
- ACSOS Publicity Chair tasks
Thesis students
- UniTo x Collektive
- Collektive x Unity
- Collektive x VMC x CBF
Long-term goals
❓✨ Collective Operating Systems ✨❓ featuring:
- control barriers;
- processes;
- signals and interrupts;
- users and permissions.
Week 16 - 26 February
Tasks and short-term goals
- Collektive Journal (target: JSS, status paused)
- CAROL: Coordinated Aggregate Robotics with Online control Lyapunov and barrier functions.
- ACSOS 2026: defined “distributed particle filter in AC/Collektive” (deadline: 21 Apr, status doing)
- Collektive global election is broken, I will focus on fixing it.
Medium-term goals
- ACSOS Publicity Chair tasks
- DCOSS IoT-2026 (waiting for notification: 28 march)
- Paper on Self-Stabilizing Gossip + Artifact (waiting for notification: 23 March)
- Coordination CollektiveXUnity + Artifact (waiting for notification: 23 March)
Thesis students
- UniTo x Collektive (read thesis done)
- Collektive x Unity
- Collektive x VMC x CBF
Long-term goals
❓✨ Collective Operating Systems ✨❓ featuring:
control barriers - processes - signals and interrupts - users and permissions.
Week 17 - 11 March
Tasks and short-term goals
- Collektive Journal (target: JSS, status paused)
- CAROL: Coordinated Aggregate Robotics with Online control Lyapunov and barrier functions.
- ACSOS 2026: defined “distributed particle filter in AC/Collektive” (deadline: 17 Apr, status doing)
- Fix Echo App (deadline 20 March) I have some questions
Medium-term goals
- ACSOS Publicity Chair tasks
- DCOSS IoT-2026 (waiting for notification: 28 march)
- Coordination: Self-Stabilizing Gossip + Artifact & CollektiveXUnity + Artifact (waiting for notification: 23 March)
- Collektive global election is broken, I will focus on fixing it.
Thesis students
- UniTo x Collektive (read thesis done)
- Collektive x Unity (read thesis done)
- Collektive x VMC x CBF
Long-term goals
❓✨ Collective Operating Systems ✨❓ featuring:
control barriers - processes - signals and interrupts - users and permissions.