Document Actions
FCS'09: July 16, 2009 Schedule
Last modified
2009-06-20 14:12
To select a different schedule  CLICK HERE
|
6:45am - 5:00pm: REGISTRATION (Second Floor, Conference Lobby: 1-5)
08:00a - 12:20p: 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:20 - 01:20pm: LUNCH (On Your Own)
SESSION 3-FCS: FORMAL METHODS AND LOGIC + THEORY
Chair: Dr. Thomas E. O'Neil, University of North Dakota, Grand Forks, ND, USA
July 16, 2009 (Thursday); 01:20pm - 03:00pm
(LOCATION: Titanium Room)
01:20 - 01:40pm: The Significance of Aristotle's Particularisation in the
Foundations of Mathematics, Logic and Computability: Cohen
and the Axiom of Choice
Bhupinder Singh Anand
Alix Comsi Internet Services Pvt. Ltd., India
01:40 - 02:00pm: The Significance of Aristotle's Particularisation in the
Foundations of Mathematics, Logic and Computability: Rosser
and Formally Undecidable Arithmetical Propositions
Bhupinder Singh Anand
Alix Comsi Internet Services Pvt. Ltd., India
02:00 - 02:20pm: Spectral Analysis of Attractors in Random Boolean Network Models
K. A. Hawick
Massey University, New Zealand
02:20 - 02:40pm: The Importance of Symmetric Representation
Thomas E. O'Neil
University of North Dakota, USA
02:40 - 03:00pm: Mitigating Starvation of Multi-Level Feedback Queue Scheduling
with Declining Max Weighted Average
Kenneth E. Hoganson
Kennesaw State University, USA
03:00 - 03:20pm: BREAK
03:20 - 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.
|
To select a different schedule CLICK HERE
|