---
id: 2025-47
title: Weekly — 2025-11-19
type: Weekly
created: 2025-11-19T14:34:56-05:00
modified: 2025-11-19T14:34:56-05:00
tags: [weekly]
---

# Weekly - 2025 CW 47 (Wed 2025-11-19)

## Accomplishments

### ERLM
- ✓ Assertion-Evidence --- do in lieu of class
- ✓ Read Proposal 1
- ✓ Read Proposal 2
- ✓ Read Proposal 6
- ✓ Create ORCID account
- ✓ Make data management plan
- ✓ Make biographical sketch
- ✓ Make facilities section
- ✓ Mock Peer Review Assignment
- ✓ Add more tasks for this week

### General
- ✓ Get Dan's approval for course
- ✓ Create updated plan of study document

## Pushed or Rescheduled

No tasks were rescheduled during this period.

## Cancelled or Deleted

No tasks were cancelled or deleted during this period.

## To Do

### Due This Week (Nov 19-26)

**ERLM**
- Draft Presentations (due 2025-11-21) [urgency: 8.75]

### High Priority

**ERLM**
- Tune up state of the art for Proposal (due in 2 weeks) [urgency: 3.44]
- Final Presentations (due in 2 weeks) [urgency: 3.44]

**Zettelkasten (zk)**
- Write zettels about Andre Platzer and differential dynamic logic [urgency: 3.19]
- Write zettels about webofscience database [urgency: 3.19]
- Deterministic Parity Automata [urgency: 2.95]
- Mealy Machines [urgency: 2.95]
- AIGER Circuits [urgency: 2.95]
- Reactive Synthesis [urgency: 2.95]
- Write about opp. chall. and res. needs for remote micro ope. [urgency: 2.92]