- SIPTA News - lists.sipta.org

[SIPTA] 6th SIPTA School on Imprecise Probabilities (21-25 Jul 2014, Montpellier, France): 1st announcement
by ENRIQUE MIRANDA MENENDEZ Nov. 7, 2013

Nov. 7, 2013

1 0

[SIPTA] FW: CIFEr 2014
by Kreinovich Nov. 6, 2013

Nov. 6, 2013

1 0

[SIPTA] FW: support needed for p-boxes
by Kreinovich Nov. 6, 2013

Nov. 6, 2013

1 0

[SIPTA] TPNC 2013: call for participation
by GRLMC - URV Nov. 6, 2013

Nov. 6, 2013

*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ----------------------------------------------------------------------------------------------------------- 2nd INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL COMPUTING TPNC 2013 Cáceres, Spain December 3-5, 2013 http://grammars.grlmc.com/tpnc2013/ ---------------------------------------------------------------------------------------------------------- PROGRAMME Tuesday, December 3 09:00 - 09:50 Registration 09:50 - 10:00 Opening 10:00 - 10:50 Eugen Czeizler, Pekka Orponen: Yield optimization strategies for (DNA) staged Tile Assembly Systems Vinay Kumar Gautam, Pauline C. Haddow, Martin Kuiper: Reliable Self-assembly by Self-triggered Activation of Enveloped DNA Tiles 10:50 - 11:20 Coffee Break 11:20 - 13:00 Mirosław Kordos, Andrzej Rusiecki: Improving MLP Neural Network Performance by Noise Reduction Omar K. Shoukry, Magda B. Fayek: Evolutionary Scheduling for Mobile Content Pre-fetching Marius Nagy, Naya Nagy: General Quantum Encryption Scheme based on Quantum Memory Marius Nagy, Naya Nagy: Quantum Secret Communication without an Encryption Key 13:00 - 14:45 Lunch 14:45 - 15:35 Oliver Rice, Robert Smith, Rickard Nyman: GPU Multi-Objective Genetic Algorithm: Asynchronously Parallel Distributed NSGA-II Anne Jeannin-Girardon, Pascal Ballet, Vincent Rodin: An Efficient Biomechanical Cell Model to Simulate Large Multi-cellular Tissue Morphogenesis: Application to Cell Sorting Simulation on GPU 15:35 - 15:50 Break 15:50 - 16:40 Risto Miikkulainen: Evolving Neural Networks: Approaches – Invited Tutorial I Wednesday, December 4 09:00 - 10:40 Rim Hentech, Ilyes Jenhani, Zied Elouedi: Learning from Uncertain Data Using Possibilistic Artificial Immune Recognition Systems Massimiliano D’Angelo, Berend Weel, Agoston E. Eiben: Online Gait Learning for Modular Robots with Arbitrary Shapes and Sizes José M. Lanza-Gutiérrez, Juan A. Gómez-Pulido, Miguel Ángel Vega-Rodríguez: A Trajectory Algorithm to Solve the Relay Node Placement Problem in Wireless Sensor Networks Rafael Nogueras, Carlos Cotta, Carlos M. Fernandes, Juan Luis Jiménez Laredo, Juan Julián Merelo, Agostinho C. Rosa: An Analysis of a Selecto-Lamarckian Model of Multimemetic Algorithms with Dynamic Self-Organized Topology 10:40 - 11:10 Coffee Break 11:10 - 12:00 Poster session I Orlando Duran: A Hybrid Solution to the Multi-Echelon Inventory Problem of Repairable Spare Parts Using Discrete Swarm Intelligence and a Local Search Procedure Jesús Torrecilla-Pinero, Fernando Torrecilla-Pinero, Juan A. Gómez-Pulido, Carlos Urueña-Fernández: A Novel Way to Optimize Cantilever Walls by Means of Natural Computing and Multiobjective Optimization Hector Zenil: Complexity and Algorithmic Probability of Animal Behaviour from Cognition to Communication Ron Cottam, Willy Ranson, Roger Vounckx: A Framework for Computing like Nature Cristina Martínez-Ramírez, Alberto Besana: Models for the Distribution of Letters in Random Generated Words Raúl Domínguez, Tim Köhler, Christian Rauch, Elmar Berghöfer, Frank Kirchner: Autonomous Robot Long Distance Traversing by a Robust Nature-Inspired Behaviour Control Model Using Sensor Feedback Expectations 12:00 - 12:15 Break 12:15 - 13:05 Risto Miikkulainen: Evolving Neural Networks: Applications – Invited Tutorial II 13:05 - 14:50 Lunch 14:50 - 15:50 Poster session II Kazunari Ozasa, Jeesoo Lee, Simon Song, Masahiko Hara, Mizuo Maeda: Introduction of Artificial Pheromone Effects on Euglena Cells Toward Ant Colony Optimization Experiments Kristīne Cīpola, Rūsiņš Freivalds: Examples of Advantages for Ultrametric Automata Mikhail Peretyat’kin: Combinatorial Computation in First-Order Predicate Logic as a Formal Prototype of Natural Computing Alidra Abdelghani, Mohamed Tahar Kimour: Biology Inspired Decision Making for Self-Healing Realtime Systems Kristīne Cīpola, Kārlis Ceziņš, Rūsiņš Freivalds, Viesturs Vēzis: Producing Learning Tools to Teach Quantum and Ultrametric Automata Antonio J. Tallón-Ballesteros, José C. Riquelme, César Hervás-Martínez, Roberto Ruiz: Enhancing the Performance of a Feature Selection Method Based Jointly on Feature Ranking and Feature Subset Selection in the Context of a Neural Network Classifier Ángela Villota, Jesús Aranda: Towards a General Approach to Model Biological Systems from Membrane Systems into a Concurrent Constraint Calculus 15:55 Visit to the City Thursday, December 5 09:00 – 09:50 Xin Yao: Evolutionary Algorithm Portfolios for Numerical Optimisation - Invited Talk 09:50 - 10:05 Break 10:05 - 11:20 Yara Khaluf, Mauro Birattari, Franz Rammig: Probabilistic Analysis of Long-term Swarm Performance under Spatial Interferences Víctor Berrocal-Plaza, Miguel Ángel Vega-Rodríguez, Juan M. Sánchez-Pérez: A New Version of the Multiobjective Artificial Bee Colony Algorithm for Optimizing the Location Areas Planning in a Realistic Network Takuya Nishida, Takaaki Mizuki, Hideaki Sone: Securely Computing the Three-Input Majority Function with Eight Cards 11:20 - 11:50 Coffee Break 11:50 - 13:05 Yahya O. Mohamed Elhadj, Mansour Alghamdi, Mohamed Alkanhal: Approach for Recognizing Allophonic Sounds of the Classical Arabic Based on Quran Recitations Antonio Martí Campoy, Francisco Rodríguez-Ballester, Rafael Ors Carot: Using Dynamic, Full Cache Locking and Genetic Algorithms for Cache Size Minimization in Multitasking, Preemptive, Real-time Systems Lingling Jin, Ian McQuillan: Computational Modelling of the Interruptional Activities between Transposable Elements 13:05 Closing

