fosdem2024_formal: add slides and diagrams

[libreriscv.git] / conferences / fosdem2022.mdwn

diff --git a/conferences/fosdem2022.mdwn b/conferences/fosdem2022.mdwn
index a947dad388d58ca68f0cf168348af85992d4c6b7..60e19924cf3ccdba3942ce30e827b0d6e7891e24 100644 (file)
--- a/conferences/fosdem2022.mdwn
+++ b/conferences/fosdem2022.mdwn
@@ -1,61 +1,21 @@
 # FOSDEM 2022
 
-notes to devroom organisers: 
+* Schedule:
+<https://fosdem.org/2022/schedule/track/libre_open_vlsi_and_fpga/>
+* notes to devroom organisers: 
 <https://fosdem.org/2022/manuals/program/devroom/>
+* fosdem video overview: <https://upload.video.fosdem.org/overview>
+* reviewers: <https://penta.fosdem.org/submission/FOSDEM22/events>
+* Libre-SOC Project with video <https://fosdem.org/2022/schedule/event/libresocproject/>
+* Coriolis2 <https://fosdem.org/2022/schedule/event/coriolis2/>
 
 # Libre/Open VLSI and FPGA Hardware, Simulation and Verification Dev Room
 
-TODO:
-
-* write to openhardware dev room mailing list (private archives)
-  - 13nov2022.  no response.  assume dead list DONE
-  - therefore take responsibility for writing proposal DONE
-* write proposal DONE 14nov2022
-* submit proposal DONE 14no42022
-* CfP TODO
-* Talk to devroom managers ONGOING
-* contact interested people
-  - https://www.crowdsupply.com/great-scott-gadgets/luna (ktemkin)
-  - danielgrosse https://twitter.com/daniel_grosse
-  - Ganesen Narayanasamy, IBM India, Education Course
-  - openwifi <https://github.com/open-sdr/openwifi/issues/99>
-  - libresilicon (actual DIY Foundry equipment)
-  - opentapeoutdev
-  - openlane / openroad
-  - Staf (Chips4Makers)
-  - efabless
-  - libre-soc
-  - LIP6 / CNRS (coriolis2)
-  - apertus <https://www.apertus.org/axiom-ecosystem>
-  - NLnet (to help with outreach)
-  - Crowdsupply (ditto)
-  - KiCAD and other EDA tools
-  - LibreEDA developer (tkramer)
-  - Pine64 <https://wiki.pine64.org/wiki/PineNote>
-  - Bunnie, xobs (https://www.bunniestudios.com/)
-  - Tim Ansell/clifford wolf symbiflow et al https://symbiflow.github.io
-  - Libera.Chat channels:
-    - yosys DONE 29nov2021
-    - opentapeoutdev DONE 29nov2021
-    - symbiflow DONE 29nov2021
-    - openpower DONE 29nov2021
-    - libre-soc DONE 29nov2021
-  - Twitter channels
-    - Initial CfP <https://twitter.com/lkcl/status/1465290569681457157>
-      DONE 29nov2021
-      @Daniel_Grosse @GanesanBlue @TLLim888 @thepine64 @Chips4Makers
-      @bunniestudios @librecores @efabless @LIP6_lab @OpenPOWERorg
-      @OTapeout @YosysHQ @NLnetFDN @NgiPointer @symbiflow @mithro
-      @pepijndevos @crowd_supply @jxjputaoshu
- 
-
-## OHW Devroom Proposal
+## Devroom Proposal
 
 <https://submission.fosdem.org/submission/devroom>
 
-Title: **Libre/Open Hardware, CAD, Modelling and VLSI Dev Room**
-
-Changed Title: **Libre/Open VLSI and FPGA Hardware, Simulation and Verification Dev Room**
+Title: **Libre/Open VLSI and FPGA Hardware, Simulation and Verification Dev Room**
 
 **Updated** Elaborate description (including possible topics)
 
@@ -150,9 +110,6 @@ design easier, we'd love to hear from you.  Here's a list of topics:
   * Formal Correctness Proofs
   * Testing methodologies
   * Hardware Trust (and how to break it)
-- Circuit Design (EDA)
-  * Printed circuit board design tools
-  * Analog/Digital Circuit simulation
 - Software Engineering as applied to Hardware
   * Continuous Integration for VLSI
   * Automated tool development (RTL to GDS-II)
@@ -214,5 +171,49 @@ devroom's organisers)
 ### Contact us
 
 - [Luke Leighton](mailto:lkcl@lkcl.net)
-- [Christophe PFaab](mailto:pfaab@uni-bremen.de)
+- [Christian Pfaab](mailto:pfaab@uni-bremen.de)
+- [mwfc](mwfc@chaos.social)
 - "lkcl" or "mwfc" on #fosdem Libera.Chat IRC
+
+# TODO
+
+* write to openhardware dev room mailing list (private archives)
+  - 13nov2022.  no response.  assume dead list DONE
+  - therefore take responsibility for writing proposal DONE
+* write proposal DONE 14nov2022
+* submit proposal DONE 14no42022
+* CfP TODO
+* Talk to devroom managers ONGOING
+* contact interested people
+  - https://www.crowdsupply.com/great-scott-gadgets/luna (ktemkin)
+  - danielgrosse https://twitter.com/daniel_grosse
+  - Ganesen Narayanasamy, IBM India, Education Course
+  - openwifi <https://github.com/open-sdr/openwifi/issues/99>
+  - libresilicon (actual DIY Foundry equipment)
+  - opentapeoutdev
+  - openlane / openroad
+  - Staf (Chips4Makers)
+  - efabless
+  - libre-soc
+  - LIP6 / CNRS (coriolis2)
+  - apertus <https://www.apertus.org/axiom-ecosystem>
+  - NLnet (to help with outreach)
+  - Crowdsupply (ditto)
+  - KiCAD and other EDA tools
+  - LibreEDA developer (tkramer)
+  - Pine64 <https://wiki.pine64.org/wiki/PineNote>
+  - Bunnie, xobs (https://www.bunniestudios.com/)
+  - Tim Ansell / Claire Wolfe symbiflow et al https://symbiflow.github.io
+  - Libera.Chat channels:
+    - yosys DONE 29nov2021
+    - opentapeoutdev DONE 29nov2021
+    - symbiflow DONE 29nov2021
+    - openpower DONE 29nov2021
+    - libre-soc DONE 29nov2021
+  - Twitter channels
+    - Initial CfP <https://twitter.com/lkcl/status/1465290569681457157>
+      DONE 29nov2021
+      @Daniel_Grosse @GanesanBlue @TLLim888 @thepine64 @Chips4Makers
+      @bunniestudios @librecores @efabless @LIP6_lab @OpenPOWERorg
+      @OTapeout @YosysHQ @NLnetFDN @NgiPointer @symbiflow @mithro
+      @pepijndevos @crowd_supply @jxjputaoshu