Skip to Content

TU Wien Fakultät für Informatik DBAI Database and Artificial Intelligence Group
Top-level Navigation:

Path: DBAI > proceedings

Tools: Drucken


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!



A B C D E F H I J K L N M O P Q S T V W

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 '99
Note: Placed with the Artificial Intelligence Proceedings

AAI - Applications of Artificial Intelligence

Note: Was part of SPIE - Symposium on Optical and Optoelectronic Applied Sciences and Engineering
1986  4 - PC 45
1997  5 - PC 57
Note: 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 Systems
1992  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 14
Note: 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 Programming
1995  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 Proceedings
1989  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 620
Note: 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 495
Note: 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 411
Note: Placed with the Database Proceedings

ER - International Conference on Conceptual Modeling

Note: in 1995, was: OO-ER - Object-Oriented and Entity-Relationship Modelling
Note: 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 506
Note: Placed with the Database Proceedings

ERA - International Conference on Entity-Relationship Approach

Note: in 1995 renamed to: OO-ER - Object-Oriented and Entity-Relationship Modelling
Note: 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 13
Note: 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 Conference
1996 11 - PC 335
Note: 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 - ordered
Note: 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 550
Note: 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 525
Note: 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 Proceedings
1986  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 Proceedings
1988 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 496
Note: 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 512
Note: 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 583
Note: 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 Proceedings
1985    - 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 535
Note: Placed with the Theoretical Computer Science Proceedings

LPNMR - International Conference on Logic Programming and Nonmonotonic Reasoning

Note: Placed with the Logic Programming Proceedings
1991  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 numbering
Note: 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 Proceedings
1989 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 Proceedings
2001  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 Proceedings
1986  
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 Proceedings
1983  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 Programming
1993  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 482
Note: 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 Complexity
1986 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 314
Note: Placed with the Theoretical Computer Science Proceedings

SIGMOD - International Conference on Management of Data

Note: Placed with the Database Proceedings
1985    - 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 444
Note: 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 Proceedings
1982  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 Engineering
2000 3 - PC 485

WLP - Workshop on Logic Programming

Note: Placed with the Logic Programming Proceedings
1997 12 - PC 391
1998 13 - PC 458

Mail:
Last modified: 12. 08. 2004

Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist das Institut für Informationssysteme an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. / Disclaimer.