1 0

Re: [SIPTA] IPMU 2014, Montpellier, France, July 15-19, 2014
by Kreinovich Oct. 30, 2013

Oct. 30, 2013

1 0

[SIPTA] FW: Call for Papers: IEEE Symposium on Computational Intelligence for Engineering Solutions
by Kreinovich Oct. 27, 2013

Oct. 27, 2013

1 0

[SIPTA] FW: Call for Papers: REC 2014, Reliability and Computations of Infrastructures
by Kreinovich Oct. 21, 2013

Oct. 21, 2013

1 0

[SIPTA] LATA 2014: extended submission deadline 21 October
by GRLMC Oct. 13, 2013

Oct. 13, 2013

*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ---------------------------------------------------------------------------- ***** SUBMISSION DEADLINE EXTENDED: October 21 ***** ---------------------------------------------------------------------------- ************************************************************************* 8th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS LATA 2014 Madrid, Spain March 10-14, 2014 Organized by: Research Group on Implementation of Language-Driven Software and Applications (ILSA) Complutense University of Madrid Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/lata2014/ ********************************************************************* AIMS: LATA is a yearly conference on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field developed at Rovira i Virgili University in Tarragona since 2002, LATA 2014 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from both classical theory fields and application areas (bioinformatics, language technology, artificial intelligence, etc.). VENUE: LATA 2014 will take place in Madrid, the capital of Spain. The venue will be the School of Informatics of Complutense University. SCOPE: Topics of either theoretical or applied interest include, but are not limited to: algebraic language theory algorithms for semi-structured data mining algorithms on automata and words automata and logic automata for system analysis and programme verification automata, concurrency and Petri nets automatic structures cellular automata codes combinatorics on words compilers computability computational complexity data and image compression decidability issues on words and languages descriptional complexity DNA and other models of bio-inspired computing digital libraries and document engineering foundations of finite state technology foundations of XML fuzzy and rough languages grammars (Chomsky hierarchy, contextual, unification, categorial, etc.) grammatical inference and algorithmic learning graphs and graph transformation language varieties and semigroups language-based cryptography language-theoretic foundations of artificial intelligence and artificial life natural language and speech automatic processing parallel and regulated rewriting parsing patterns power series quantum, chemical and optical computing semantics string and combinatorial issues in computational biology and bioinformatics string processing algorithms symbolic dynamics symbolic neural networks term rewriting transducers trees, tree languages and tree automata weighted automata STRUCTURE: LATA 2014 will consist of: invited talks invited tutorials peer-reviewed contributions INVITED SPEAKERS: Javier Esparza (Munich Tech, DE), On Trees and Fixed Point Equations (tutorial) Leslie A. Goldberg (Oxford, UK), The Complexity of Approximate Counting Oscar H. Ibarra (Santa Barbara, US), Some Computability and Complexity Problems Concerning FAs, PDAs, and Counter Machines Sanjeev Khanna (Philadelphia, US), tba Helmut Seidl (Munich Tech, DE), Interprocedural Information Flow Analysis of XML Processors PROGRAMME COMMITTEE: Dana Angluin (Yale, US) Eugene Asarin (Paris Diderot, FR) Jos Baeten (Amsterdam, NL) Christel Baier (Dresden, DE) Jan Bergstra (Amsterdam, NL) Jin-Yi Cai (Madison, US) Marek Chrobak (Riverside, US) Andrea Corradini (Pisa, IT) Mariangiola Dezani (Turin, IT) Ding-Zhu Du (Dallas, US) Michael R. Fellows (Darwin, AU) Jörg Flum (Freiburg, DE) Nissim Francez (Technion, IL) Jürgen Giesl (Aachen, DE) Annegret Habel (Oldenburg, DE) Kazuo Iwama (Kyoto, JP) Sampath Kannan (Philadelphia, US) Ming-Yang Kao (Northwestern, US) Deepak Kapur (Albuquerque, US) Joost-Pieter Katoen (Aachen, DE) S. Rao Kosaraju (Johns Hopkins, US) Evangelos Kranakis (Carleton, CA) Gad M. Landau (Haifa, IL) Andrzej Lingas (Lund, SE) Jack Lutz (Iowa State, US) Ian Mackie (École Polytechnique, FR) Carlos Martín-Vide (Tarragona, ES, chair) Giancarlo Mauri (Milan, IT) Faron G. Moller (Swansea, UK) Paliath Narendran (Albany, US) Enno Ohlebusch (Ulm, DE) Helmut Prodinger (Stellenbosch, ZA) Jean-François Raskin (Brussels, BE) Wolfgang Reisig (Humboldt Berlin, DE) Marco Roveri (Bruno Kessler, Trento, IT) Michaël Rusinowitch (LORIA, Nancy, FR) Yasubumi Sakakibara (Keio, JP) Davide Sangiorgi (Bologna, IT) Colin Stirling (Edinburgh, UK) Jianwen Su (Santa Barbara, US) Jean-Pierre Talpin (IRISA, Rennes, FR) Andrzej Tarlecki (Warsaw, PL) Rick Thomas (Leicester, UK) Sophie Tison (Lille, FR) Rob van Glabbeek (NICTA, Sydney, AU) Helmut Veith (Vienna Tech, AT) ORGANIZING COMMITTEE: Adrian Horia Dediu (Tarragona) Ana Fernández-Pampillón (Madrid) Carlos Martín-Vide (Tarragona, co-chair) Antonio Sarasa (Madrid) José-Luis Sierra (Madrid, co-chair) Bianca Truthe (Magdeburg) Florentina Lilica Voicu (Tarragona) SUBMISSIONS: Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices) and should be formatted according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0) Submissions have to be uploaded to: https://www.easychair.org/conferences/?conf=lata2014 PUBLICATIONS: A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference. A special issue of a major journal will be later published containing peer-reviewed extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation. REGISTRATION: The period for registration is open from July 15, 2013 to March 10, 2014. The registration form can be found at: http://grammars.grlmc.com/lata2014/Registration.php DEADLINES: Paper submission: October 21, 2013 (23:59 CET) EXTENDED Notification of paper acceptance or rejection: November 25, 2013 Final version of the paper for the LNCS proceedings: December 2, 2013 Early registration: December 9, 2013 Late registration: February 24, 2014 Starting of the conference: March 10, 2014 End of the conference: March 14, 2014 Submission to the post-conference journal special issue: June 14, 2014 QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu(a)urv.cat POSTAL ADDRESS: LATA 2014 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34 977 559 543 Fax: +34 977 558 386 ACKNOWLEDGEMENTS: Departament dEconomia i Coneixement, Generalitat de Catalunya Universidad Complutense de Madrid Universitat Rovira i Virgili

