Kracht, Marcus, ed.

Ford, Anton. Hornsby, Jennifer. Stoutland, Frederick.

Delon, Françoise. Kohlenbach, Ulrich. Maddy, Penelope. Stephan, Frank.

Cooper, S. Barry. Geuvers, Herman. Pillay, Anand. Väänänen, Jouko.

Dimitracopoulos, Costas. Newelski, Ludomir. Normann, Dag. Steel, John R..

O'Hear, Anthony.

World Congress on Paraconsistency (2nd : 2000 : Sô Paulo, Brazil) Carnielli, Walter A. (Walter Alexandre) Coniglio, Marcelo E., 1963- D'Ottaviano, Itala M. L., 1944-

ACM International Symposium on Field-Programmable Gate Arrays (9th : 2001 : Monterey, Calif.) ACM Special Interest Group on Design Automation.

Angelelli, Ignacio, ed. Perez-Ilzarbe, Paloma, ed.

Futatsugi, Kokichi. Tamai, T. (Tetsuo) Nakagawa, A. T. (Ataru T.)

International Conference on Logic Programming (16th : 1999 : Las Cruces, N.M.) De Schreye, Danny.

International Conference on Logic Programming (14th : 1997 : Louvain, Belgium) Naish, Lee, 1960-

Małuszyński, J. (Jan), 1941- Association for Logic Programming. International Symposium on Logic Programming (1997 : Port Washington, Long Island, N.Y.)

Joint International Conference and Symposium on Logic Programming (1996 : Bonn, Germany) Maher, Michael, 1959-

Sterling, Leon.

Lloyd, J. W. (John Wylie)

International Congress of Logic, Methodology, and Philosophy of Science (9th : 1991 : Uppsala, Sweden) Prawitz, Dag. Skyrms, Brian. Westerståhl, Dag, 1946-

Van Hentenryck, Pascal.

Pereira, Luís Moniz. Nerode, Anil, 1932-

International Conference on Logic Programming (10th : 1993 : Budapest, Hungary) Warren, David S.

Türkiye Felsefe Mantık Bilim Tarihi Sempozyumu (1st : 1986 : Ankara, Turkey) Görsoy, Kenan. Ankara Üniversitesi.

Logic Colloquium (1988 : Padova, Italy) Ferro, R. (Ruggero)

Logic Colloquium (1987 : Granada, Spain) Ebbinghaus, Heinz-Dieter, 1939-

International Congress of Logic, Methodology, and Philosophy of Science (8th : 1987 : Moscow, Russia) Fenstad, Jens Erik. Frolov, Ivan Timofeevich. Hilpinen, Risto.

Karpovsky, Mark G. International Workshop on Spectral Techniques and Fault Detection (1983 : Boston, Mass.)

European Symposium on Medieval Logic and Semantics (6th : 1983 : Balliol College) Lewry, P. Osmund, ed.

Southeast Asian Conference on Logic (1981 : Singapore) Chong, C.-T. (Chi-Tat), 1949- Wicks, M. J. (Malcolm John), 1928-

International Congress of Logic, Methodology, and Philosophy of Science (6th : 1979 : Hannover, Germany) Cohen, L. Jonathan (Laurence Jonathan)

Logic Colloquium (1981 : Marseille, France) Stern, Jacques, 1949- Herbrand, Jacques, 1908-1931.

Logic Symposion (1980 : Pátrai, Greece) Metakides, George, 1945-

Latin-American Symposium on Mathematical Logic (4th : 1978 : Santiago de Chile) Arruda, A. I. (Ayda Ignez) Chuaqui, R. Costa, Newton C. A. da.

Logic Colloquium (1978 : Mons, Belgium) Boffa, Maurice. Dalen, D. van (Dirk), 1932- McAloon, Kenneth.

Logic Colloquium (1977 : Wrocław, Poland) Macintyre, Angus. Pacholski, Leszek. Paris, J. B. (Jeff B.)

Logic Colloquium (1976 : Oxford) Gandy, R. O. (Robin O.) Hyland, John Martin Elliott.

Latin-American Symposium on Mathematical Logic (3rd : 1976 : State University of Campinas) Arruda, A. I. (Ayda Ignez) Costa, Newton C. A. da. Chuaqui, R.

International Congress for Logic, Methodology, and Philosophy of Science (4th : 1971 : Bucharest, Romania) Suppes, Patrick, 1922- International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science. Academia Republicii Socialiste România.

Conference on Alternative Semantics (1970 : Temple University) Leblanc, Hugues, 1924- Temple University. College of Liberal Arts. Association for Symbolic Logic.

Symposium on Non-standard Analysis (1970 : Oberwolfach, Germany) Luxemburg, W. A. J., 1929- Robinson, Abraham, 1918-1974, ed.

Scandinavian Logic Symposium (2nd : 1970 : University of Oslo) Fenstad, Jens Erik, ed. Association for Symbolic Logic.

International Colloquium on Mathematical Logic and Foundations of Set Theory (1968 : Jerusalem) Bar-Hillel, Yehoshua. Aḳademyah ha-leʼumit ha-Yiśreʼelit le-madaʻim. International Mathematical Union. Einstein Institute of Mathematics.

Conference on Intuitionism and Proof Theory (1968 : State University of New York at Buffalo) Kino, A. Myhill, John, 1923-1987. Vesley, Richard Eugene, 1932-

Logic Colloquium (11th : 1966 : Hannover, Germany) Schmidt, H. Arnold. Schütte, K. (Kurt)

International Colloquium in the Philosophy of Science (1965 : Bedford College) Lakatos, Imre.

International Congress for Logic, Methodology, and Philosophy of Science (3rd : 1967 : Amsterdam, Netherlands) Rootselaar, B. van (Bob) Staal, J. F.

Logic Colloquium (10th : 1965 : University of Leicester) Crossley, John N.

International Congress of Logic, Methodology, and Philosophy of Science (1960) Nagel, Ernest, 1901-1985. Suppes, Patrick, 1922- Tarski, Alfred.

Crossley, John N. Dummett, Michael, 1925-2011.

Henkin, Leon. Suppes, Patrick, 1922- Tarski, Alfred.