- ACM Special Interest Group for Automata and Computability Theory (6)
- IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing (6)
- IEEE Computer Society (5)
- COMPSAC (4)
- IEEE Computer Society. Technical Committee on Computer Architecture (4)
- Symposium on Computer Arithmetic (4)
- Symposium on Logic in Computer Science (4)
- ACM Symposium on Theory of Computing (3)
- International symposium on programming (3)
- ACM Special Interest Group in Programming Languages (2)
- Bjørner, D. (Dines), 1937- (2)
- Conference on Foundations of Software Technology and Theoretical Computer Science (2)
- IFIP Technical Committee 2--Programming (2)
- IFIP Working Conference on Formal Description of Programming Concepts (2)
- International Conference on Symbolic and Logical Computing (2)
- Johnson, Eric (L. Eric) (2)
- Kozen, Dexter, 1951- (2)
- Logics of Programs Workshop (2)
- Nori, Kesav V. (2)
- North Atlantic Treaty Organization. Scientific Affairs Division (2)
- Robinet, Bernard, 1941- (2)
- ACM Symposium on LISP and Functional Programming (1)
- ACM Symposium on Principles of Programming Languages (1)
- Applied Probability Technical Section-College of the Operations Research Society of America, the Institute of Management Sciences (1)
- Association for Symbolic Logic (1)
- Australian Atomic Energy Commission (1)
- Biermann, Alan W., 1939- (1)
- Broy, M., 1949- (1)
- Cambridge Interactive Systems (Great Britain) (1)
- Clarke, Edmund (1)
- Colloquium on Trees in Algebra and Programming (1)
- Comitato nazionale per le scienze matematiche (Italy) (1)
- Commission of the European Communities (1)
- Compcon (1)
- Conference on Category Theory and Computer Science (1)
- Conference on Mathematics of Program Construction (1)
- Copenhagen Winter School on Abstract Software Specifications (1)
- Dahl, Veronica, 1950- (1)
- Dembiński, Piotr (1)
- Dershowitz, Nachum, 1951- (1)
- Dezani-Ciancaglini, Mariangiola (1)
- Disney, Ralph L., 1928- (1)
- Díaz, Josep, 1950- (1)
- Earnshaw, Rae A., 1944- (1)
- Ercegovac, Miloš Dragutin (1)
- European Association for Theoretical Computer Science (1)
- European Symposium on Programming (1)
- Ferraté, Gabriel A., 1932- (1)
- Ford, B. (1)
- Franco-Japanese Symposium on Programming of Future Generation Computers (1)
- Ganzinger, Harald, 1950- (1)
- Gruppo nazionale per l'informatica matematica (Italy) (1)
- Guiho, Gérard, 1945- (1)
- IEEE Computer Society. Technical Committee on Computer Languages (1)
- IEEE Computer Society. Technical Committee on VLSI (1)
- IFAC/IFIP Symposium on Software for Computer Control (1)
- Institut national de recherche en informatique et en automatique (France) (1)
- International Colloquium on the Formalization of Programming Concepts (1)
- International Conference on Computer Languages (1)
- International Conference on Rewriting Techniques and Applications (1)
- International Conference on Tools, Methods, and Languages for Scientific and Engineering Computation (1)
- International Federation of Automatic Control (1)
- International Seminar on Problems and Methodologies in Mathematical Software Production (1)
- International Workshop on Natural Language Understanding and Logic Programming (1)
- Japan-US Joint Seminar on Discrete Algorithms and Complexity Theory (1)
- Johnson, David S., 1945- (1)
- Joint Ada Europe/Ada TEC Conference (1)
- Kumar, S. (Sanjeev) (1)
- Messina, P. C. (Paul C.), 1943- (1)
- Montanari, U. (Ugo) (1)
- Murli, A. (Almerico), 1936- (1)
- NATO Advanced Research Workshop on Program Transformation and Programming Environments (1)
- NATO Advanced Study Institute (1)
- NATO Advanced Study Institute on Control Flow and Data Flow : Concepts of Distributed Programming (1)
- NATO Advanced Study Institute on Fundamental Algorithms for Computer Graphics (1)
- NATO Science Committee (1)
- National Science Foundation (U.S.) (1)
- Nivat, Maurice (1)
- Ott, Teunis J. (1)
- Paul, Manfred, 1932- (1)
- Pepper, Peter (1)
- Pitt, David (David H.) (1)
- Puente, E. A. (1)
- RIMS Symposium on Software Science and Engineering (1)
- Ramos, I. (Isidro), 1943- (1)
- Rault, J.-C (1)
- SIGART (1)
- Saint-Dizier, Patrick, 1954- (1)
- Salwicki, Andrzej (1)
- Snepscheut, Jan L. A. van de, 1953- (1)
- Swartzlander, Earl E. (1)
- Symposium on Language Design and Programming Methodology (1)
- Symposium on Logics of Programs and Their Applications (1)
- Symposium on Mathematical Foundations of Computer Science (1)
- Teller, J. (1)
- Thomasset, François (1)
- Tobias, Jeffrey M., 1953- (1)
- University of New South Wales (1)
- University of Southern California. Computer Science Dept. (1)
- University of Wisconsin--Milwaukee. Dept. of Electrical Engineering and Computer Science (1)
>次へ