Alle Veranstaltungen 1993:



04. – 08. Januar 1993, Dagstuhl Seminar 9301

Graph-Transformations in Computer Science


B. Courcelle, H. Ehrig, G. Rozenberg, H.J. Schneider

Top

11. – 15. Januar 1993, Dagstuhl Seminar 9302

Automata Theory: Distributed Models


A. Arnold, L. Priese, R. Vollmar

Top

20. – 22. Januar 1993, Event 9303

Fortbildung für Mathematik- und Informatiklehrer aus dem Saarland und Rheinland-Pfalz


Wolf Böhm (SIL Speyer, DE), Friedrich Drollinger (LPM Saarbrücken, DE), Reinhard Wilhelm (Universität des Saarlandes, DE)

Top

27. – 29. Januar 1993, Event 9304

DIA Seminar: Objektorientierte System-Entwicklung: Konzepte und Vorgehensmodell


K.-H. Sylla (GMD St. Augustin)

Top

01. – 05. Februar 1993, Dagstuhl Seminar 9305

Versioning in Database Management Systems


W.S. Cellary, K. Vidyasankar, G. Vossen

Top

08. – 10. Februar 1993, Event 9306

GI-Arbeitskreis "Integration von Umweltdaten, verteilte Systeme"


R. Güttler (SB)

Top

15. – 19. Februar 1993, Dagstuhl Seminar 9307

Computer Aided Design and Test


B. Becker, R. Bryant, Ch. Meinel

Top

23. – 26. Februar 1993, Dagstuhl Seminar 9308

Semantic Formalisms in Natural Language Processing


M. Pinkal, R. Scha, L. Schubert

Top

02. – 05. März 1993, Event 9309

8th International Software Process Workshop


P. Feiler (Pittsburgh), W. Schäfer (DO)

Top

08. – 12. März 1993, Dagstuhl Seminar 9310

Deduction


W. Bibel, K. Furukawa, M. Stickel

Top

15. – 16. März 1993, Event 93112

DFG SPP "Deduktion"


Bibel (DA)

Top

18. – 19. März 1993, Event 93113

Symposium "Neurotronik"


K. Gersonde (IGB)

Top

22. – 26. März 1993, Dagstuhl Seminar 9312

Computational Geometry


H. Alt, B. Chazelle, E. Welzl

Top

29. März – 02. April 1993, Dagstuhl Seminar 9313

Universals in the Lexicon: At the Intersection of Lexical Semantic Theories


H. Kamp, J. Pustejovsky

Top

19. – 22. April 1993, Dagstuhl Seminar 9316

Graphics & Robotics


W. Straßer, F. Wahl

Top

26. – 30. April 1993, Dagstuhl Seminar 9317

Formal Aspects of Object Base Dynamics


C. Beeri, A. Heuer, G. Saake, S.D. Urban

Top

03. – 07. Mai 1993, Dagstuhl Seminar 9318

Descriptional Complexity: A Multidisciplinary Perspective


R. Book, E.P.D. Pednault, D. Wotschke

Top

10. – 14. Mai 1993, Event 9319

North-West European Analysis Seminar


H. König (SB)

Top

17. – 21. Mai 1993, Event 9320

EG-Workshop: Algorithmic Approaches to Large and Complex Combinatorial Optimization Problems


M. Jünger (K)

Top

24. – 28. Mai 1993, Dagstuhl Seminar 9321

Specification and Semantics


H.-D. Ehrig, F. von Henke, J. Meseguer, M. Wirsing

Top

31. Mai – 04. Juni 1993, Event 9322

Frauen in Informatik und Mathematik


B. Schinzel (FR)

Top

07. – 11. Juni 1993, Dagstuhl Seminar 9323

Semantics of Programming Languages and Algebra


M. Droste, Y. Gurevich

Top

14. – 18. Juni 1993, Event 9324

SFB 314 Begehung


W. Wahlster (SB)

Top

21. – 25. Juni 1993, Dagstuhl Seminar 9325

Parallelization Techniques for Uniform Algorithms


Ch. Lengauer, P. Quinton, Y. Robert, L. Thiele

Top

28. Juni – 02. Juli 1993, Dagstuhl Seminar 9326

