Search results

{{Short description|American computer scientist}} | field = [[Computer science]] ...

...inger Science+Business Media|Springer]] in the [[Lecture Notes in Computer Science|LNCS]] series until 2009, and since then in the [[LIPIcs]] series published ...in [[Dijon]], [[France]] in September 1983. RTA took part in the federated conferences Federated Logic Conference (FLoC) and [[Rewriting, Deduction, and Programmi ...

...or of [[computer science]] in the [[Laboratory for Foundations of Computer Science]], at the [[University of Edinburgh School of Informatics|School of Informa ...ornia, Berkeley]] and [[University of Edinburgh]] with degrees in computer science. His research interests include: [[algebraic specification]] and [[formal m ...

...ications are published as [[Electronic Proceedings in Theoretical Computer Science]]. ...n conjunction with several other logic conferences, in the Federated Logic Conferences (FLoC) series. ...

...ion Theory, whose purpose is support of research in [[theoretical computer science]]. It was founded in 1968 by [[Patrick C. Fischer]].<ref>{{citation|journal ==Conferences== ...

{{Short description|Annual conference in computer science}} {{About|the academic conference|the branch of computer science|formal verification}} ...

The '''Department of Computer Science''' ({{langx|sk|Katedra informatiky}}) is a department of the [[Faculty of ...of the curriculum covered by the department at present includes courses on computer architecture, system software, networks, databases, software design, design ...

{{Short description|Center for Discrete Mathematics and Theoretical Computer Science at Rutgers University}} ...Corporation|NEC]]. It was founded in 1989 with money from the [[National Science Foundation]]. Its offices are located on the Rutgers campus, and 250 membe ...

| discipline = [[Theoretical computer science]] ...ger Science+Business Media|Springer]] in their [[Lecture Notes in Computer Science]], but beginning in 2016 they are instead published by the [[Leibniz Intern ...

...1995, the proceedings of this conference have been published by [[Springer Science+Business Media|Springer]]'s [[Lecture Notes in Artificial Intelligence|LNAI [[Category:Theoretical computer science conferences]] ...

...025|reason=The list needs to be brought up to date with modern and notable conferences.}} ...ly conferences with separate articles are included; within each field, the conferences are listed alphabetically by their short names. ...

...peration between the theoretical and the practical community in [[computer science]]. ...omponent/content/article/497 European Association for Theoretical Computer Science / About the Association / Silver Jubilee of EATCS]</ref> ...

{{Science|expanded=Branches}} ...[[physical systems]] and [[social system]]s, respectively, using [[theory|theoretical]] and [[empirical]] methods, the formal sciences use language [[tools]] con ...

{{short description |Conferences series on automated reasoning, automated deduction, and related fields}} ...rence on Automated Deduction]] (CADE), and CADE has always been one of the conferences partaking in IJCAR. ...

...apsulates a broad range of topics related to the study and research of the theoretical realm of [[database]]s and [[database management system]]s. ...plexity theory|computational complexity]] and [[expressive power (computer science)|expressive power]] of queries, [[finite model theory]], [[database design] ...

...article on the topic of logic in computer science, see [[logic in computer science]].}} ...r in renowned international journals such as [[Logical Methods in Computer Science]] and [[ACM Transactions on Computational Logic]]. ...

{{Short description|Danish computer scientist}} | fields = [[Computer science]] ...

...Conference on Automated Deduction - conferences|url=http://www.cadeinc.org/conferences|publisher=CADE, Inc|accessdate=4 May 2013}}</ref> ...for Automated Reasoning]] to organize the formerly individually organized conferences. ...

| discipline = [[Computer science]], [[formal methods]] | editor = [[Jim Woodcock]], [[Cliff Jones (computer scientist)|Cliff Jones]] ...

...M [[Symposium on Principles of Database Systems]] (PODS) conference on the theoretical aspects of database systems. PODS began in 1982, and has been held jointly ...f these is the [[SIGMOD Edgar F. Codd Innovations Award]] (named after the computer scientist [[Edgar F. Codd]]), which is awarded to "innovative and highly si ...