Benutzerbeiträge von „Larry Gonzalez“
Aus International Center for Computational Logic
Für Larry Gonzalez Diskussion Sperr-Logbuch Hochgeladene Dateien Logbücher
16. August 2024
- 09:1809:18, 16. Aug. 2024 Unterschied Versionen +1 Byte Proceedings3022 Keine Bearbeitungszusammenfassung aktuell
2. Juli 2024
- 10:3810:38, 2. Jul. 2024 Unterschied Versionen −19 Bytes News101 Keine Bearbeitungszusammenfassung
- 10:3810:38, 2. Jul. 2024 Unterschied Versionen +36 Bytes News101 Keine Bearbeitungszusammenfassung
- 10:3710:37, 2. Jul. 2024 Unterschied Versionen +16 Bytes N News101/en Page created automatically by parser function on page News101 aktuell
- 10:3710:37, 2. Jul. 2024 Unterschied Versionen +4.483 Bytes N News101 Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=Markus Krötzsch den Lehrpreis 2024 |Titel EN=Markus Krötzsch Wins 2024 Teaching Award |Beschreibung DE=<p> Der [https://ifsr.de/en/fachschaftsrat Fachschaftsrat Informatik] der [https://tu-dresden.de/ TU Dresden] hat Markus Krötzsch mit dem Lehrpreis 2024 für seine herausragenden Vorlesungen „[https://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023) Formale Systeme]“ (Wintersemester 2023/2024) und „[https://iccl.inf…“
20. Juni 2024
- 07:1807:18, 20. Jun. 2024 Unterschied Versionen −168 Bytes News98 Keine Bearbeitungszusammenfassung aktuell Markierung: Manuelle Zurücksetzung
- 07:1107:11, 20. Jun. 2024 Unterschied Versionen +168 Bytes News98 Keine Bearbeitungszusammenfassung
- 07:0207:02, 20. Jun. 2024 Unterschied Versionen −7 Bytes News98 Keine Bearbeitungszusammenfassung
- 06:5406:54, 20. Jun. 2024 Unterschied Versionen +1 Byte News98 Keine Bearbeitungszusammenfassung
18. Juni 2024
- 09:0509:05, 18. Jun. 2024 Unterschied Versionen −4 Bytes News98 Keine Bearbeitungszusammenfassung
16. Juni 2024
- 16:1316:13, 16. Jun. 2024 Unterschied Versionen +58 Bytes News98 Keine Bearbeitungszusammenfassung
- 16:1116:11, 16. Jun. 2024 Unterschied Versionen −52 Bytes News99 Keine Bearbeitungszusammenfassung
14. Juni 2024
- 20:3620:36, 14. Jun. 2024 Unterschied Versionen 0 Bytes News99 Keine Bearbeitungszusammenfassung
- 20:3520:35, 14. Jun. 2024 Unterschied Versionen +16 Bytes N News99/en Page created automatically by parser function on page News99 aktuell
- 20:3520:35, 14. Jun. 2024 Unterschied Versionen +3.913 Bytes N News99 Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=ICCL-Forscher:innen nehmen an Rewe Team Challenge 2024 teil |Titel EN=ICLL researchers participate in Rewe Challenge 2024! |Beschreibung DE=Zwei Teams von ICCL-Forscher:innen haben am 12. Juni an der jährlichen Rewe Team Challenge in Dresden teilgenommen. Dieses Event, bekannt für seinen leidenschaftlichen Wettbewerb und den ausgeprägten Teamgeist unter den Teilnehmer:innen, brachte Menschen aus unterschiedlichsten Organisationen…“
- 20:3520:35, 14. Jun. 2024 Unterschied Versionen 0 Bytes N Datei:2024.06.12-accepting-run.jpeg Keine Bearbeitungszusammenfassung aktuell
- 20:3020:30, 14. Jun. 2024 Unterschied Versionen +16 Bytes N News98/en Page created automatically by parser function on page News98 aktuell
- 20:3020:30, 14. Jun. 2024 Unterschied Versionen +5.125 Bytes N News98 Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=Forschungsgruppe Computational Logic begrüßt Anouk Michelle Oudshroorn und Nick Leisegang |Titel EN=Anouk Michelle Oudshroorn and Nick Leisegang visit the Computational Logic Research Group |Beschreibung DE=Die Forschungsgruppe Computational Logic an der [https://tu-dresden.de/ing/informatik/ Fakultät Informatik] der [https://tu-dresden.de/ TU Dresden] freut sich, Anouk Michelle Oudshroorn und Nicholas Leisegang als Forschungs…“
- 20:3020:30, 14. Jun. 2024 Unterschied Versionen 0 Bytes N Datei:2024.06.14-anouk-nick.jpeg Keine Bearbeitungszusammenfassung aktuell
11. Juni 2024
- 09:4209:42, 11. Jun. 2024 Unterschied Versionen +27 Bytes News97 Keine Bearbeitungszusammenfassung aktuell
- 09:4209:42, 11. Jun. 2024 Unterschied Versionen 0 Bytes N Datei:2024.05.16-rajab.png Keine Bearbeitungszusammenfassung aktuell
19. April 2024
- 08:3808:38, 19. Apr. 2024 Unterschied Versionen −8 Bytes News96 Keine Bearbeitungszusammenfassung
- 08:3708:37, 19. Apr. 2024 Unterschied Versionen +16 Bytes N News96/en Page created automatically by parser function on page News96 aktuell
- 08:3708:37, 19. Apr. 2024 Unterschied Versionen +1.676 Bytes N News96 Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=Best Paper Award für Forschende der ICCL |Titel EN=ICCL Researchers win Best Paper Award at SAC 2024 |Beschreibung DE=Franz Baader und Filippo De Bortoli erhielten den Best Paper Award im Information Systems Track des [https://www.sigapp.org/sac/sac2024/ 39th ACM/SIGAPP Symposium on Applied Computing]. Ausgezeichnet wurde das Paper [https://iccl.inf.tu-dresden.de/web/Inproceedings3377 "The Abstract Expressive Power of First-…“
- 08:3708:37, 19. Apr. 2024 Unterschied Versionen 0 Bytes N Datei:2024.04.18-filippo-best-paper.jpeg Keine Bearbeitungszusammenfassung aktuell
- 08:2808:28, 19. Apr. 2024 Unterschied Versionen +165 Bytes News95 Keine Bearbeitungszusammenfassung aktuell
- 08:2608:26, 19. Apr. 2024 Unterschied Versionen +65 Bytes News95 Keine Bearbeitungszusammenfassung
18. April 2024
- 13:5113:51, 18. Apr. 2024 Unterschied Versionen +4 Bytes News95 Keine Bearbeitungszusammenfassung
- 13:5113:51, 18. Apr. 2024 Unterschied Versionen +4 Bytes News95 Keine Bearbeitungszusammenfassung
- 13:5113:51, 18. Apr. 2024 Unterschied Versionen −5 Bytes News95 Keine Bearbeitungszusammenfassung
- 13:5013:50, 18. Apr. 2024 Unterschied Versionen +4 Bytes News95 Keine Bearbeitungszusammenfassung
- 13:4913:49, 18. Apr. 2024 Unterschied Versionen +37 Bytes News95 Keine Bearbeitungszusammenfassung
- 13:4613:46, 18. Apr. 2024 Unterschied Versionen +277 Bytes News95 Keine Bearbeitungszusammenfassung
- 13:4313:43, 18. Apr. 2024 Unterschied Versionen +16 Bytes N News95/en Page created automatically by parser function on page News95 aktuell
- 13:4313:43, 18. Apr. 2024 Unterschied Versionen +1.737 Bytes N News95 Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=Ankündigung: Themenvergabe für studentische Projekte |Titel EN=KBS group present student topics |Beschreibung DE=Am 25. April stellt die KBS-Gruppe in Raum APB 3027 mehrere studentische Projekte vor. <br> In vielen Studiengängen der Fakultät Informatik ist es notwendig, Projektarbeiten zu absolvieren. Diese sind eine hervorragende Gelegenheit gelerntes Wissen anzuwenden, Methoden des wissenschaftlichen Arbeitens zu erlernen sow…“
15. Januar 2024
- 18:1018:10, 15. Jan. 2024 Unterschied Versionen 0 Bytes News94 Keine Bearbeitungszusammenfassung aktuell
- 18:0918:09, 15. Jan. 2024 Unterschied Versionen +16 Bytes N News94/en Page created automatically by parser function on page News94 aktuell
- 18:0918:09, 15. Jan. 2024 Unterschied Versionen +5.321 Bytes N News94 Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=ICCL feiert World Logic Day |Titel EN=ICCL celebrates the World Logic Day |Beschreibung DE=Heute feiern wir den Welttag der Logik -- eine…“
- 14:3614:36, 15. Jan. 2024 Unterschied Versionen 0 Bytes Datei:Giuseppina-monterosso.jpeg Larry Gonzalez lud eine neue Version von Datei:Giuseppina-monterosso.jpeg hoch aktuell
- 14:3414:34, 15. Jan. 2024 Unterschied Versionen −14 Bytes News93 Keine Bearbeitungszusammenfassung aktuell
- 14:3414:34, 15. Jan. 2024 Unterschied Versionen +16 Bytes N News93/en Page created automatically by parser function on page News93 aktuell
- 14:3414:34, 15. Jan. 2024 Unterschied Versionen +2.573 Bytes N News93 Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=Giuseppina Monterosso besucht die Gruppe Logische Programmierung und Argumentation |Titel EN=Giuseppina Monterosso visits the Logic Progr…“
- 14:3214:32, 15. Jan. 2024 Unterschied Versionen 0 Bytes N Datei:Giuseppina-monterosso.jpeg Keine Bearbeitungszusammenfassung
12. Januar 2024
- 17:5517:55, 12. Jan. 2024 Unterschied Versionen +28 Bytes News92 Keine Bearbeitungszusammenfassung aktuell
- 17:5417:54, 12. Jan. 2024 Unterschied Versionen 0 Bytes Datei:Davide-di-pierro.jpeg Larry Gonzalez lud eine neue Version von Datei:Davide-di-pierro.jpeg hoch aktuell
- 17:3417:34, 12. Jan. 2024 Unterschied Versionen +16 Bytes N News92/en Page created automatically by parser function on page News92 aktuell
- 17:3417:34, 12. Jan. 2024 Unterschied Versionen +1.557 Bytes N News92 Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=Davide Di Pierro besucht die KBS-Gruppe |Titel EN=Davide Di Pierro visits KBS Group |Beschreibung DE=Wir freuen uns, [https://www.researc…“
- 17:3317:33, 12. Jan. 2024 Unterschied Versionen 0 Bytes N Datei:Davide-di-pierro.jpeg Keine Bearbeitungszusammenfassung
- 17:2917:29, 12. Jan. 2024 Unterschied Versionen −27 Bytes News86 Keine Bearbeitungszusammenfassung aktuell
6. Oktober 2023
- 07:5307:53, 6. Okt. 2023 Unterschied Versionen −1 Byte News90 Keine Bearbeitungszusammenfassung aktuell