Geometric Modelling


G. Farin, H. Hagen, H. Noltemeier

Top

05. – 09. Juli 1993, Event 9327

DFG-SPP "Algorithmische Zahlentheorie und Algebra"


B.H. Matzat (HD)

Top

12. – 16. Juli 1993, Dagstuhl Seminar 9328

"Average-Case"-Analysis of Algorithms


Ph. Flajolet, R. Kemp, H. Prodinger

Top

19. – 23. Juli 1993, Dagstuhl Seminar 9329

Interactions between Category Theory and Computer Science


J.W. Gray, A.M. Pitts, K. Sieber

Top

16. – 18. August 1993, Event 9333

ALCOM Workshop


S. Näher (MPI-SB)

Top

23. – 27. August 1993, Dagstuhl Seminar 9334

Automated Practical Reasoning and Argumentation


D. Gabbay, H.-J. Ohlbach

Top

30. August – 03. September 1993, Dagstuhl Seminar 9335

Architecture and Protocols for High-Speed Networks


A. Danthine, W. Effelsberg, O. Spaniol

Top

06. – 10. September 1993, Event 9336

ESPRIT-Workshop "Computer Algebra and Differential Equations"


F. Schwarz (St. Augustin), M. Bronstein (Zürich)

Top

13. – 17. September 1993, Dagstuhl Seminar 9337

Parallel and Distributed Algorithms


R. Cole, E.W. Mayr, F. Meyer a.d. Heide

Top

20. – 24. September 1993, Dagstuhl Seminar 9338

Non-Classical Logics in Computer Science


V. Marek, A. Nerode, P.H. Schmitt

Top

27. September – 01. Oktober 1993, Dagstuhl Seminar 9339

Cryptography


A.M. Olyzko, C.P. Schnorr, A. Shamir

Top

04. – 06. Oktober 1993, Event 93402

ASMICS-Workshop


G. Hotz (SB), W. Thomas (KI)

Top

07. – 08. Oktober 1993, Event 93403

GI Theorietag


V. Diekert (S)

Top

11. – 15. Oktober 1993, Dagstuhl Seminar 9341

Computational Kinematics


J. Angeles, G. Hommel, P. Kovács

Top

18. – 22. Oktober 1993, Dagstuhl Seminar 9342

Combinatorial Methods for Integrated Circuit Design


T. Lengauer, M. Sarrafzadeh, D. Wagner

Top

25. – 29. Oktober 1993, Dagstuhl Seminar 9343

Deductive Approaches to Plan Generation and Plan Recognition


S. Biundo, R. Waldinger

Top

04. – 05. November 1993, Event 9344

Graduiertenkolleg des FB Informatik der Universität Karlsruhe


R. Vollmar (KA)

Top

08. – 11. November 1993, Event 93452

DIA Seminar: Softwarezuverlässigkeit und Qualitäts- sicherung


F. Belli (PB)

Top

10. – 12. November 1993, Event 93453

DIA Seminar: Objektorientierte System-Entwicklung: Konzepte und Vorgehensmodell


K.-H. Sylla (GMD St. Augustin)

Top

15. – 19. November 1993, Event 9346

Forum "Perspektiven der Informatik"


R. Wilhelm (SB)

Top

22. – 26. November 1993, Event 9347

Algorithmic Learning for Knowledge Processing


R. Freivalds (Riga), K. Jantke (L), Carl. H. Smith (College Park), R. Wiehagen (KL)

Top

29. November – 03. Dezember 1993, Event 93483

Quantum Cryptography and Quantum Information Theory


T. Beth (KA), G. Brassard (Montreal)

Top

01. – 03. Dezember 1993, Event 93482

DIA Seminar: Objektorientierte System-Entwicklung: Entwurfstechniken


K.-H. Sylla (GMD St. Augustin)

Top

06. – 10. Dezember 1993, Dagstuhl Seminar 9349

Counting Issues: Theory and Application


P. Gritzmann, D. Johnson, V. Klee, Ch. Meinel

Top

13. – 17. Dezember 1993, Dagstuhl Seminar 9350

Summarizing Text for Intelligent Communication


B. Endres-Niggemeyer, J. Hobbs, K. Sparck Jones

Top