Personal tools
  •  
You are here: Home Program FCS'09: July 14, 2009 Schedule
Current Event
WORLDCOMP'15
Click Here
Other Events
WORLDCOMP'14
Click Here

WORLDCOMP'13
Click Here

WORLDCOMP'12
Click Here

WORLDCOMP'11
Click Here

WORLDCOMP'10
Click Here

WORLDCOMP'08
Click Here

WORLDCOMP'06 & '07
Click Here


Join Our Mailing List
Sign up to receive email announcements and updates about conferences and future events




 

FCS'09: July 14, 2009 Schedule

Last modified 2009-06-20 14:11

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


Administered by UCMSS
Universal Conference Management Systems & Support
San Diego, California, USA
Contact: Kaveh Arbtan

If you can read this text, it means you are not experiencing the Plone design at its best. Plone makes heavy use of CSS, which means it is accessible to any internet browser, but the design needs a standards-compliant browser to look like we intended it. Just so you know ;)