( Cette liiste est la version du 30 mai 1997.
L'original (mis à jour) de cette page est ici )

Schools Using Scheme

Attached below is our most up-to-date compilation of colleges, universities, and secondary schools that are using Scheme in their curricula. Any additions, deletions, and/or corrections should be sent to Terry Kaufman at tkaufman@schemers.com.

Here are a few statistics regarding the schools using Scheme:


Colleges/Universities/Secondary Schools Using Scheme

Compiled by: Terry Kaufman, Schemers Inc.
(954) 776-7376 tkaufman@schemers.com

Last updated: 05/10/97

Note: indicates Scheme is used in an introductory course


Air Force Institute of Technology, Wright-Patterson Air Force Base, OH
CSCE623: AI Systems Design
Albert-Ludwigs-Universität, Freiburg, Germany
004000-0302: Introduction to Programming Techniques in AI
Algoma University College, Sault Sainte Marie, ON, Canada
CS3127: Programming Languages
American University, Washington DC
40.521: Design and Organization of Programming Languages
Beloit College, Beloit, WI
CS230: Programming Languages
CS270: Artificial Intelligence
Ben Gurion University of the Negev, Beer-Sheva, Israel
Principles of Programming Languages
Berkshire Community College
ENT181: Scientific Computer Programming
Blackburn College, Carlinville, IL
CS212: Introduction to CS II
CS261/262: Programming Languages
CS370: AI/Cognitive Science
Bowling Green State University
CS306: Programming Languages
Brandeis University
COSI21b: Structure and Interpretation of Computer Programs
Brigham Young University
CS330: Concepts of Programming Languages
Brown University
CS051: Models of Computation
CS152: Introduction to Theory of Computation
CG110: Introduction to Computation for Cognitive Scientists
Brussels Free University, Belgium
CS101: Structure of Computer Programs
CS111: Algorithms and Data Structures
CS121: Interpretation of Computer Programs
Bucknell University, Lewisburg, PA
CS208: Introduction to Programming Languages
Carleton College, Northfield, MN
CS100: Honors Seminar: Scheme
CS217: Programming Languages
CS327: Artificial Intelligence
PHIL100-02: Computers and Thought
Carleton University, Ottawa, ON, Canada
95.207: Semantics of Programming Languages
Carnegie Mellon University, Pittsburgh, PA
15-312: Principles of Programming Languages
Carolo Wilhelmina Technische Universität, Braunschweig, Germany
Programming I
Central Connecticut State University, New Britain, CT
CS462: Artificial Intelligence: Theory and Practice
Central Washington University, Ellensburg, WA
CS458: Artificial Intelligence
Clarkson University, Potsdam, NY
EE262: Symbolic Computation
CS341: Programming Languages
CS451: Artificial Intelligence
Colgate University, Hamilton, NY
COSC202: Introduction to Symbolic Programming
College Misericordia, Dallas, PA
Programming Languages
Colorado School of Mines, Golden, CO
MACS400: Principles of Programming Languages
Colorado State University, Fort Collins, CO
ME101/102: Engineering Principles I/II
Concordia University, River Forest, IL
CSC440: Programming Languages I
Cornell University, Ithaca, NY
COM S 101: The Computer Age
COM S 212: Structure and Interpretation of Computer Programs
COM S 463: Robotics and Machine Vision Lab
COM S 472: Foundations of Artificial Intelligence
Davidson College, Davidson, NC
MAT391: Honors Seminar
Delft University of Technology, The Netherlands
a437: Computer Programming
a445: Functional Programming for Artificial Intelligence
Dong-A University, Pusan, Korea
PL5151: Introduction to Computer Science
École Des Mines de Nantes, France
Methods & Tools
École Des Mines de Saint-Étienne, France
Introduction to Programming
Advanced Programming 2A
Advanced Programming ASI
École Nationale Supérieure d'Informatique et des Mathématiques Appliquées de Grenoble (ENSIMAG), France
Algorithms and Data Structures
Fairleigh Dickinson University
CS335: Non-numerical Computing
CS434: AI Programming
Florida Atlantic University
COT5310: Programming Languages
Florida State University
CIS4930: Introduction to AI Programming
Furman University, Greenville, SC
CS24: Programming Languages
George Washington University, Washington, DC
CSci174: Artificial Intelligence
Goshen College, Goshen, IN
CS355: Programming Languages
CS400: Introduction to Artificial Intelligence
Grinnell College, Grinnell, IA
CSC151: Fundamentals of Computer Science I
CSC302: Programming Language Concepts
Gustavus Adolphus College, St. Peter, MN
MC27/28: Introduction to Computer Science I/II
MC57: Analysis and Design of Algorithms and Data Structures
MC85: Principles of AI
MC87: Organization and Theory of Programming Languages
Hanover College, Hanover, IN
CS221: Computer Science I
CS222: Computer Science II
Harvard University
CS152: Principles of Programming Languages
Haverford College, Haverford, PA
CMSC245: Principles of Programming Languages
Helsinki University of Technology, Finland
Tik-76.101: Introduction to Programming
Hiroshima University, Japan
Information System Engineering Experiment I
Hochschule für Technik, Wirtschaft und Sozialwesen, Zittau/Görlitz, Germany
Fundamentals of Computer Programming
Compilers
Formal Automata
Hong Kong University of Science & Technology
COMP300B: Functional Programming
Indian Institute of Science
Programming Languages
Indiana University
C211: Introduction to Computer Science
C311: Programming Languages
P423: Compilers
B351: Introduction to AI & Computer Simulation
B521: Programming Language Principles
B525: Programming Language Implementation
B551: Elements of Artificial Intelligence
B552: Knowledge Based Computation
C661: Natural Language Processing
B621: Advanced Concepts in Programming Languages
Institut Pasteur, Paris, France
Computing in Biology
Iowa State University, Ames, IA
Com S 342: Principles of Programming Languages
ITESM-Campus Estado de México, Mexico
CB95-821: Computer Science I
CB90-002: Computer Programming
CB90-052: Programming Languages
ITESM-Campus Sinaloa, Mexico
CB95-821: Computer Science I
Ithaca College, Ithaca, NY
12-171: Principles of Computing Science I
12-321: Programming Languages
John Carroll University, Cleveland, OH
CS465: Programming Languages
The Johns Hopkins University, Baltimore, MD
600.140: Programming Techniques
Kansas State University, Manhattan, KS
CIS605: Programming Languages
CIS798: Functional Programming Languages
Kent State University, Kent, OH
CS33005: Symbolic Programming Languages
Knox College, Galesburg, IL
CS141: Introduction to Computer Science I
Korea University, Korea
IF208: Programming Languages Structure
La Trobe University, Melbourne, Australia
CS1: Introduction to Scheme
CSE22AI: Artificial Intelligence
Lander University, Greenwood, SC
CS285: Symbolic Programming
Langara College, Vancouver, BC, Canada
CS236: Paradigms of Computer Science
Lawrence University, Appleton, WI
CMSC41: Programming Languages
Lindenwood College, St. Charles, MO
CSC101/102: Computer Science I/II
MBA764: Object-Oriented Design with C++
Linköping University, Sweden
TDDB25/27: Programming: Abstraction and Modeling
TDDA69: Data and Programming Structure
Ludwigs-Maximilians University, Munich, Germany
Introduction to Computer Science I
Macalester College, St. Paul, MN
CS23: Introduction to Computer Science I
Maharishi International University, Fairfield, IA
COMP470: Artificial Intelligence
Massachusetts Institute of Technology, Cambridge, MA
6.001: Structure and Interpretation of Computer Programs
6.003: Signals and Systems
6.034: Artificial Intelligence
6.044J: Computability, Logic, and Programming
6.821: Programming Languages
12.620J: Variational Mechanics: A Computational Approach
McGill University, Montréal, Québec, Canada
CS302: Programming Paradigms
Memorial University of Newfoundland, St. John's, Newfoundland, Canada
CS3714: Programming Language Translation and Interpretation
Monash University, Melbourne, Australia
SFT1110: Introduction to Computer Science
SFT2207: Programming Language Paradigms
SFT3050: Programming Abstractions
National Central University, Chungli, Taiwan
Introduction to Computer Science I/II
National Taiwan University, Taipei, Taiwan
506 10420: Introduction to Computer Science II
National University of Singapore, Singapore
IC317: Comparative Programming Languages
National Yun-Lin Institute of Technology, Taiwan
Programming Languages
Advanced Programming Languages
New Mexico Institute of Mining and Technology, Socorro, NM
CS189: Structure and Interpretation of Computer Programs
New York University, New York, NY
G221.2110: Principles of Programming Languages I
North Carolina State University, Raleigh, NC
CSC417: Theory of Programming Languages
CE637: Computer-Aided Engineering Systems
Northeastern University
COM 3351: Principles of Programming Languages
COM 3355: Compiler Design
COM 3356: Optimizing Compilers
COM 3357: Semantics of Programming Languages
Northern Michigan University, Marquette, MI
CP445: Introduction to Artificial Intelligence
Northwestern University, Evanston, IL
725-A11: Fundamentals of Computer Programming
Nova Southeastern University, Davie, FL
CSC1000/2150: Introduction to Computer Programming I/II
CISD700: Theory and Principles of Programming
Oberlin College
CS 275: Computer Science III
CS 280: Computer Science IV
CS 341: Operating Systems
CS 364: Artificial Intelligence
CS 386: Advanced Concepts in Programming Languages
Ohio Northern University, Ada, OH
CS341/2: Artificial Intelligence I/II
Ohio University
CS300: Programming Languages
Ohio Wesleyan University
CS340: Artificial Intelligence
CS370: Programming Languages
CS390: Programming Paradigms
Okanagan University College, Canada
CS111: Computer Programming I
CS121: Computer Programming II
CS231: Principles of Computer Science
Ort Academic College, Israel
42401: Introduction to Functional Programming
42406: Advanced Programming
Ort Braude College, Israel
03-03-6-3-01: Advanced Programming
Pädagogische Hochschule Ludwigsburg, Germany
Introduction to Mathematics
Analysis
Palacky University, Olomouc, Czech Republic
Programming Paradigms I/II
Geometry
Park College at Tinker Air Force Base
CS305: Introduction to AI
CS320: Programming Languages
CS415: Special Topics
Penn State University
436: Programming Languages
Pontificia Universidade Catolica do Rio de Janeiro (PUC/Rio), Brazil
INF1001: Introduction to Computer Science
Portland State University
CS510: Programming Languages
Princeton University
COS117: Introduction to Computer Science
Queen's University, Canada
CISC260: Programming Paradigms
Rice University
Comp210: Fundamental Concepts of Scientific Computing
Comp280: Discrete Mathematics
Comp311: Programming Languages
Comp411: Advanced Programming Languages
Comp360: Computer Graphics
Comp440: Artificial Intelligence
Comp481: Formal Automata
Rockford College
CS367: Theory of Programming Languages
Roger Williams University
CS-101L/111L: Introduction to CS I/II & Lab
CS-230: Principles of Programming Languages
Rose-Hulman Institute of Technology
CS304: Programming Language Concepts
Rowan College
0701.102: Introduction to Programming
0704.315: Programming Languages
Ryerson Polytechnic University, Toronto, ON, Canada
CPS109: Introduction to Computer Programming I
CPS209: Introduction to Computer Programming II
Saint Olaf College
CS21: Principles of Computer Science
San Jose State University
145A/B: Structure and Interpretation of Computer Programs
Santa Clara University
COEN172: Structure and Interpretation of Computer Programs
COEN261: Structure and Interpretation of Computer Programs
Seattle University
CS380: Programming Languages
Sonoma State University
CIS180: Programming Paradigms
Southern Illinois University, Edwardsville
CS330: Programming Languages
Stanford University
CS221: Introduction to Artificial Intelligence
CS242: Programming Languages
State University of New York at Plattsburgh
CSC314: Scheme and Prolog Programming
Stevens Institute of Technology
CS610: Theory of Programming Languages
Swarthmore College
CS20: Structure and Interpretation of Computer Programs
CS44: Implementation of Non-Traditional Prog. Langs.
CS63: Artificial Intelligence
Syracuse University
CIS253: Introduction to Computer Science I
CIS352: Programming Languages: Theory & Practice
Technical University at Munich, Germany
76513: Methods in Artificial Intelligence
Technion — Israel Institute of Technology
045263: Structure and Interpretation of Computer Programs
Tel-Aviv University, Israel
0368.1105: Extended Introduction to Computer Science
Texas Tech University
CS5302: Foundations of CS I & II
Tokyo Institute of Technology, Japan
Information Science Experiment I
Trinity University, San Antonio, TX
CS101L: Laboratory for Great Ideas in CS
CS301: Great Ideas In Computer Science
CS316: Functional Language Programming
CS349: Artificial Intelligence
Tulane University
CPSC350: Programming Languages
CPSC466: Introduction to Artificial Intelligence
United States Coast Guard, New London, CT
CS7308: Programming Languages
CS7316: Artificial Intelligence
Universidad Autonoma de Baja California, Mexico
001067: Programming Languages
011270: Functional Programming
010770: Artificial Intelligence
Universidad Metropolitana, Caracas, Venezuela
BBS100: Computer Programming I
ISSE22: Artificial Intelligence
Universidad Simon Bolivar, Caracas, Venezuela
CI2611: Structures and Algorithms I
CI6532: Introduction to Artificial Intelligence
Universität Bremen, Germany
Practical CS I
Université Joseph Fourier, Grenoble, France
Module A2
Université Paul Sabatier, Toulouse, France
IUP SI 1 & ISI 1: Introduction to Programming I/II
IUP SI 2: Artificial Intelligence
Module 3: Principles of Imperative and Functional Programming
University College Cork, Ireland
CS253/4: Data Structures
CS355/6: Compiler Theory and Practice
University College of the Cariboo, Canada
CS128: Principles of CS
University of Aarhus, Denmark
dOvs: Compilation
University of Adelaide, Australia
9811: Advanced Programming Paradigms
2651: Advanced AI and Machine Learning
University of Arizona
ECE473: Software Engineering Concepts
University of Bordeaux, France
Programming and Programming Languages
University of Bridgeport
CS404: Artificial Intelligence
University of British Columbia, Canada
CPSC124/126: Principles of Computer Science I/II
CPSC128: Principles of Computer Science
University of Calgary, Canada
CS449: Principles of Programming Languages
CS533: Artificial Intelligence
University of California, Berkeley
CS3: Introduction to Symbolic Programming
CS61A: Structure and Interpretation of Computer Programs
University of California, Davis
CS35: Structure and Interpretation of Computer Programs
University of California, Irvine
ICS H21: Introduction to Computer Science I (Honors)
131A/231A: Computational Physics
University of California, Los Angeles
CS22: Symbolic, Functional & Recursive Programming
CS161: Introduction to Artificial Intelligence
CS163: Natural Language Processing
University of California, Santa Barbara
MATH 104ABC: Introduction to Numerical Analysis
University of California, Santa Cruz
CMP131: Semantics of Programming Languages
University of Cape Town, South Africa
CSC105W: Computer Science I
CSC110H: CS Academic Assistance Programme, Part I
University of Chicago
CS115/116: Introduction to Computer Programming
CS327: Code Generation
University of Cincinnati
CS323: Programming Language Methodology
CS511: Organization of Programming Languages
University of Colorado, Boulder
INFS6800: Artificial Intelligence Programming
University of Colorado, Colorado Springs
CS316: Concepts of Programming Languages
University of Colorado, Denver
CSC1410: Fundamentals of Computing
CS5818: AI Methodology
University of Delaware, Newark, DE
CISC280: Programming Paradigms
University of Dublin, Trinity College, Ireland
3BA1: Numerical Programming
3BA2: AI & Programming Abstractions
University of Edinburgh, Scotland
858A: Artificial Intelligence II
858E/G: Artificial Intelligence & CS III
858F: Artificial Intelligence & CS IV
University of Erlangen-Nürnberg, Germany
10604: Algorithmik I/II
University of Florida, Gainesville, FL
COP3212: Introduction to Computer and Information Sciences
University of Franche-Comté, Besançon, France
Mathematics applied to Physics and Computer Science
Functional Programming
University of Fribourg, Switzerland
Informatik IA
Functional Programming
University of Geneva, Switzerland
1803: Introduction to Computer Science
University of Hannover, Germany
Programming I
University of Hong Kong
CS202: Principles of Programming Languages
University of Iceland, Iceland
09.12.33: Programming Languages
University of Illinois
CS125: Structure and Interpretation of Computer Programs
CS225: Data Structures and their Algorithms
MATSE395: Material Science
University of Kansas
EECS188: Computational Problem Solving
EECS630: Artificial Intelligence
EECS662: Programming Languages
EECS665: Compilers
University of Liège, Belgium
INFO-054-0: Elements of Programming
INFO-055-0: Semantics of Programming
INFO-004-0: Programming Languages
INFO-005-0: Programming Methodology
INFO-013-0: Sequential Systems
INFO-021-0: Calculation with Symbolic Expressions
University of Lille, France
Introduction to Computer Science
University of Louisville
EMCS301: Introduction to Computer Science and Engineering
University of Massachusetts at Amherst
CMPSCI287: Programming Language Paradigms
University of Massachusetts at Boston
CS350: Structure of Higher Level Languages
University of Massachusetts at Lowell
91.301: Organization of Programming Languages
91.531: Programming Language Design
University of Milano, Italy
Milano campus: Programmazione II (Advanced Programming)
Crema campus: Algoritmi e Strutture Dati (Algorithms and Data Structures)
University of Minnesota
3316/17: The Structure of Computer Programming I/II
University of Minnesota, Duluth Campus
CS1621/22: Introduction to Computer Science I/II
University of Minnesota, Morris Campus
CSCI1300: Algorithms and Computer Programming
University of Missouri at Kansas City
CS441: Programming Languages
University of Nebraska at Omaha
CSCI4220-001: Programming Languages
University of New Hampshire
CS415: Introduction to Computer Science I
University of New Mexico
CS257: Nonimperative Programming
CS451: Programming Paradigms
University of Nice, France
Introduction to Applicative Programming
Functional Programming
Logic for Computer Science and Semantics
University of Nijmegen, The Netherlands
CO336: Constraint Based Reasoning
CO320: Structure and Interpretation of LISP Programs
University of Notre Dame
CSE233: Functional Programming
CAPP385: Artificial Intelligence
University of Oregon
CIS471/571: Introduction to Artificial Intelligence
CIS624: Structure Programming Languages
University of Oslo, Norway
SLI3: Introduction to Computer Programming
SLI5: Advanced Computer Programming
IN314: LISP
University of Pennsylvania
CSE120: Programming Languages and Techniques
University of Pittsburgh
BAIM2009: Introduction to AI Programming
BAIM3011: Structure and Interpretation of Computer Programs
University of Poona, India
Programming Paradigms
University of Porto, Portugal
Introduction to Computer Programming I
University of Puerto Rico, Mayaguez, PR
ICOM4036: Programming Languages: Concepts and Constructs
University of Rochester
CS241: Lisp of Cognitive Science
University of Sherbrooke, Canada
IFT359: Functional Programming
University of South Carolina
CSCI330: Programming Languages
University of Southampton, England
CM203: Computational Systems
CM333: Programming Language Design
University of Strathclyde, Scotland
52.135: Structure of Computer Programs I
52.136: Structure of Computer Programs II
52.217: Functional Programming
University of the South, Sewanee, TN
CS326: Functional Programming
CS406: Programming Semantics
University of Texas at Austin
CS307: Foundations of Computer Science
University of Toronto, Canada
CSC484: Introduction to Artificial Intelligence
University of Tübingen, Germany
Concepts of Programming Languages
Partial Evaluation & Automatic Program Generation
University of Utah
CS351: Programming Language Structure
University of Victoria, Canada
CS330: Programming Languages
University of Waterloo, Waterloo, ON, Canada
CS241: Foundations of Sequential Programming
CS442/642: Principles of Programming Languages
University of Western Australia, Crawley, Western Australia
CS301: Functional Programming
University of Wisconsin at Eau Claire
CS186: Foundations of Computer Science II
CS330: Programming Languages
CS410: Artificial Intelligence I
University of York, England
PoP: Principles of Programming
Uppsala University, Sweden
2AD088: Methods of Programming
Vassar College
CS122/123: Computer Science I/II
Villanova University
CSC8310: Linguistics of Programming Languages
Wabash College
CS5: Programming Languages
Washington University
CS101: Computer Science I
Washington and Lee University, Lexington, VA
CSci312: Programming Language Design
CSci315: Artificial Intelligence
Wellesley College
CS251: Theory of Programming Languages
Wesleyan University
COMP211: Introduction to Computer Science
West Virginia University
CS136: Principles of Programming Languages
CS286: Introduction to Artificial Intelligence
Williams College
CS109: Art & Science of Computer Graphics
CS371: Computer Graphics
CS373: Artificial Intelligence
Worcester Polytechnic Institute
CS2135: Programming Languages Concepts
Wright State University
CS480: Comparative Languages
CS784: Programming Languages I
Yale University
CS201: Introduction to Computer Science
CS421: Compilers & Interpreters


Additional Colleges/Universities Using Scheme (without details)

Brest University, France
Caen University, France
City University, England
École Nationale de l'Aviation Civile, France
Indian Institute of Technology, Kanpur, India
Institut des Sciences de Yamoussoukro, Ivory Coast
Koblenz University, Germany
Nancy University, France
Normandale Community College
Orléans University, France
Paris VI University, France
Portsmouth Polytechnic, England
Radford University
Reed College
Rennes University, France
Royal Institute of Technology, Sweden
Sussex University, England
University of Deusto, Spain
University of Dortmund, Germany
University of Liverpool, England
University of Montréal, Canada
University of North Texas
University of Tokyo, Japan
Virginia Polytech Institute


Secondary Schools Using Scheme

Albuquerque Academy, Albuquerque, NM
Blackburn College, England
Boca Raton Christian School, Boca Raton, FL
Boston University Academy, Boston, MA
Carver High School of Engineering and Science, Philadelphia, PA
Central Magnet High School, Bridgeport, CT
Darien High School, Darien, CT
Duke University TIP, Durham, NC
École Alsacienne, Paris, France
Framingham High School, Framingham, MA
Friends Seminary, New York, NY
Georg-Christoph-Lichtenberg-Schule, Kassel, Germany
Gilford Middle-High School, Gilford, NH
Greens Farms Academy, Greens Farms, CT
Hamilton Heights High School, Arcadia, IN
Institute for Mathematics and Computer Science, Plantation, FL
Jackson Memorial High School, Jackson, NJ
The Johns Hopkins University CTY, Baltimore, MD
Jupiter Christian School, Jupiter, FL
Kepler-Gymnasium Tübingen, Germany
Lake Forest Academy, Lake Forest, IL
Lake Highland Prep School, Orlando, FL
Lake Ridge Academy, North Ridgeville, OH
Lick-Wilmerding High School, San Francisco, CA
Maharishi School, Fairfield, IA
Milton Academy, Milton, MA
The Mirman School, Los Angeles, CA
New College, Swindon, England
Nova High School, Fort Lauderdale, FL
Penn High School, Mishawaka, IN
Phillips Academy, Andover, MA
Polytechnic School, Pasadena, CA
Ransom Everglades School, Coconut Grove, FL
Rumson Country Day School, Rumson, NJ
Seneca High School, Seneca, MO
Weston High School, Weston, MA
Woburn High School, Woburn, MA


retour au sommaire


Nos pages Web :

Jean-Christophe Routier et Eric Wegrzynowski

Pour nous contacter :

Jean-Christophe Routier et Eric Wegrzynowski