Research Groups

Logic Tutorial Logic Tutorial- An interactive tool teaching basic formal logic, rendering truth tables as clickable Johnston diagrams. With notes on the Buddhist Nagarjuna and modern symbolic lo… Formal Methods Educational Materials Formal Methods Educational Materials- A repository for information related to formal methods in education, including pointers to existing courses and suggestions for examples and … The Logic Daemon The Logic Daemon- On-line proof checker, and texts. Around Gödel's Theorem Around Gödel's Theorem- (Hyper)textbook for students in mathematical logic, by Karlis Podnieks. University of Alberta Logic Course University of Alberta Logic Course- Includes an introduction to logic and formal systems, revolving around the Mizar proof checker, and a guide to Mizar. Games Mathematicians Play Games Mathematicians Play- Mathematical games from a logical point of view: strategies for games and using games in descriptive complexity. Ontario Colleges Mathematics Association Ontario Colleges Mathematics Association- The mission of the Ontario Colleges Mathematics Association is to promote and facilitate communication among individuals with an interest… Mathematics in Education and Industry Mathematics in Education and Industry- An independent UK curriculum development body. Diary, curriculum, teaching, information. UK Mathematics Trust UK Mathematics Trust- Organises national mathematics competitions in the United Kingdom for 11-18 year old school pupils. Includes sponsoring some contests for the training of the… American Mathematical Association of Two Year Colleges (AMATYC) American Mathematical Association of Two Year Colleges (AMATYC)- Concerned with the quality of curriculum, professional training and student learning. Includes contact information… National Association for Numeracy and Mathematics in Colleges (NANAMIC) National Association for Numeracy and Mathematics in Colleges (NANAMIC)- An association of further education, tertiary and sixth form colleges in the UK. Aims to assist members in… The Tennessee Mathematical Association of Two-Year Colleges The Tennessee Mathematical Association of Two-Year Colleges- The official Tennessee affiliate of the American Mathematical Association of Two-Year Colleges. Conference details, ne… National Council of Supervisors of Mathematics (NCSM) National Council of Supervisors of Mathematics (NCSM)- Promotes the development of math education leaders, on an international scale, by sharing information about current research… Rhode Island Mathematics Teachers Association Rhode Island Mathematics Teachers Association- Promotes active interest in mathematics, opportunities for math teachers to exchange ideas. Educational frameworks, details of award… British Society for Research into Learning Mathematics British Society for Research into Learning Mathematics- For researchers into better teaching methods in the field. Includes publications, meetings, resources. Clay Mathematics Institute Clay Mathematics Institute- Sponsors events for talented high school students, professional symposia, and diseminating new research news in the field. Includes goals and details o… Association of Mathematics Teacher Educators Association of Mathematics Teacher Educators- A non-profit organization created to promote the improvement of mathematics teacher education in all its aspects. Based at the Center… National Association of Maths Advisers National Association of Maths Advisers- Aims to ensure that inspection, advice and support, individually and collectively, make an effective contribution to mathematics education … Women And Mathematics Network Women And Mathematics Network- A consortium of Program Directors of outreach programs in mathematics for women and girls. Meetings and resources. Pennsylvania Council of Teachers of Mathematics Pennsylvania Council of Teachers of Mathematics- Dedicated to providing the best mathematics education possible at all levels in the Keystone State. Minnesota Council of Teachers of Mathematics Minnesota Council of Teachers of Mathematics- Resources for information and communication concerning: - Upcoming Conferences and Events - MCTM Organizational Information - Interne… Queensland Association of Mathematics Teachers (QAMT) Queensland Association of Mathematics Teachers (QAMT)- Professional development activities, professional and student journals, and competitions for students. Oregon Council of Teachers of Mathematics Oregon Council of Teachers of Mathematics- The website for the professional organization of math teachers in the state of Oregon. National Council of Teachers of Mathematics National Council of Teachers of Mathematics- Dedicated to improving the teaching and learning of mathematics. AMUCME AMUCME- African Mathematical Union Commission on Mathematics Education in Africa. Scottish Mathematical Council (SMC) Scottish Mathematical Council (SMC)- The main objectives of the Council are to foster and improve mathematical education at all levels, and to encourage the advancement and applic… The International Commission on Mathematical Instruction (ICMI) The International Commission on Mathematical Instruction (ICMI)- A commission of the International Mathematical Union (IMU), charged with the conduct of the activities of IMU bear… Hawaii Council of Teachers of Mathematics Hawaii Council of Teachers of Mathematics- Contact information, newsletters, meetings. Australian Association of Mathematics Teachers (AAMT) Australian Association of Mathematics Teachers (AAMT)- Group activities, membership details, announcements, events, and special materials for teachers. T3 Worldwide T3 Worldwide- Teachers Teaching with Technology in Mathematics and Science