Newsletter

Im Dezember 2020 haben wir einen Newsletter zu Themen rund um formale Methoden und Software-Engineering für sichere Systeme im deutschsprachigen Raum ins Leben gerufen. Wir freuen uns auf vielfältige Beiträge in folgenden Rubriken:

• Relevante Konferenzen, Workshops oder ähnliche Veranstaltungen (jeweils max. 2 Seiten)
  • Call for Papers
  • Call for Participation
  • Bericht über kürzlich stattgefundene Veranstaltungen
• Forschungsprojekte (jeweils max. 2 Seiten)
  • Neue Projekte
  • Neue, signifikante Projektergebnisse laufender Projekte
  • Kürzlich abgeschlossene Projekte
• Zusammenfassungen von Dissertationen bzw. herausragenden Abschlussarbeiten (jeweils max. 3 Seiten)
  • Kürzlich abgeschlossene Arbeiten
  • Bevorstehende Dissertationen
• Kurzmitteilungen (jeweils max. eine halbe Seite, gerne mit Link auf weitere Details) zu relevanten Themen, wie z.B.:
  • Veranstaltungen
  • Veröffentlichungen (Bücher, Artikel in Top-Publikationsorganen)
  • Online verfügbare Materialien (z.B. Lehrmaterialien)
  • Auszeichnungen
  • Promotionen, Habilitationen
  • Stellenausschreibungen
  • Personenbewegungen
• Leserbriefe (jeweils max. 2 Seiten)
  • Offenes Format für Themen die für die Fachgruppe von Interesse sind

Format und Veröffentlichung

Ihre Beiträge reichen Sie bitte über E-Mail an die Herausgeber (siehe unten) ein, unter Angabe der Rubrik.

Kurze Beiträge sollten als Text (evtl. Markdown) eingereicht werden. Für längere Beiträge nutzen Sie bitte nach Möglichkeit die bereitgestellte LaTeX-Vorlage (siehe unten) und reichen Ihren Beitrag als PDF, zusammen mit den Quelldateien, ein. Beiträge können wahlweise auf Deutsch oder Englisch erfolgen.

Der Newsletter wird auf den Seiten der Fachgruppe veröffentlicht. Die Herausgeber behalten sich das Recht vor, nicht angemessene Beiträge nicht zu veröffentlichen. Im Zweifelsfall können Sie die Herausgeber im Vorfeld kontaktieren.

Termine

Die Termine für die nächste Ausgabe werden rechtzeitig über die Mailingliste der Fachgruppe bekanntgegeben.