Event Details

Date: 06 January 2026

Time: Tue, 1:00 - 2:30 PM

City: Washington, DC

Country: United States

Location: Walter E. Washington Convention Center, 801 Allen Y. Lew Place NW

Location Map

References and Tickets

icarm.io icon Efficient Search for Combinatorial Objects | ICARM

A two-part tutorial at the Joint Mathematics Meetings on the use of automated reasoning to locate combinatorial objects. Meets 1-2:30 pm each day in Room ...

meetings.ams.org icon 2026 Joint Mathematics Meetings (JMM 2026)

Tuesday, January 6, 2026. Sat 03 · Sun 04 · Mon 05 · Tue 06 · Wed 07 ... ICARM Tutorial: Efficient search for combinatorial objects II. Marijn ...

meetings.ams.org icon ICARM Tutorial: Efficient search for combinatorial objects II

This tutorial is hosted by the Institute for Computer-Aided Reasoning in Mathematics (ICARM), a new NSF Mathematical Sciences Research Institute. Organizer. H ...

More Events

Upcoming Events in Washington, DC

Upcoming Events in United States