FCS'10: July 15, 2010 Schedule

To select a different schedule CLICK HERE

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


08:00 - 10:40am:  During this period, FCS'10 attendees are encouraged to participate
                  in sessions belonging to FECS'10, CSC'10, PDPTA'10, BIOCOMP'10,
                  GEM'10, MSV'10, & IKE'10. These sessions discuss topics that
                  significantly overlap the scope of FCS'10.


SESSION 3-FCS:    QUANTUM COMPUTING + AUTOMATA + TURING MACHINES
                  Chair: Dr. J. F. Nystrom, Ferris State University, USA
                  July 15, 2010 (Thursday); 10:40am - 11:40am
                  (LOCATION: Silver Room)

10:40 - 11:00am:  A Characterization of the Chomsky Hierarchy by String Turing Machines
                  Hans Werner Lang
                  Flensburg University of Applied Sciences, Germany

11:00 - 11:20am:  Understanding Quantum Networking: Where Are We and What Can We Expect?
                  Charles Balch
                  Arizona Western College, Arizona, USA;
                  Northern Arizona University-Yuma, Arizona, USA

11:20 - 11:40am:  Simulation vs. Equivalence
                  Zoltan Esik and Andreas Maletti
                  University of Szeged, Hungary;
                  Universitat Rovira i Virgili, Tarragona, Spain


SESSION 4-FCS:    THEORY + PROOF + VERIFICATION METHODS
                  Co-Chairs: Prof. Richard Borie* and Ben Bovee**
                  *University of Alabama, USA
                  **Patterndigm, USA
                  July 15, 2010 (Thursday); 11:40am - 01:00pm
                  (LOCATION: Silver Room)

11:40 - 12:00pm:  Formalization of Probability and Random Sampling on a Finite
                  and Discrete Sample Space Using the Mizar Proof Checker
                  Kenichi Arai, Nobuaki Kondo, Hiroyuki Okazaki
                  Shinshu University, Japan

12:00 - 12:20pm:  Operation Expression: a Way to Verified Software
                  Chongyi Yuan, Wen Zhao, Yu Huang
                  Peking University, Beijing, P. R. China

12:20 - 12:40pm:  Optimal Tradeoff
                  Raihan Al-Ekram and Ric Holt
                  University of Waterloo, Canada

12:40 - 01:00pm:  Study on Typical Load Pattern in Power System and Bad Data Processing
                  Li Liu and Denghui Zhai
                  Shenyang Institute of Engineering, Shenyang, P. R. China;
                  Shenyang Polytechnic University, Shenyang, P. R. China


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

To select a different schedule CLICK HERE