KIF425:Arbeitskreise: Unterschied zwischen den Versionen
Aus KIF
AuX (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
(AKs FunProg) |
||
Zeile 106: | Zeile 106: | ||
| wann=unklar | | wann=unklar | ||
| dauer=solange es dauert? | | dauer=solange es dauert? | ||
}} | |||
{{Ak Spalte 425 | |||
| name=Funktionale Programmierung Schnupperkurs | |||
| beschreibung=Da der AK Funktionale Programmierung auf der letzten KIF etwas darunter litt, dass unterschiedlichste Level von Erwartungen und Expertise vorhanden waren machen wir dieses Mal einfach zwei. Dies ist der für Neugierige und Anfänger. Wir werden ein paar Codebeispiele haben, zeigen was Funktionale Programmierung so drauf hat und darüber philosophieren, ob und warum das so eine tolle Sache ist. Ob du ein Haskell von einem OCaML unterscheiden kannst oder nicht spielt keine Rolle, Hauptsache du hast Lust was neues zu lernen! :) | |||
| wieviele=Alle die Lust haben! | |||
| wer=[[Benutzer:Jbetzend|jbetzend (Bielefeld)]] | |||
| wann=TBA | |||
| dauer=Wie es gerade in den Kram passt. | |||
}} | |||
{{Ak Spalte 425 | |||
| name=Funktionale Programmierung Advanced | |||
| beschreibung=Da der AK Funktionale Programmierung auf der letzten KIF etwas darunter litt, dass unterschiedlichste Level von Erwartungen und Expertise vorhanden waren machen wir dieses Mal einfach zwei. Dies ist der für Menschen mit etwas mehr Erfahrung, sodass man auch mal zeigen kann, was *wirklich* in den Compilern steckt (Alle anderen sind natürlich auch willkommen, aber beschwert euch hinterher nicht wenn euch der Kopf brummt. :-P). Mögliche Themen inkludieren Fortgeschrittenes Haskell, Dependent Types and Theorem Proving mit Idris/Agda/Coq, Game Development in λ-Land und die Frage "Wenn du ein Funktor wärst, welcher wärst du?". | |||
| wieviele=Alle die Lust haben! | |||
| wer=[[Benutzer:Jbetzend|jbetzend (Bielefeld)]] | |||
| wann=TBA, aber auf jeden Fall nach dem Schnupperkurs | |||
| dauer=Wie es gerade in den Kram passt. | |||
}} | }} | ||
Version vom 15. September 2014, 11:45 Uhr
Bitte erfindet neue Arbeitskreise, oder führt Projekte vergangener KIFs weiter. Jeder kann einen AK vorschlagen und auf dem Anfangsplenum vorstellen.
Inhalt- und Arbeits-AKs
Für eher ernsthafte Arbeitskreise, -kringel und -punkte ist dieser Abschnitt da.
Bezeichnung | Wer macht's? | Wie viele? | Wann? | Dauer? |
---|---|---|---|---|
CHE-Ranking | Jan (TUKL) | 15 | egal | 2h |
Beschreibung: Diskussion zu unserer Haltung zum CHE-Ranking inklusive einem Gast vom CHE | ||||
| ||||
Leiten und Moderieren von Sitzungen | Jan (TUKL) | 15 | egal | 2h |
Beschreibung: Was sollte ich vermeiden? Auf was sollte ich achten? | ||||
| ||||
Einstieg Akkreditierung | Jan (TUKL) | 15 | egal | 2h |
Beschreibung: Wozu ist Akkreditierung gut? Wie kann ich mitmachen? | ||||
Hilfe unsere Fachschaft/Hochschule wird akkreditiert?! | Jan (TUKL) | 15 | egal | 2h |
Beschreibung: Wozu ist Akkreditierung gut? Was können wir mittels einer Akkreditierung erreichen? Was sollten wir tun? | ||||
Auf dem Weg zu einer Qualitätskultur. | Jan (TUKL) | 15 | egal | 2h |
Beschreibung: Was ist QMS, Qualitätskultur, Systemakkreditierung? Wie können Studierende eingebunden werden? | ||||
| ||||
15-Jahre Bologna. | Jan (TUKL) | 15 | egal | 2h |
Beschreibung: Alles Mist oder doch nicht? Etwas Input + hoffentlich lebhafte Diskussion. | ||||
AK Scheduling | crackwitz (RWTH) | unklar | unklar | unklar |
Beschreibung: Wir wollen die Planung der AKs optimieren. LP Solver, SAT/SMT Solver, Approximationsalgorithmen... | ||||
| ||||
AK Struktur der KIF | joke (TU BS) | unklar | unklar | unklar |
Beschreibung: Ergebnisoffene Diskussion über die Strukturen der KIF und mögliche Änderungen. Einige Stichworte: Vertretung zwischen den Konferenzen, Nonsens mit Konsens, Geschäftsordnung. Die Aufzählung ist nicht abschließend, einige mögliche Änderungen wären aus meiner Sicht sehr sinnvoll, andere sind eher verzichtbar. | ||||
AK Video | crackwitz (RWTH) | geschaetzt 10-15 | unklar | mind. 2 h |
Beschreibung: Videos als Lernmaterial, primaer. Gerne auch kuenstlerisches. Erfahrungsaustausch, Unterstuetzung, Neues lernen. | ||||
AK Lehr- und Lernportale | auX (RWTH) | Alle mit Interesse | unklar | solange es dauert? |
Beschreibung: Online-Portale für Lehren und Lernen gibt es viele - doch welche sind sinvoll? Was sind Best-Practices? Welche Funktionen haben sich bewährt? | ||||
Funktionale Programmierung Schnupperkurs | jbetzend (Bielefeld) | Alle die Lust haben! | TBA | Wie es gerade in den Kram passt. |
Beschreibung: Da der AK Funktionale Programmierung auf der letzten KIF etwas darunter litt, dass unterschiedlichste Level von Erwartungen und Expertise vorhanden waren machen wir dieses Mal einfach zwei. Dies ist der für Neugierige und Anfänger. Wir werden ein paar Codebeispiele haben, zeigen was Funktionale Programmierung so drauf hat und darüber philosophieren, ob und warum das so eine tolle Sache ist. Ob du ein Haskell von einem OCaML unterscheiden kannst oder nicht spielt keine Rolle, Hauptsache du hast Lust was neues zu lernen! :) | ||||
Funktionale Programmierung Advanced | jbetzend (Bielefeld) | Alle die Lust haben! | TBA, aber auf jeden Fall nach dem Schnupperkurs | Wie es gerade in den Kram passt. |
Beschreibung: Da der AK Funktionale Programmierung auf der letzten KIF etwas darunter litt, dass unterschiedlichste Level von Erwartungen und Expertise vorhanden waren machen wir dieses Mal einfach zwei. Dies ist der für Menschen mit etwas mehr Erfahrung, sodass man auch mal zeigen kann, was *wirklich* in den Compilern steckt (Alle anderen sind natürlich auch willkommen, aber beschwert euch hinterher nicht wenn euch der Kopf brummt. :-P). Mögliche Themen inkludieren Fortgeschrittenes Haskell, Dependent Types and Theorem Proving mit Idris/Agda/Coq, Game Development in λ-Land und die Frage "Wenn du ein Funktor wärst, welcher wärst du?". | ||||
|
Kultur- und Spaß-AKs
Kulturelle und freizeitgestaltende Arbeitskreise der KIF. Da Spaß auf einer KIF kultiviert wird und damit eine eigene Kultur bildet, gehören Spaß-AKs ebenfalls in diese Tabelle.
Bezeichnung | Wer macht's? | Wie viele? | Wann? | Dauer? |
---|---|---|---|---|
Keysigning Party | Jim (HTW Dresden) | Alle mit Lust | Wenn ich da bin | Bis ich los mach |
Beschreibung: Gegenseitiges GnuPG Keysigning | ||||
Pralinen und co. | auX (RWTH) | Alle mit Lust | TBA | 2h? |
Beschreibung: Austausch von Pralinen-/Muffin-/Süßkramrezepten. Bei guter Küche gerne auch kleine gemeinsame versuche ;) | ||||
Blinkenlights | Apexys (CAU) | Siehe AK-Artikel | Irgendwann am ersten Abend | 3h, wahrscheinlich mehr |
Beschreibung: Herstellung von blinkenden Dingen und Diskussionen über diese | ||||
AK Schweinkram | crackwitz (RWTH) oder wer Lust hat | geschaetzt 20 | Abends | open end, n paar Stunden bestimmt |
Beschreibung: Eine Art BDSM-Stammtisch. Die Fortsetzung des sehr angenehmen, unterhaltsamen und informativen AKs von der 42,0. | ||||
AK Imagefilme | joke (tubs) oder wer Lust hat | egal | Abends | open end, |
Beschreibung: Eine Wiederholung des Arbeitskreises der KIF 40,5 | ||||
AK Paranoia | OTH Regensburgler + "Freiwillige" | max. AK-Leiter * 5 | Abends | Bis der letzte Verräter sechsmal terminiert ist |
Beschreibung: Jagd auf kommunistische Mutantenverräter auf der unterirdischen Raumstation mit Hilfe von W20. Vulgo: Pen&Paper RPG. Regeln sind leicht und für Einsteiger geeignet. Paranoia, seltsames Denken und ein bischen Wahnsinn werden vorausgesetzt | ||||