News

We are very pleased to welcome you all to Fort Lauderdale for ISAIM 2018.

Announcements relevant to ISAIM as well as updates to the website will be posted here.

ANNOUNCEMENTS

August 13, 2018

  • Pictures from the event are now posted online. Please see the Pictures page.

December 13, 2017

  • The Program page is now available online. Note that the schedule is still tentative and subject to changes.

December 6, 2017

  • The abstracts for the special session on Applications of SAT are now available online.

December 4, 2017

  • The papers for the special session on Theory of Machine Learning are now available online.

November 30, 2017

November 27, 2017

  • The title and the abstract for the plenary talk by Professor Cynthia Rudin is now available online.
  • The papers and abstracts for the special session on Formalising Robot Ethics are now available online.

November 22, 2017

  • The special session on Topological Reasoning and Data Analyses has been canceled.

November 20, 2017

  • The abstracts for the special session on Flow Optimization in Traffic Networks are now available online.

November 12, 2017

  • The papers and abstracts for the special session on Boolean and pseudo-Boolean functions are now available online.

November 9, 2017

  • Accepted Papers page is now available online. Access to the pdf documents of the papers will be possible only after the deadline for the final versions. A similar announcement will be placed here on the website indicating that the papers are accessible online.

October 27, 2017

  • Due to some recent upgrades on the University of Virginia infrastructure, the email address for contacting the program committee chairs changed from isaim2018 AT mail.cs.virginia.edu to isaim2018 AT virginia.edu.
  • An email alias will still forward incoming email for the old email address to the new email address.

October 17, 2017

  • Reminder sent to some mailing lists indicating that the submission deadline is approaching. Due to some technical difficulties the reminder was not sent to the entire set of the mailing lists where we usually post the announcements.
  • Papers submitted by the deadline can be revised for another 12 hours beyond the submission deadline. That is, until Wednesday, October 18, 11:59AM PDT.

October 3, 2017

  • Paper submission deadline has been extended to Tuesday, October 17, 2017.
  • Notification pushed back to Tuesday, November 7, 2017.

September 28, 2017

  • Registration is now open. Registration page is available online.

September 24, 2017

  • Broadcasting Final Call for Papers.

September 3, 2017

  • Broadcasting 2nd Call for Papers.

August 31, 2017

July 31, 2017

July 25, 2017

  • Broadcasting 1st Call for Papers.

July 15, 2017

  • Preliminary version of the Program Committee has been posted. The table will be updated as we get more confirmations.

July 2, 2017

June 18, 2017

May 23, 2017

  • The program committee chairs can be contacted at isaim2018 AT mail.cs.virginia.edu.

April 23, 2017

February 21, 2017

  • The initial website for ISAIM 2018 is now ready.

WEBSITE UPDATES

November 9, 2017

October 27, 2017

  • Updated the pages Home, Call for Papers, and Contact Us using the new email address for contacting the program committee chairs, due to the recent hardward upgrades on the backend of the infrastructure at the University of Virginia which resulted in migrating the mailing list to a new one.

October 3, 2017

  • An announcement on the home page for the extension of the paper submission deadline.
  • Updated important dates on relevant pages as the paper submission deadline is extended and the notification is pushed back.

September 28, 2017

August 31, 2017

July 31, 2017

  • Updated the content announcing one more session.

July 2, 2017

  • First version of the table listing the Program Committee members.
  • Updated the content announcing one more session.

June 18, 2017

  • Updated the content announcing two additional sessions.

June 17, 2017

May 23, 2017

  • An email address has been created where the program committee chairs can be contacted. The relevant pages of the website include this piece of information.

May 11, 2017

April 23, 2017

February 21, 2017