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
- 10:1810:18, 16. Aug. 2024 Unterschied Versionen +1 Byte Proceedings3022 Keine Bearbeitungszusammenfassung aktuell
2. Juli 2024
- 11:3811:38, 2. Jul. 2024 Unterschied Versionen −19 Bytes News101 Keine Bearbeitungszusammenfassung
- 11:3811:38, 2. Jul. 2024 Unterschied Versionen +36 Bytes News101 Keine Bearbeitungszusammenfassung
- 11:3711:37, 2. Jul. 2024 Unterschied Versionen +16 Bytes N News101/en Page created automatically by parser function on page News101 aktuell
- 11:3711: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
- 08:1808:18, 20. Jun. 2024 Unterschied Versionen −168 Bytes News98 Keine Bearbeitungszusammenfassung aktuell Markierung: Manuelle Zurücksetzung
- 08:1108:11, 20. Jun. 2024 Unterschied Versionen +168 Bytes News98 Keine Bearbeitungszusammenfassung
- 08:0208:02, 20. Jun. 2024 Unterschied Versionen −7 Bytes News98 Keine Bearbeitungszusammenfassung
- 07:5407:54, 20. Jun. 2024 Unterschied Versionen +1 Byte News98 Keine Bearbeitungszusammenfassung
18. Juni 2024
- 10:0510:05, 18. Jun. 2024 Unterschied Versionen −4 Bytes News98 Keine Bearbeitungszusammenfassung
16. Juni 2024
- 17:1317:13, 16. Jun. 2024 Unterschied Versionen +58 Bytes News98 Keine Bearbeitungszusammenfassung
- 17:1117:11, 16. Jun. 2024 Unterschied Versionen −52 Bytes News99 Keine Bearbeitungszusammenfassung
14. Juni 2024
- 21:3621:36, 14. Jun. 2024 Unterschied Versionen 0 Bytes News99 Keine Bearbeitungszusammenfassung
- 21:3521:35, 14. Jun. 2024 Unterschied Versionen +16 Bytes N News99/en Page created automatically by parser function on page News99 aktuell
- 21:3521: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…“
- 21:3521:35, 14. Jun. 2024 Unterschied Versionen 0 Bytes N Datei:2024.06.12-accepting-run.jpeg Keine Bearbeitungszusammenfassung aktuell
- 21:3021:30, 14. Jun. 2024 Unterschied Versionen +16 Bytes N News98/en Page created automatically by parser function on page News98 aktuell
- 21:3021: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…“
- 21:3021:30, 14. Jun. 2024 Unterschied Versionen 0 Bytes N Datei:2024.06.14-anouk-nick.jpeg Keine Bearbeitungszusammenfassung aktuell
11. Juni 2024
- 10:4210:42, 11. Jun. 2024 Unterschied Versionen +27 Bytes News97 Keine Bearbeitungszusammenfassung aktuell
- 10:4210:42, 11. Jun. 2024 Unterschied Versionen 0 Bytes N Datei:2024.05.16-rajab.png Keine Bearbeitungszusammenfassung aktuell
19. April 2024
- 09:3809:38, 19. Apr. 2024 Unterschied Versionen −8 Bytes News96 Keine Bearbeitungszusammenfassung
- 09:3709:37, 19. Apr. 2024 Unterschied Versionen +16 Bytes N News96/en Page created automatically by parser function on page News96 aktuell
- 09:3709: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-…“
- 09:3709:37, 19. Apr. 2024 Unterschied Versionen 0 Bytes N Datei:2024.04.18-filippo-best-paper.jpeg Keine Bearbeitungszusammenfassung aktuell
- 09:2809:28, 19. Apr. 2024 Unterschied Versionen +165 Bytes News95 Keine Bearbeitungszusammenfassung aktuell
- 09:2609:26, 19. Apr. 2024 Unterschied Versionen +65 Bytes News95 Keine Bearbeitungszusammenfassung
18. April 2024
- 14:5114:51, 18. Apr. 2024 Unterschied Versionen +4 Bytes News95 Keine Bearbeitungszusammenfassung
- 14:5114:51, 18. Apr. 2024 Unterschied Versionen +4 Bytes News95 Keine Bearbeitungszusammenfassung
- 14:5114:51, 18. Apr. 2024 Unterschied Versionen −5 Bytes News95 Keine Bearbeitungszusammenfassung
- 14:5014:50, 18. Apr. 2024 Unterschied Versionen +4 Bytes News95 Keine Bearbeitungszusammenfassung
- 14:4914:49, 18. Apr. 2024 Unterschied Versionen +37 Bytes News95 Keine Bearbeitungszusammenfassung
- 14:4614:46, 18. Apr. 2024 Unterschied Versionen +277 Bytes News95 Keine Bearbeitungszusammenfassung
- 14:4314:43, 18. Apr. 2024 Unterschied Versionen +16 Bytes N News95/en Page created automatically by parser function on page News95 aktuell
- 14:4314: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
- 19:1019:10, 15. Jan. 2024 Unterschied Versionen 0 Bytes News94 Keine Bearbeitungszusammenfassung aktuell
- 19:0919:09, 15. Jan. 2024 Unterschied Versionen +16 Bytes N News94/en Page created automatically by parser function on page News94 aktuell
- 19:0919: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…“
- 15:3615: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
- 15:3415:34, 15. Jan. 2024 Unterschied Versionen −14 Bytes News93 Keine Bearbeitungszusammenfassung aktuell
- 15:3415:34, 15. Jan. 2024 Unterschied Versionen +16 Bytes N News93/en Page created automatically by parser function on page News93 aktuell
- 15:3415: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…“
- 15:3215:32, 15. Jan. 2024 Unterschied Versionen 0 Bytes N Datei:Giuseppina-monterosso.jpeg Keine Bearbeitungszusammenfassung
12. Januar 2024
- 18:5518:55, 12. Jan. 2024 Unterschied Versionen +28 Bytes News92 Keine Bearbeitungszusammenfassung aktuell
- 18:5418: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
- 18:3418:34, 12. Jan. 2024 Unterschied Versionen +16 Bytes N News92/en Page created automatically by parser function on page News92 aktuell
- 18:3418: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…“
- 18:3318:33, 12. Jan. 2024 Unterschied Versionen 0 Bytes N Datei:Davide-di-pierro.jpeg Keine Bearbeitungszusammenfassung
- 18:2918:29, 12. Jan. 2024 Unterschied Versionen −27 Bytes News86 Keine Bearbeitungszusammenfassung aktuell
6. Oktober 2023
- 08:5308:53, 6. Okt. 2023 Unterschied Versionen −1 Byte News90 Keine Bearbeitungszusammenfassung aktuell