Marek Perkowski, Vice-Chair for Technical Activities.
This page includes information in English, German, French, Spanish, Japanese and Polish.
ISMVL SYMPOSIA IN THE PAST
1-st ISMVL - 1971,
2-nd ISMVL - 1972,
3-rd ISMVL - 1973,
4-th ISMVL - 1974,
5-th ISMVL - 1975,
6-th ISMVL - 1976,
7-th ISMVL - 1977,
8-th ISMVL - 1978,
9-th ISMVL - 1979,
10-th ISMVL - 1980,
11-th ISMVL - 1981,
12-th ISMVL - 1982,
13-th ISMVL - 1983,
14-th ISMVL - 1984,
15-th ISMVL - 1985,
16-th ISMVL - 1986,
17-th ISMVL - 1987,
18-th ISMVL - 1988,
19-th ISMVL - 1989,
20-th ISMVL - 1990, Charlotte, North Carolina, USA.
21-st ISMVL - 1991, Britsh Columbia, Canada.
22-nd ISMVL - 1992, Sendai, Japan.
23-rd ISMVL - 1993, Sacramento, USA.
24-th ISMVL - 1994, Boston, USA.
25-th ISMVL - 1995, Indiana University, Bloomington. USA.
Fuzzy archive: ISMVL'95: Multi-Valued Logic Symposium: Program/Registration
26-th ISMVL - 1996, Santiago De Compostela, Spain.
26th. INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC May 29 - 31, 1996. and 1996 Workshop on Post Binary Ultra-Large Scale Integration (ULSI'96)
Grupo de Sistemas Intelixentes26th IEEE International Symposium. on Multiple Valued Logic. ISMVL '96. University of Santiago de Compostela. Santiago de Compostela, Galicia, SPAIN.
Grupo de Sistemas IntelixentesSome places about Galicia. Visit to Galicia (Dep. Electronica e Sistemas. Univ. A Corunha.
CALL FOR PARTICIPATION: ULSI '96CALL FOR PARTICIPATION: ULSI '96. 1996 Workshop on Post-Binary Ultra-Large Scale Integration. May 28, 1996. University of Santiago de Compostela. Santiago.
Fuzzy archive: CFP: 26th IEEE Int. Symp. Multiple-valued Logic (ISMVL '96)CFP: 26th IEEE Int. Symp. Multiple-valued Logic (ISMVL '96) Alberto J. Bugarin Diz (elbugari@usc.es) Thu, 3 Aug 1995
InternationaL Symposium On Multiple-Valued Logic26th IEEE International Symposium on Multiple Valued Logic. PRELIMINARY PROGRAMME.
26-th InternationaL Symposium On Multiple-Valued Logic
InternationaL Symposium On Multiple-Valued LogicThis map is presented to aid you to choose the hotel.
Contact PersonalPlease email to: Prof. Alejandro Sobrino. Dept. Loxica e Filosofia da Ciencia. Facultade de Filosofia. 15706 Santiago de Compostela, SPAIN.
Eventos (Lógica borrosa) Organizados: "A Lóxica Borrosa en Galicia: Teoría e Aplicacións". Curso de Verano de la Universidad de Santiago de Compostela..
Table of Contents -ISMVL '9626th IEEE International Symposium on Multiple-Valued Logic. (ISMVL '96) Table of Contents. Links are to abstracts.
Galicia / CienciaList of webs related to GALICIA, NW of the Iberian Peninsula.
27-th ISMVL - 1997, St. Francis Xavier University, Canada.
Getting to Antigonish. A detailed description on how to get to Nova Scotia by air, land, or sea, can be found here.
ISMVL-97 REFEREE REPORT This form is for the use of use of reviewers who have received a request for a review by regular post. Please complete the form...
Call for Papers. 27th IEEE International Symposium. on Multiple-Valued Logic. ISMVL '97. St. Francis Xavier University. Antigonish, Nova Scotia, Canada.
ISMVL-97 Advance Program1997 International Symposium on Multiple-Valued Logic.
Invited Talks. This year's symposium features three invited speakers: Ewa Orlowska from the Institute of Telecommunications in Warsaw, Poland
Submitted Abstracts for the 27th International Symposium on Multiple-Valued Logic (ISMVL '97)
Contact Persons. Symposium Chair. Prof. Gerhard Dueck. Dept. of Math. and Comp. Sci. St. Francis Xavier University Antigonish, Nova Scotia, B2G 2W5 Canada.
6th Workshop on Post-Binary. Ultra-Large-Scale Integration Systems. Best Western Claymore Inn. Antigonish, Nova Scotia, Canada. May 27, 1997.
ISMVL '97 Home PageMay 28-30, 1997. Program ... Hotel ... Getting Here ... Registration Form ... Post-Binary Workshop ... Invited Speakers.
28-th ISMVL - 1998, Fukuoka, Japan.
Feb. 05, 1998 CALL FOR PARTICIPATION 28th INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC ISMVL'98 MAY 27 - 29, 1998 FUKUOKA, JAPAN..
Committee of ISMVL'98. Symposium Chair. Prof. Tsutomu SASAO Dept. of Computer Science and Electronics Kyushu Institute of Technology Iizuka 820, JAPAN.
ISMVL'98 - 28th International Symposium on Multiple-Valued Logic - Fukuoka,
How to go to the ISMVL-98 Hotels from Fukuoka airport 1. The easiest way. Take a taxi.
Technical Visit of ISMVL-98 Date: May 29 Time: 13:30 -15:00 Conductor: Prof. Yutaka Hata
ISMVL'98 - Hotel mapHotel map 98. Back. sasao@cse.kyutech.ac.jp.
ISMVL'98ISMVL'98 The 28th IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC. Place: Software Research Park, Fukuoka, Kyushu, Japan. Date: May 27-29,1998.
MVL TC lists (1998)IEEE MVL Technical Committee Member List. Chair: Gerhard Dueck (1998-1999) Dept. of Math., Stats. and Comp. Sci. St. Francis Xavier University Antigonish,
RESEARCH AREAS IN MULTIPLE VALUED LOGIC.
UNCERTAINTY
Uncertainty Management. Uncertainty exists in both knowledge and data. There have been numerous attempts to manage different kinds of uncertainty in AI.
IMAGE PROCESSING
Texture Analysis Using Logical TransformStudy of Using Logical Transforms for Texture Analysis. JUSTIFICATION. One of the problems in Image Processing is the classification of a textured image.
KNOWLEDGE BASED SYSTEMS.
10 yearsContributions to KBS ARCHITECTURES. The research on Knowledge Based Systems has been one of the initial interests of the group that had continuity.
BIBLIOGRAPHIES
3TAP BibTeX-Entries ( 6-Feb-1996) abstracts and full versions of publications concering 3TAP. Publications in Books, Journals, Proceedings, Technical.
CLASSES AT UNIVERSITIES
CS 451: Many-Valued LogicMany-Valued Logics. There are many many-valued (or ``multiple-valued'') logics in addition to the one discussed in Gries, David (1981)
GENETIC ALGORITHMS
ISMVL '96Design of Multivalued Circuits using Genetic Algorithms. Wenjun Wang and Claudio Moraga University of Dortmund, Dept. C.Sc. 44221 Dortmund, Germany.
FUZZY AND GENETIC
Combination Fuzzy Logic-Genetic Algorithms BibliographyDECSAI, University of Granada. FL-GAs Page. Last updated: January 8, 1996.
Weird StuffWeird Stuff. Institution for Fuzzy Systems and Intelligent Control. 1996 Conference in Maui. Fuzzy. 26th IEEE International Symposium on Multiple-Valued..
SYMMETRY OF FUNCTIONS.
A Methodology for the Design of Totally Symmetric Multi-Valued Logic Circuits in Current-Mode CMOS. Robert J. Barton III and Douglas J. Fouts
PARADOXES
Archive: comp.theory04-Sep-1997 "Andrey I. Savov" Shortest path in matrix.
FUZZY AND NEURO-FUZZY LOGIC RESOURCES.
LivrosLógica Fuzzy. (Conjunto Nebulosos) Retorna. UMA PEQUENA APLICAÇÃO DA LÓGICA FUZZY. (Arnaldo Dias Belchior) Links de Interesse. TUTORIAL. CURSO
Links to fuzzy-related sitesLinks to fuzzy-related sites. People. Research. Software. Companies. Recent conferences. Miscellaneous. Please note: We would like to invite all
Fuzzy Logic and Neurofuzzy (Neuro-fuzzy) resources
Fuzzy Logic and Neurofuzzy (Neuro-fuzzy) resourcesFuzzy Logic and Neurofuzzy resources. This list holds links to fuzzy and neurofuzzy information on: E-Info: newsgroups, FAQs, mailing lists etc. Research.
To: Distribution From: David K. Kahaner Office of Naval Research Asia (From outside US): 23-17, 7-chome, Roppongi, Minato-ku, Tokyo 106 Japan
TU WIEN FUZZY ARCHIVE.
Fuzzy archive: ?Fuzzy Lottery?Fuzzy Lottery? Jim Townsend (townsend@infomatch.com) Sat, 22 Apr 95
Fuzzy archive: Re: I'm looking for introduction material on neuro-fuzzy control system. Detlef Nauck (nauck@ibr.cs.tu-bs.de) Wed, 2 Aug 95
Fuzzy archive by threadFuzzy archive by thread. About this archive. Messages sorted by:
Fuzzy archive by dateFuzzy archive by date.
Fuzzy archive by subject
Fuzzy archive: WWW of ISMVL'98WWW of ISMVL'98. Yutaka Hata (hata@comp.eng.himeji-tech.ac.jp) Sat, 31 Jan 1998
Fuzzy archive: phd thesis availablephd thesis available. Rene Jager (rjager@Simplex.NL) 1 Aug 1995 19:02:51
Fuzzy archive by subjectFuzzy archive by subject. About this archive. Messages sorted by:
Fuzzy archive by authorFuzzy archive by author. About this archive. Messages sorted
Fuzzy archive: Looking for fuzzy programmer. No money (yet)
Fuzzy archive by dateFuzzy archive by date. About this archive.
Fuzzy archive: Re: Using Linguistics in fuzzy controller?
Fuzzy archive by subjectFuzzy archive by subject. About this archive.
Fuzzy archive: Re: AI Graduate programs on the West Coast
Fuzzy archive by authorFuzzy archive by author. About this archive.
Fuzzy archive: FUZZY optimization freewareFUZZY optimization freeware. Philippe MARTIN (philippe.martin@jrc.it) Fri, 20 Sep 1996
Fuzzy archive: Method complex for minimizationMethod complex for minimization. Fco. Javier Garcia Ruiz (javgar@eis.uva.es) Fri, 24 Nov 1995
Fuzzy archive: October '96 short courses on Computational IntelligenceOctober '96 short courses on Computational Intelligence. IIS Corp (iiscorp@netcom.com) Fri, 20 Sep 1996
Fuzzy archive: SPECIAL BISC Seminar, MONDAY 22 April 1996, 320 Soda, 4-5:00pm
Fuzzy archive: Fuzzy TraficFuzzy Trafic. wardda@tuns.ca 24 Apr 1995 14:01:40 GMT.
Fuzzy archive by dateFuzzy archive by date. About this archive.
Fuzzy archive: Looking for Fuzzy Logic papers - Natural Language Modeling
Fuzzy archive: Centroid vs. Center-of-Gravity?Centroid vs. Center-of-Gravity? Yuan-Chi Chiu (ychiu@cs.UCR.EDU) 2 Aug 1995
Fuzzy archive by threadFuzzy archive by thread. About this archive.
Fuzzy archive by authorFuzzy archive by author. About this archive. Messages sorted by:
MACHINE LEARNING
MPMC - informations thématiquesModèles physiques et mathématiques de la cognition. Informations thématiques. PRADE
BIBLIOGRAPHY ON AUTOMATED DEDUCTION
ORA Canada Bibliography of Automated Deductioncites over 3,000 reports and papers. Go to http://www.ora.on.ca/biblio/biblio-prover-welcome.html for
HOMEPAGES AND PUBLICATIONS OF MVL RESEARCHERS
AAAAAAA
HERMAN AKDAG
Herman Akdag's Home Pageakdag@laforia.ibp.fr . Membre de l'equipe IA du L.E.R.I. (Universite de Reims Champagne Ardenne).
BBBBBB
BARTON III
A Multiple Valued Logic Full Adder Implementation.
BERNHARD BECKERT
Bernhard Beckert's BookmarksBernhard Beckert's Bookmarks. Bernhard Beckert's Home Page. Uni intern. Arbeitskreis Formale Methoden (AKFM)
ROBERT BIGNALL
ALBERTO BUGARIN DIZ
Alberto J. Bugarín Diz- GSI Profesor Titular de Universidade. Área de Ciencias da Computación e Intelixencia Artificial.
JON BUTLER
Publications of Jon T. Butler SELECTED MANUSCRIPTS. You can read the pdf files listed here by down-loading the free reader, Adobe Acrobat Amber.
DDDDDDD
GERHARD DUECK
Gerhard Dueck's Home PageGerhard W. Dueck. Associate Professor at. St. Francis Xavier University with the Mathematics, Computing, and Information Systems department.
EEEEEEEEE
Francesc Esteva Home Page. Full professor at the Technical University of Catalonia (UPC) and working as a Research Professor of the Spanish Scientific...
ESTEVA
IIIA-Publications-past F. Esteva, P. García-Calvés and L. Godo (1994); Enriched Interval Bilattices and Partial Many-Valued..
GGGGGGGGGGG
GULAK
Research PapersPUBLICATIONS. Publications Submitted to Refereed Journals for Review.
HHHHHHHHHHHHH
REINER HAEHNLE
Reiner Hähnle's Home PageWelcome to Reiner Hähnle's Home Page .
STRING{fac = "Formal Aspects of Computing"} @STRING{amai = "Annals of Mathematics and Artificial Intelligence"} @STRING{jsl = "Journal of Symbolic Logic"}.
Reiner Haehnle's Frequently Used WWW-PagesThis page is not maintained any longer. Please my Bookmarks instead. Reiner Hähnle's Frequently Used WWW-Pages. Bibliographic Links.
Selected PublicationsBack to Reiner's Home Page. Selected Publications. My personal bibliography containing BiBTeX entries for the following (and many more) papers is here...
3TAP: Publications by Authors3TAP: Publications by Authors (and year) The following is a complete list of all papers, report, and other publications written in connection with.
ANDRZEJ HLAWICZKA
88. Historia Zak..adu UC [wp]ZAK..AD UK..ADÓW CYFROWYCH I MIKROPROCESOROWYCH. Krótka Historia (1974-1994)
Short history. In Polish.
KKKKKKKKKKKKKK
MICHITAKA KAMEYAMA
KANAGAWA
Kanagawa
LIU
PublicationsPublications. X Liu, "Intelligent Data Analysis: Issues and Challenges", The Knowledge Engineering Review, 11(4), 365-371, (1996).
MMMMMMMMMMM
H.T. MOUFTAH
Home page http://bolongo.ee.queensu.ca:8000/www/dept/facpages/mouftah/
MIYAZAKI
Miyazaki - My Research
JON MUZIO
Jon Muzio'sMultiple Valued Logic: sites of interest. (1) A Summary by Dave Wessels. (2) International Symposium on Multiple-Valued Logic
NNNNNNNNNNNNNN
MASAMI NAKAJIMA
Masami Nakajima's Home Page....English Version click on top left.
OOOOOOOOOOO
PPPPPPPPPPPP
RRRRRRRRRRR
DIANA ROSS
Diana RooßAddress: Diana Rooß Lehrstuhl für Theoretische Informatik Institut für Informatik Universtität Würzburg Am Exerzierplatz 3 97072.
DNA Computing.
SSSSSSSSSSSS
TSUTOMU SASAO
Tsutomu SasaoPublication List.
Tsutomu SasaoTsutomu Sasao. Professor, Department of Computer Science and Electronics Kyushu Institute of Technology, Iizuka, Fukuoka 820-8502, Japan
TTTTTTTTT
TSUCHIYA
Yoshifumi Tsuchiya's Home Page
UUUUUUUUUU
WWWWWWWWW
DAVID WESSELS
MVL92Concurrent checking and unidirectional errors in multiple-valued PLAs. D. Wessels and J. Muzio. IEEE International Symposium on Multiple valued Logic.
JCU - Computer Science - Australia : Dr David Wessels
JCU - Computer Science - Australia : Multiple Valued Logic SystemsInformation about the research carried out by Dr David Wessels at the Department of Computer Science at James Cook University of North Queensland,
JCU - Computer Science - Australia : Dr David WesselsInformation about the research carried out by David Wessels at the Department of Computer Science at James Cook University of North Queensland, Australia.
Dr. David Wessels: Publication list 1997. Probabilistic techniques for approximating spectral and autocorrelation coefficients, submitted to IEEE.
JCU - Computer Science - Australia : University/Conference Visits 1992Information about the courses and programs offered by the Department of Computer Science at the James Cook University of North Queensland, Australia.
VVVVVV
LLORENC VALVERDE
CURRICULUM CAT18/IX/96. Llorenç Valverde. Curriculum vitae. (Resum) Catedràtic de Ciències de la Computació i Intel.ligència...
RESEARCH GROUPS IN VARIOUS COUNTRIES
RESEARCH IN JAPAN
Hirano
GLEN JENNINGS - SWEDEN
Professor Sasao knows about our OTDDLuleå University of Technology. Yes, he knows !
UNITED KINGDOM
DCS publications 1989. Eccles, J.R. (with J.W. Saldanha). GENPRO: Automatic generation of Prolog clause files for knowledge-based...
SPAIN. CATALONIA.
Catalonia, Artificial Intelligence Institute.
RELATED CONFERENCES
Proceedings of Conference. [IEEE][ACM][Others] IEEE[top][bottom] ASP-DAC95[CD-ROM]: Asia-South Pacific Design Automation Conference Proceedings.
IEEE Conference Proceedings in Computer Engineering. the only alternative to being there. IEEE publishes hundreds of key titles
Conference Abstracts Tables of contents and abstracts for the following conferences: 3rd Int'l Forum on Research and Technology Advances in Digital...
Conference AbstractsTables of contents and abstracts for the following conferences: 3rd Int'l Forum on Research and Technology Advances in Digital..
IEEE Sponsored, Cosponsored & Topical Conferences SOCIETY: C Jan. 01, 1998 - Dec. 31, 2006. * Revised Listing ** New Listing.
To: Distribution From: David K. Kahaner ONR Asia [kahaner@xroads.cc.u-tokyo.ac.jp] Re: Conferences related to computing and math, Pacific Rim area.
Asian Conferences on Science and Technology. ATIP obtains a great deal of information about conferences, exhibitions, workshops, and similar events.
IBFI - IEEE-ProceedingsSCHLOSS DAGSTUHL. INTERNATIONAL CONFERENCE AND RESEARCH CENTER FOR COMPUTER SCIENCE. Mainpage - Higher level.
No TitleCONFERENCES, SUMMER SCHOOLS, TALKS, WORKSHOPS. [1] Utrecht 10 October 1997 ACCOLADE
IEEE CONFERENCEIEEE Conferences Held in Japan.
CONFERENCES, SUMMER SCHOOLS, TALKS, WORKSHOPS. [1] Utrecht 10 October 1997 ACCOLADE {97 A Conference on Logic and its Applications FINAL CALL FOR PAPERS.
CONFERENCES, SUMMER SCHOOLS, TALKS, WORKSHOPS. [1] Port Jefferson, New York (USA) 12-17 October 1997 ILPS'97 International Logic Programming Symposium 97.
IEEE Conferences Held in Japan.
Conferences related to computing and math, Pacific Rim area. ASIAN TECHNOLOGY INFORMATION PROGRAM (ATIP) REPORT
IEEE CONFERENCES
IEEE Sponsored & Cosponsored Conferences 01/01/1997-12/31/1997IEEE Sponsored and Cosponsored Conferences Jan. 01, 1997 - Dec. 31, 1997. * Revised Listing *
CALLS FOR PAPERS AND PARTICIPANTS
Calls for PapersThis document is a collection of some CFPs found from different newsgroups or received by e-mail. The CFPs are mostly about the IC synthesis (High Level
http://www.ele.kth.se/~lrv/CFP/
Call for Participant. Last update :1998/4/07 Total:178. 1998 APRIL. TITLE:MPCS '98 Special Session on Defect and Fault Tolerance in Massively-Parallel...
BIBLIOGRAPHY
IEEE
TAB Annual Report - 1996The IEEE Computer Society's Copyright & Trademark Information
http://computer.org/tab/annrpt96.htm - size 63K - 10-Mar-98 - English -
Information on IEEE Technical Societies, including MVL Technical Committee.
EURO-PAR'95
EURO-PAR'95 Paper InformationPaper Information. This page contains further information on the papers, as contributed by the authors or keynote speakers.
VITA OF PROF. HIGUCHI.
UPCOMING EVENTS
Colibri agendaUpcoming Events: general. [1] Amsterdam 10 November 1997 - Maart 1998 College Universele Algebra Docent: Piet Rodenburg.
JOURNALS AND BULLETINS FROM SCHLOSS DAGSTUHL.
IBFI - IEEE-ProceedingsSCHLOSS DAGSTUHL.
MVL-TC BULLETIN
IEEE MVL-TC Bulletin Vol.17 No. 2IEEE MVL-TC Bulletin VOLUME 17 Number 2 July 1996.
MVL-TC Bulletin, Vol.18 No.1IEEE MVL-TC Bulletin. VOLUME 18 Number 1 March 1997. 1. Chair's Message.
MVL-TC Bulletin, Vol.18 No.2
MVL-TC Bulletin, Vol.18 No.3IEEE MVL-TC Bulletin. VOLUME 18 Number 3 November 1997. 1. Chair's Message. This is the last opportunity for me to present a message as the current MVL TC.
MVL-TC Bulletin, Vol.18 No.3IEEE MVL-TC Bulletin. VOLUME 19 Number 1 March 1998. 1. Chair's Message. This is my first message as chair of the MVL-TC.
GERMANY
3TAP: Publications by Subject The following is a list of papers, report, and other publications written in connection with. sorted by subject. Subjects:.
Ref.: mesa13/per/publ2Ref.: mesa13/per/publ2. Version: 9/5/96. Scientific publications: [1] H.G. Kerkhoff and G.C.M. Meyer,
ARCHIVES
Archive: comp.theory02-Sep-1997 Bob Robinson # of EULERIAN ORIENTATIONS of a complete graph.
CANADA
ORA Canada Bibliography of Automated Deduction: K to LAuthors K to L. The ORA Canada Bibliography of Automated Deduction cites over 3,000 reports and papers.