Proceedings in der Institutsbibliothek 184/2
Die Zeitschriften sind ab sofort (Dez. 2009) nur mehr eingeschränkt bis gar nicht verfügbar. Aufgrund von Umbauarbeiten ab März 2010 wird die Bibliothek geräumt. Bei dringendem Bedarf bitte anderswo ausleihen oder im Sekretariat fragen, ob es zu einzelnen Journals Zugang gibt.
Danke für Ihr Verständnis!
AADEBUG - International Workshop on Automated and Algorithmic Debugging
1993 1 - PC 303 2000 4 - PC 497
AAAI - National Conference on Artificial Intelligence
1986 1987 6 - PC 50, PC 51 1988 7 - PC 262, PC 263 1990 8 - PC 135, PC 136 1991 9 - PC 168, PC 169 1992 10 - PC 202 1993 11 - PC 217 1994 12 - PC 252, PC 253 1996 13 - PC 343, PC 344 == IAAI '96 1997 14 - PC 372 == IAAI '97 1998 15 - PC 396 == IAAI '98 1998 16 - PC 447 == IAAI '99Note: Placed with the Artificial Intelligence Proceedings
AAI - Applications of Artificial Intelligence
Note: Was part of SPIE - Symposium on Optical and Optoelectronic Applied Sciences and Engineering1986 4 - PC 45 1997 5 - PC 57Note: Placed with the Artificial Intelligence Proceedings
AI*IA - Congress of the Italian Association for Artificial Intelligence
1993 3 - B 688 1999 6 - PC 491; PC 459 (italian)
AID - International Conference on Artificial Intelligence in Design
1996 4 - PC 307 1998 5 - PC 385
AIPS - International Conference on Artificial Intelligence Planning and Scheduling
Note: was: International Conference on Artificial Intelligence Planning Systems1992 1 - PC 20 2000 5 - PC 490
ASE - IEEE International Conference on Automated Software Engineering
1997 12 - PC 381
CAIA - Conference on Artificial Intelligence Applications
1984 1 - PC 5 1985 2 - PC 14 1987 3 - PC 28 1988 4 - PC 72 1989 5 - PC 112 1990 6 - PC 123 1991 7 - PC 163, PC 164 1992 8 - not available anymore 1993 9 - not available anymore 1994 10 - PC 239 1995 11 - PC 341 1996 12 - not available anymore 1997 13 - not available anymore 1998 14Note: Placed with the Artificial Intelligence Proceedings
CAV - Computer Aided Verification
1995 7 - PC 405 1996 8 - PC 406 1997 9 - PC 407 1998 10 - PC 408
CESA - International Multiconference on Computational Engineering in System Applications
1996 - PC 304, PC 305, PC 306
CG - International Conference on Computers and Games
2000 2 - PC 526
CHI - Conference on Human Factors in Computing Systems
1986 1987 - PC 30 = GI '87 1988 - PC 83 1989 1990 - PC 130 1991 - PC 159 1992 1993 1994 - PC 281 1995 1996
CIA - Workshop on Cooperative Information Agents
1997 1 - PC 450
COMPSAC - International Conference on Computer Software & Applications
1985 9 - PC 15 1986 10 - PC 31 1987 11 1988 12 1989 13 1990 14 1991 15 1992 16 1993 17 1994 18 1995 19 1996 20 1997 21 1998 22 - PC 415
CRYPTO - Annual International Cryptology Conference
1999 19 - PC 465
CP - International Conference on Principles and Practice of Constraint Programming
See also: PPCP - Workshop on Principles and Practice of Constraint Programming1995 1 - PC 288 1996 2 - PC 441 1997 3 - PC 380 1998 4 - ordered
COCOON - Annual International Conference on Computing and Combinatorics
1995 1 1996 2 1997 3 1998 4 1999 5 - PC 463
CSL - International Workshop on Computer Science Logic
Note: Starting from 1991(?) this was also the Annual Conference of the European Association for Computer Science Logic (EACSL)1985 9 - PC 15 1997 11 - PC 412
DEXA - International Conference on Database and Expert Systems Applications
1990 1 - PC 132, PC 478 1991 2 - PC 479 1992 3 - PC 480 1993 4 1994 5 1995 6 1996 7 - PC 320, PC 321 1997 8 1998 9 1999 10 - PC 474
DOOD - Deductive and Object-Oriented Databases
Note: Placed with the Database Proceedings1989 1 - ordered 1991 2 - ordered 1993 3 - PC 402 1995 4 - PC 403 1997 5 - PC 404
DX - International Workshop on Principles of Diagnosis
1990 1 - PC 133, PC 621 = PODIW '90 1991 2 - PC 296 1992 3 - PC 297 1993 4 - PC 226 1994 5 - PC 258 1995 6 - PC 285 1996 7 - PC 346 1997 8 - PC 370 1998 9 - PC 386 1999 10 - PC 446 2000 11 - PC 481 2001 12 - PC 507 2002 13 - PC 532, PC 620Note: Placed with the Artificial Intelligence Proceedings
EC2 - International Workshop on Expert Systems and their Applications
1985 5 - PC 3, PC 4 1989 9 - PC 87, PC 88, PC 89, PC 93, PC 94, PC95 1990 10 - PC 154
ECAI - European Conference on Artificial Intelligence
1986 7 1988 8 - PC 77 1990 9 - PC 137 1992 10 - PC 203 1994 11 - PC 397 1996 12 - PC 323 1998 13 - PC 398 2000 14 - PC 495Note: Placed with the Artificial Intelligence Proceedings
EDS - International Conference/Workshop on Expert Database Systems
Note:In 1984 there was the 1st Workshop on Database Systems by the ACM.
In 1986 there was the 1st Conference sponsored by a University.
In 1988 there was the 2nd Conference sponsored again by the ACM.
Note: Placed with the Database Proceedings
1984 1 - PC 48, PC 49 1986 1 - PC 54 1988 2 - PC 62
ECHT - ACM Conference on Hypertext
1992 4 - PC 475
ECOOP - European Conference on Object-Oriented Programming
1986 1987 1988 2 - PC 64 1989 3 - PC 105 1990 4 - PC 139 = OOPSLA '90 1991 5 - PC 173 1992 6 - PC 198 1993 7 - B 667 1994 8 1995 9 1996 10 - PC 317 1997 11 - PC 409 1998 1999 13 - PC 509
EDBT - International Conference on Extending Database Technology - Advances in Database Technology
1988 - PC 65 1990 - PC 125 1992 - B 546 1993 1994 1995 1996 1997 1998 6 - PC 411Note: Placed with the Database Proceedings
ER - International Conference on Conceptual Modeling
Note: in 1995, was: OO-ER - Object-Oriented and Entity-Relationship ModellingNote: until 1994, was: ERA - International Conference on Entity-Relationship Approach
1996 15 - PC 332 1997 16 - PC 387 1998 17 - PC 505 1999 18 - PC 506Note: Placed with the Database Proceedings
ERA - International Conference on Entity-Relationship Approach
Note: in 1995 renamed to: OO-ER - Object-Oriented and Entity-Relationship ModellingNote: in 1996 renamed to: ER - International Conference on Conceptual Modeling
1985 4 - PC 19 1986 5 1987 6 1988 7 1989 8 1990 9 - PC 140 1990 10 1992 11 - B 615 1993 12 1994 13Note: Placed with the Database Proceedings
EUFIT - European Congress on Fuzzy and Intelligent Technologies (and Soft Computing)
1993 1 - PC 222, PC 223, PC 224 1994 2 1995 3 1996 4 - PC 347, PC 348, PC 349
FC - International Conference on Financial Cryptography
1999 7 - PC 467
FCRC - Annual IEEE Conference on Computational Complexity
Note: until 1995, was: SICT - Annual Structure in Complexity Theory Conference1996 11 - PC 335Note: Placed with the Theoretical Computer Science Proceedings
FOCS - Annual Symposium on Foundations of Computer Science
1986 1987 1988 1989 1990 1991 1992 33 - PC 235 1993 34 - PC 228 1994 35 - not available anymore 1995 36 - not available anymore 1996 37 - PC 413 1997 38 - not available anymore 1998 39 - orderedNote: Placed with the Theoretical Computer Science Proceedings
FUZZ-IEEE - IEEE International Conference on Fuzzy Systems
1996 5 - PC 338, PC 339, PC 340
HCI - (International) Conference on Human-Computer Interaction
1987 2 - B172, B 173, B 174 (abridged) 1989 3 1991 4 - B 514, B 515 1993 5 - B 707, B 708 1994 1995 1996
IAAI - Innovative Applications of Artificial Intelligence
Note: Volumes 1 and 2 have no reference to a conference.1989 1 - B 301 1990 2 - B 507 1991 3 - B 504 1992 4 - B 676 1993 5 - PC 59, PC 259 1994 6 1995 7 1996 8 - PC 343, PC 344 == AAAI '96 1997 9 - PC 372 == AAAI '97 1998 10 - PC 396 == AAAI '98 1999 11 - PC 447 == AAAI '99 2000 12 2001 13 - PC 548 2002 14 2003 15 - PC 549; PC 550Note: Placed with the Artificial Intelligence Proceedings
IAT - IEEE/WIC/ACM International Conference on Agent Technology
2003 - PC 587 2004 - PC 560
IATA - International Workshop on Intelligent Agents for Telecomunication Applications
1996 1 1998 2 - PC 462
ICALP - International Colloquium on Automata, Languages and Programming
2001 28 - PC 525Note: Placed with the Theoretical Computer Science Proceedings
ICCI - International Conference on Computing and Information - Advances in Computing & Information
1989 - PC 90 1990 - PC 126 1992 4 - PC 199
ICDE - International Conference on Data Engineering
Note: Placed with the Database Proceedings1986 2 - PC 25 1987 3 - PC 43 1988 4 - PC 63 1989 5 - PC 85 1990 6 - PC 120 1991 7 - PC 150, PC 151 1992 8 - PC 282 1993 9 - PC 209 1994 10 - PC 265 1995 11 1996 12 1997 13 1998 14 1999 15 - PC 503 2000 16 - PC 504 2001 17 2002 18 2003 19 - PC 539; PC 545
ICDT - International Conference on Database Theory
1986 - B 139 1995 5 - B 757
ICLP - International Conference on Logic Programming
Note: Placed with the Logic Programming Proceedings1988 5 - PC 74, PC 75 == JICSLP '88 1989 6 - B 274 1990 7 - B 445 1991 8 - PC 162 1992 9 - PC 309 (L) == JICSLP '92 1993 10 - PC 308 (L) 1994 11 - PC 254 1995 12 - PC 350 (L) 1996 13 - PC 324 == JICSLP '96 1997 14 - PC 369 1998 15 - PC 384 == JICSLP '98 1999 16 - PC 469
ICMCS - International Conference on Multimedia Computing and Systems
1999 6 - PC 488, PC 489
ICSE - International Conference on Software Engineering
2000 22 - PC 483 2001 23 - PC 524
ICTAI - International Conference on Tools with Artificial Intelligence
2000 12 - PC 496Note: Placed with the Artificial Intelligence Proceedings
IEA/AIE - International Conference on Industrial & Engineering Applications of AI & Expert Systems
1989 2 - PC 91, PC 92 1990 3 - PC 128, PC 129 1991 4 1992 5 1993 6 - PC 212 1994 7 1995 8 1996 9 - PC 302 1997 10 1998 11 1999 12 - PC 455 2000 13 - PC 487 2001 14 - PC 512Note: Placed with the Artificial Intelligence Proceedings
IJCAI - International Joint Conference on Artificial Intelligence
1969 1 - ordered 1971 2 - PC 430 1973 3 - PC 431 1975 4 - PC 432 1977 5 - PC 433, PC 434 1979 6 - PC 435, PC 436 1981 7 - PC 437, PC 438 1983 8 - PC 439, PC 440 1985 9 - PC 6, PC 7 1987 10 - PC 39, PC 40 1989 11 - PC 107, PC 108 1991 12 - PC 170, PC 171 1993 13 - PC 218, PC 219 1995 14 - PC 277, PC 278 1997 15 - PC 377, PC 378 1999 16 - PC 448, PC 449 2001 17 - PC 522, PC 523 2003 18 - PC 546; PC 547 2005 19 - PC 583Note: Placed with the Artificial Intelligence Proceedings
IJCAR - International Joint Conference on Automated Reasoning
2004 2 - PC 559
ILPS - International Symposium Logic Programming
Note: Placed with the Logic Programming Proceedings1985 - PC 47 1986 - PC 41 1987 1988 - PC 74, PC 75 == JICSLP '88 1989 1990 1991 - PC 352 (L) 1992 - PC 309 (L) == JICSLP '92 1993 - PC 230 1994 - PC 351 (L) 1995 - PC 298 1996 - PC 324 == JICSLP '96 1997 - PC 379; PC 383 1998 - PC 384 == JICSLP '98
INAP - International Conference on Applications of Prolog
1999 12 - PC 477 (includes DDLP)
INFORMATIQUE - International Conference on Interface to Real & Virtual Worlds
1992 - PC 200
IS - International Multi-Conference Information Scociety
2002 5 - PC 537
ISMIS - International Symposium on Foundations of Intelligent Systems
1997 10 - PC 410
ISWC - International Semantic Web Conference
2002 1 - PC 538 2003 2 2004 3 2005 4 - PC 574
IUI - International Conference on Intelligent User Interfaces
2003 7 - PC 551 2004 8 - PC 552; PC 553 2005 9 - PC 584 2006 10 - PC 585
LICS - IEEE Symposium on Logic in Computer Science
1986 - PC 32 1987 1988 1989 1990 1991 1992 7 - PC 236 1993 8 - PC 227 1994 9 - PC 353 1995 10 - PC 273 1996 11 - PC 331 1997 12 1998 13 - PC 470 1999 14 - PC 471 2000 15 2001 16 2002 17 - PC 534; PC 535Note: Placed with the Theoretical Computer Science Proceedings
LPNMR - International Conference on Logic Programming and Nonmonotonic Reasoning
Note: Placed with the Logic Programming Proceedings1991 1 1993 2 1995 3 1997 4 1999 5 - PC 468
JICSLP - Joint International Conference and Symposium on Logic Programming
Note: (in nicht vermerkten Jahrgaengen gab es getrennte Konferenzen und Symposia)Note: Placed with the Logic Programming Proceedings
1988 5 - PC 74, PC 75 1992 - PC 309 (L) 1996 - PC 324 1998 - PC 384
KDD - International Conference on Knowledge Discovery and Data Mining
1995 1 - PC 279
KI - Joint German/Austrian Conference on AI
Note: This Conference has no actual numberingNote: Placed with the Artificial Intelligence Proceedings
1986 (1) 2001 (2) - PC0518 = 24th German, 9th Austrian Conference on AI
KR - Principles of Knowledge Representation and Reasoning
Note: Placed with the Artificial Intelligence Proceedings1989 1 - PC 97 1991 2 - PC 167 1992 3 - PC 207 1994 4 - PC 240 1996 5 - PC 355 1998 6 - PC 382 2000 7 - PC 493
KRDB - International Workshop on Knowledge Representation meets Databases
Note: Placed with the Database Proceedings2001 8 - PC 521
MIC - Metaheuristics International Conference
2001 4 - PC 519, PC 520
ML - International Workshop on Machine Learning
Note: Placed with the Artificial Intelligence Proceedings1986 1987 4 - PC 37 1988 5 - PC 73 1989 6 - PC 122, PC 153 1990 7 - PC 142 1991 8 - PC 174 1992 1993 1994 1995 1996
NMR - International Workshop on Non-Monotonic Reasoning
2002 9 - PC 536
OOPSLA - Conference on Object-Oriented Programming Systems, Languages and Applications
1986 - PC 191 1987 1988 1989 1990 - PC 139 = ECOOP '90 1991 1992 7 - PC 206 1993 8 - PC 356 1994 9 - PC 357 1995 10 - PC 358 1996 11 - PC 359
PATAT - International Conference on Practice and Theory of Automated Timetabling
1995 1 - PC 362 1997 2 - PC 466 2000 3 - PC 508 2002 4 - PC 530; PC 557
POPL - Annual ACM Symposium on Principles of Programming Languages
1986 13 - PC 19 1987 1988 1989 1990 1991 1992 1993 1994 1995 1996
PODS - ACM SIGACT-SIGMOD-SIGART Symposium on the Principles of Database Systems
Note: Placed with the Database Proceedings1983 2 - PC 21 1984 3 - PC 22 1985 4 - PC 23 1986 5 - PC 24 1987 6 - PC 38, PC 611 1988 7 - not available anymore 1989 8 - PC 82, PC 612 1990 9 - PC 283 1991 10 - not available anymore 1992 11 - PC 195 1993 12 - PC 213, PC 613 1994 13 - PC 242; PC 513 1995 14 - PC 292 1996 15 - PC 313 (L), PC 330 1997 16 - PC 371 1998 17 1999 18 2000 19 2001 20 - PC 514 2002 21 - PC 527 2003 22 - PC 580 2004 23 - PC 581 2005 24 - PC 582
PPCP - Workshop on Principles and Practice of Constraint Programming
See also: CP - Conference on Principles and Practice of Constraint Programming1993 1 - not available anymore 1994 2 - PC 284, B 755
PPSWR - Principles and Practice of Semantic Web Reasoning
2004 2 - PC 558
QR - International Workshop on Qualitative Reasoning (about Physical Systems)
1986 1987 1988 1989 1990 1991 5 - PC 165 1992 6 1993 7 1994 8 1995 9 1996 10 - PC 326 1997 11 1998 12 - PC 473 1999 13 - PC 445 2000 14 - PC 482Note: Placed with the Artificial Intelligence Proceedings
SAB - International Conference on Simulation od Adaptive Behavior: From Animals to Animats
1990 1 1992 2 1994 3 1996 4 1998 5 - PC 414
SAT - Workshop on the Satisfiability Problem
1998 2 - PC 388
SEKE - International Conference on Software Engineering and Knowledge Engineering
1993 5 - PC 221 1994 6 1995 7 - PC 271
SICT - Annual Structure in Complexity Theory Conference
Note: in 1996 renamed to: FCRC - Annual IEEE Conference on Computational Complexity1986 1 1987 2 1988 3 1989 4 1990 5 1991 6 1992 7 - PC 234 1993 8 - PC 237 1994 9 - PC 299 1995 10 - PC 314Note: Placed with the Theoretical Computer Science Proceedings
SIGMOD - International Conference on Management of Data
Note: Placed with the Database Proceedings1985 - PC 13, PC 598 1986 - PC 53, PC 599 1987 - PC 42, PC 600 1988 - PC 601 1989 - PC 602 1990 - PC 603 1991 20 - PC 161, PC 604 1992 21 - PC 196, PC 605 1993 22 - PC 214, PC 606, PC 607 1994 23 - PC 241; PC 243 1995 24 - PC 293, PC 608 1996 25 - PC 329, PC 609 1998 - PC 610 2002 - PC 528; PC 529 2003 - PC 577 2004 - PC 578 2005 - PC 579
SODA - ACM/SIGACT - SIAM Symposium on Discrete Algorithms
1990 1 - PC 417 1991 2 - PC 418 1992 3 - PC 419 1993 4 - PC 420 1994 5 - PC 421 1995 6 - PC 422 1996 7 - PC 423 1997 8 - not available anymore 1998 9 - PC 424
STACS - Annual Symposium on Theoretical Aspects of Computer Science
1999 16 - PC 442
STOC - Annual ACM Symposium on the Theory of Computing
1986 1987 1988 1989 1990 1991 1992 1993 1994 26 - PC 251 1995 27 - PC 274 1996 28 - PC 325 1997 29 - PC 443 1998 30 - PC 444Note: Placed with the Theoretical Computer Science Proceedings
TARK - Conference on Theoretical Aspects of Reasoning about Knowledge
1986 1988 2 - PC 141; PC 541 1990 3 - PC 143; PC 542 1992 4 - PC 315; PC 543 1994 5 - PC 260 1996 6 - PC 544 2003 9 - PC 586
TES - International Workshop on Technologies for E-Services
2000 1 2001 2 - PC 517
TOOLS - International Conference on Technology of Object-Oriented Languages and Systems
Note: The Conference is held more than once a year.1990 2 - PC 131 1991 4 - PC 145 1991 5 - B 529
VLDB - International Conference on Very Large Data Bases
Note: Placed with the Database Proceedings1982 8 - PC 59 1983 9 - PC 280 1984 10 - PC 1 1985 11 - PC 10 1986 12 - PC 9 1987 13 - PC 2 1988 14 - PC 78 1989 15 - PC 102 1990 16 - PC 144 1991 17 - PC 176 1992 18 - PC 268 1993 19 - PC 269 1994 20 - PC 270 1995 21 - PC 425 1996 22 - PC 426 1997 23 - PC 427 1998 24 - PC 428 1999 25 2000 26 2001 27 - PC 515 2002 28 - PC 533 2003 29 - PC 575 2004 30 - PC 576
WISE - Workshop on Intelligent Software Engineering
Note: Held at ICSE - International Conference on Software Engineering2000 3 - PC 485
WLP - Workshop on Logic Programming
Note: Placed with the Logic Programming Proceedings1997 12 - PC 391 1998 13 - PC 458
Mail:
Last modified: 12. 08. 2004