1 0

[SIPTA] BayesiaLab Analytics Innovation Event in Orlando
by Stefan Conrady Oct. 11, 2013

Oct. 11, 2013

1 0

[SIPTA] Job opportunities at the MCMP Munich
by Niki Pfeifer Oct. 10, 2013

Oct. 10, 2013

Dr.Dr. Niki Pfeifer (Munich Center for Mathematical Philosophy, LMU Munich) offers under the usual equal opportunity conditions one doctoral researcher position OR one early postdoctoral researcher position (i.e., if the PhD is obtained after January 1, 2013) to work in the intersection of philosophy and psychology (65%, TV-L 13, 1 year, extension possibilities will depend on performance and funding situation). Moreover, one student assistant position is vacant. The (post)doctoral researcher will focus on empirical work (developing the research hypotheses, designing the experiments and running the data analysis) in the field of reasoning under uncertainty, focusing on conditionals. One student assistant will support the (post)doctoral researcher with the construction of the experimental material, collection of the data and preparation of the data for analysis. Working language is English or German. Deadline for applications: open, until filled (filled positions will be announced on the project website). For an application send an email including the following items to niki.pfeifer(a)lrz.uni-muenchen.de 1) a letter of motivation 2) curriculum vitae 3) a scan of the most recent academic degrees 4) evidence of English and mathematical skills (e.g., school/university grades) 5) two confidential letters of reference addressing the applicant's qualifications are required for each position. These must be sent by the referees directly to me. The ideal candidate will be an empirically oriented analytical philosopher or an experimental psychologist interested in epistemological problems. For selection criteria and further details see the project website: www.pfeifer-research.de/spp.html I regret that I will not be able to send out negative notifications. -- Dr.Dr. Niki Pfeifer www.pfeifer-research.de Munich Center for Mathematical Philosophy Ludwig-Maximilians-University Munich (Germany)

1 0