FCS'09: July 14, 2009 Schedule

To select a different schedule CLICK HERE

6:45am - 5:00pm:  REGISTRATION (Second Floor, Conference Lobby: 1-5)


08:00a - 12:00p:  During this period, FCS'09 attendees are encouraged to participate
                  in sessions belonging to PDPTA'09, BIOCOMP'09, CSC'09, GEM'09,
                  MSV'09, IKE'09, or FECS'09.  These sessions discuss topics that
                  significantly overlap the scope of FCS'09.


12:00 - 01:00pm:  LUNCH (On Your Own)


SESSION 2-FCS:    FORMAL METHODS AND LOGIC + THEORY
                  Chair: Dr. Vitit Kantabutra, Idaho State University, Pocatello, Idaho, USA
                  July 14, 2009 (Tuesday); 01:00pm - 03:00pm
                  (LOCATION: Titanium Room)

01:00 - 01:20pm:  An Infinite Class of Non-Hamiltonian Voronoi Duals
                  Based on Regular Polygons
                  Vitit Kantabutra
                  Idaho State University, USA

01:20 - 01:40pm:  Circuits as a Classifier for Small-World Network Models
                  A. Leist and K. A. Hawick
                  Massey University, New Zealand

01:40 - 02:00pm:  Domination and Independence on the Rectangular Torus
                  by Rooks and Bishops
                  Joe DeMaio and William Faust
                  Kennesaw State University, USA

02:00 - 02:20pm:  Lower Bounds for Accessing Information on Pure Pointer Machines
                  Brian Cloteaux and Desh Ranjan
                  National Institute of Standards and Technology, USA &
                  New Mexico State University, USA

02:20 - 02:40pm:  Decomposing a Partially Ordered Set into Chains
                  Yangjun Chen
                  University of Winnipeg, Canada

02:40 - 03:00pm:  FREE SLOT


03:00 - 03:40pm:  DISCUSSION SESSIONS A-FCS (Refreshments will be available)
                  July 14, 2009 (Tuesday)
                  (LOCATION: Hallways - Ballrooms 1-5)

                  O. Procedures for Floating Point Operations with DNA Molecules
                     Yuichiro Tokumaru and Akihiro Fujiwara
                     Kyushu Institute of Technology, Japan
                  O. The Decidability of the Halting Problem
                     J. Ulisses Ferreira; Brazil
                  O. There will also be a number of other papers.


03:40 - 06:00pm:  During this period, FCS'09 attendees are encouraged to participate
                  in sessions belonging to PDPTA'09, BIOCOMP'09, CSC'09, GEM'09,
                  MSV'09, IKE'09, or FECS'09.  These sessions discuss topics that
                  significantly overlap the scope of FCS'09.


06:00 - 09:00pm:  KEYNOTE & INVITED PRESENTATIONS + TUTORIALS
                  (Please see the lists at the begining of this booklet)

To select a different schedule CLICK HERE