Speaker: Niall Murphy, Ph.D. (Polytechnic University of Madrid)
Abstract: Circuits are a well known example of a model of computation that is presented as families of finite computing devices with a uniformity condition on the entire family. Others include cellular automata, branching programs, etc. In a uniform family each input length is mapped to a single computing device that computes on the finite set of inputs of that length.
|
C. S. Calude, M. J. Dinneen, M. J. Pérez-Jiménez, G. Paun, G. Rozenberg (eds.). Proc. 4th International Conference Unconventional Computation, Lecture Notes in Computer Science, 3699, Springer, Heidelberg, 2005, 266 pp. ISBN: 3-540-29100-8.
Speaker: Francis G. Cabarle, Ph.D. student,
Membrane Computing Research Group, ACLAB,
University of the Philippines Diliman, Quezon City (Philippines)
Title: On Some Recent Efforts In Spiking Computations
|
The Brainstorming venue is in the Southern Campus of the University of Seville, several kilometres far from the centre of the town. Below, you can find information of two residences of the university, a youth hostel and three hotels, which are about ten minutes walk from the campus, but if you lodge there you will need a bus or a taxi to go to the city centre.