The theme for ICCBR 2017 is Analogy for Reuse. at the Alfréd Rényi Institute of Mathematics of the Hungarian Academy of Similarly to how main machine learning conferences and workshops are organized, all accepted abstracts will be part of a poster session held during the workshop. The International Conference on Unconventional Computation and Natural Computation (UCNC) is a meeting where scientists from many different backgrounds are united in their interest in novel forms of computation, human-designed computation inspired by nature, and computational aspects of natural processes. Submissions of original contributions are invited in any area of philosophy of mathematics, especially if connected with philosophical issues in the history of mathematics, the structure and development of mathematical theories, and the relationship between philosophical issues and mathematical practice. The workshop intends to examine what is the role of context in various approaches to the explanation and the evaluation of reasoning, but also, more generally and ambitiously, whether and how the use of context in the explanation and the evaluation of reasoning can be made more systematic and effective (even to the aim of solving, or dissolving, the traditional puzzles of the rationality debate). The Department of Logic and Philosophy of Science at UC Irvine invites applications for a tenure-track or tenured appointment at the rank of Assistant to mid-Associate Professor. Submissions can be made in two categories. Certification here means formal, mechanized verification of some sort, preferably with production of independently checkable certificates. Die Kombination aus Gedankenexperiment und Ausstellung lädt zur Auseinandersetzung mit der kritischen Situation der Erde ein. Submitted manuscripts should not have been published previously, nor be under consideration for publication elsewhere (except conference proceedings papers). Applications are invited for the post of Associate Professor (or Professor) of Automated Verification to be held in the Department of Computer Science starting as soon as possible. You will possess or be near the completion of a PhD in Computer Science or a related area, or have relevant industrial experience. The winter school is open to participants from all over the world; all talks will be in English. We welcome contributions on all theoretical, experimental and application aspects of deduction. I'm very happy that my three external committee members will give talks at the ILLC! We invite papers on the above and related issues. Kant took our moral attitudes to be the highest expression of our capacity to guide our actions by reason. You are kindly invited to join the first national meeting for researchers on Open Science. Applications are invited for a 2-year postdoc position in Economics and Computation at the Computer Science Department of Rensselaer Polytechnic Institute (RPI), Troy, NY, in the research group of Prof. Lirong Xia. Applications are invited for a Research Associate post in Cardiff University's School of Computer Science & Informatics. We invite submissions on both (a) theoretical topics from all branches of mathematical logic (e.g., proof-theory, model theory, game theory, computational complexity, etc. The starting date is not deferrable. Papers not presented at the conference are also welcome. However, no specific event is exclusively dedicated to it. to submit their Is the arrow-ontology of CT a new kind of ontology? SU FV-1480-17. This year's Semantics and Philosophy in Europe Colloquium consists of two special sessions: PAAMS intends to bring together researchers and developers from industry and the academic world to report on the latest scientific and technical advances on the application of multi-agent systems, to discuss and debate the major issues, and to showcase the latest systems using agent based technology. The Interactive Intelligence group at Delft University of Technology invites applications for 1 PhD position (4 years) and 1 postdoc position (2 years) in the CoreSAEP project (Computational Reasoning for Socially Adaptive Electronic Partners) let by Dr. M. Birna van Riemsdijk. Invited speakers: Jan Broersen, Fenrong Liu, Paul McNamara, Olivier Roy, Marek Sergot and Jan Woleński. This association aims to become a common forum that will stimulate research in philosophy of mathematics related to mathematical activity, past and present, and foster joint actions. Papers that deal with social, technological and conceptual tools for sharing and construction of group knowledge in mathematics are particularly welcome, but this is not a necessary requirement for acceptance of a paper. Early career researchers are especially encouraged to submit a proposal for a paper presentation. This is a four-year full-time employed position, but PhD positions usually (though not necessarily) include 20% teaching, in which case they are prolonged for one more year. Webtalk Invite Day - Zürich - Switzerland, Career Insights: Monthly Digital Workshop - Winterthur, Prêt d'argent Simple et Rapide avec des Conditions Flexibles, Crédit entre particuliers, CDD, Chômeur, Intérimaire, RSA, Retraite, Interdit Bancaire, Surendettement: des Solutions Existent pour obtenir un Prêt Rapid. If you would like to give a contributed talk, please send us the title and short abstract of your proposed talk, and a short resume. A number of School studentships are available for UK and EU nationals for both 3-year PhD and the 4-year CDT PhD programmes in Computer Science. The motivation is to give interested students an understanding of innovative and emerging fields in computational linguistics, including fields not traditionally taught in standard degree programs. - Laura Kallmeyer, Timm Lichte, Rainer Osswald, Simon Petitjean: Grammar Implementation with Lexicalized Tree Adjoining Grammars and Frame Semantics The workshop welcomes submissions describing both theoretical and applied computational work on coreference resolution, especially for languages other than English, less-researched forms of coreference and new applications of coreference resolution. Lehman College of The City University of New York invites applications at all levels for a computer science faculty position beginning in Fall 2018. For "Life after ILLC" we invited six ILLC alumni from different areas of academia and industry to talk about their experiences after graduating. Science, knowledge and truth from a human vantage point*, which is funded by the European Research Council and led by Prof. Michela Massimi. The goal of the workshop is to highlight interdisciplinary connections that will ameliorate our understanding of the phenomenon of culture and the ways in which this concept can enrich our analyses of cognition. The first PhD position is within the NWO TOP project LearnSDM, and focuses on combining machine learning and model checking to learn and evaluate models for sequential decision making. Parity games are an intriguing problem class, because they are simple to state and have proven to be resistant to countless attempts to classify their complexity. – Blechen Careé Cottbus, 15:00 The following two intensive courses are scheduled to be offered during the summer school: Similar to what the EasyCrypt tool does in classical cryptography. may be sent to steven.coesemans at kuleuven.be for review *until June 15, 2017*. Professor Marcin Mostowski has passed away last Saturday, October 28th, 2017. Authors are invited to submit original papers (un-published and not submitted for publication elsewhere) up to 15 pages in lncs style. for submission: 15 April 2016. The conference brings together researchers interested in the historical developments of computing, as well as those reflecting on the sociological and philosophical issues springing from the rise and ubiquity of computing machines in the contemporary landscape. However, we will also freely explore whatever other methods turn out to be helpful for attacking these and other topics of interest in algorithms and complexity theory. The two councils consist of national members, represented by national research councils or national academies (e.g., the Netherlands are represented by the KNAW) and international scientific unions acting as the global representatives of individual scientific disciplines. Based at the Department of Informatics, we also cooperate closely with colleagues from the Informatics department and actively participate in the design and development of new technologies. Accordingly, authors are invited to submit papers on a broad spectrum of research topics relevant to the conference. Among the various available PhD topics described in the call, the KRDB Research Centre is looking for PhD students interested in Conceptual Data Modelling and Ontology Design, Intelligent Information Access and Query processing, Information Integration, Semantic Technologies, Knowledge Representation, Computational Logic, Artificial Intelligence, foundations of Process-aware Information Systems. Submission deadline: September 2, 2016. Traditionally, the conference moved between the Czech Republic, Slovakia, and Poland, while since a few years ago, the conference travels around Europe (in 2013 it was held in Austria, then in 2014 in Hungary, in 2015, in Italy). lexical items, morpho-syntactic constructions, prosody) and extra-linguistic factors (e.g. Such papers should be tailored to the tableau community and should focus on the role of reasoning, and logical aspects of the solution. particularly encouraged. origins. We are pleased to announce that the 6th European Set Theory Conference Originally developed as a convenient notation for the arrows of monoidal and higher categories, they are increasingly used in the formal study of digital circuits, control theory, concurrency, quantum and classical computation, natural language processes, logic and more. Research in the Algorithmic Economics Group at Microsoft Research NYC spans a wide variety of topics at the intersection of economics and computation. The intended audience is advanced master students, PhD-students, postdocs and experienced researchers wishing to learn the state of the art in a particular subject. Submissions must be original and should not have been published previously. mathematics and the sciences, use of formal logic in areas of The AMS Seminar is organized by a small group of researchers at the University of Amsterdam, who meet regularly to discuss recent work on topics within metaphysics and adjacent areas. The Institute of History and Philosophy of Sciences and Techniques (IHPST) hosts a workshop on Mathematical and Metaphysical Explanation. There are myriad definitions of 'culture', and open questions about how culture is related to social life, evolution, and cognitive processes on the individual level - e.g. CRA-E plans to appoint up to two graduate fellows per year, who will serve as members of the committee, providing a voice for graduate students. With this we abandon the possibility of forming a set of all sets and dodge all kinds of paradoxes. Subsequent to peer review, a selection of the papers presented during the meeting will be included in a volume planned for Springer's 'Philosophical Library Studies' series. This studentship has been established as a result of a bequest from James Elson, who passed away in 2012 after a long battle with cancer. This workshop creates a shared floor for discussing attitude theory and recent empirical results. Submission deadline: 8 May 2017. Extended deadline: 5 February 2017. Location: Nina van Leerzaal, Allard Pierson Museum, Oude Turfmarkt 127, Amsterdam, Location: the Doelenzaal of the University Library, Singel 425, Amsterdam, Title: A Semiotic Theory of Intentionality (WiP), Title: Learning and Maintaining a Lexicon for Situated Interaction. Our aim is to initiated a genuine dialogue between these two approaches, where they have traditionally remained separate and in competition. Kontakt Organisatoren hier. CPP is an international forum on theoretical and practical topics in all areas, including computer science, mathematics, and education, that consider certification as an essential paradigm for their work. You will be participating in the project ‘A composition calculus for vector-based semantic modelling with a localization for Dutch’. On the occasion of the PhD defense by Aybüke Özgün there will also be a Workshop on Topological Approaches in Epistemic Logic on October 3rd 2017. This research will be part of the ERC project FLEXILOG. interpolation) in logic usually have both a model-theoretic and a proof-theoretic dimension. Tentative list of speakers (incomplete): Gunter Fuchs (CUNY), Moti Gitik (Tel Aviv University), Menachem Magidor (Jerusalem), Adrian Mathias (Reunion), Itay Neeman (UCLA), John Steel (Berkeley), W. Hugh Woodin (Harvard) and Martin Zeman (UC Irvine). Großveranstaltungen sind jedoch weiterhin untersagt. By hosting IQSA and QPL together, we want to create a platform to encourage the discussion and collaboration between both the IQSA and QPL communities. RuleML+RR 2017 will be collocated with the 32nd British International Conference on Databases (BICOD 2017). The contemporary debate on mereology is largely hinged on the notion of identity. PforzheimReutlingen, Maimarkt Mannheim
. The official language of the conference is English. It moreover seeks answers to ways such formalisations and ontological analysis can be exploited in Artificial Intelligence and information systems in general. The deadline for applications is 31 March 2017. This research project is led by Johan Hastad, Per Austrin, and Jakob Nordstrom, and is financed by grants from the Knut and Alice Wallenberg Foundation, the European Research Council, and the Swedish Research Council. Are complex collective actions reducible to a set of minimal collective actions? The conference is partly occasioned by the fact that the Group in Logic turns sixty next year. http://hapoc.org/node/176. On the practical side, one problem of interest is to gain a better understanding of, and improve, the performance of current state-of-the-art SAT solvers --- in particular, solvers using conflict-driven clause learning (CDCL) --- but we are even more interested in exploring new techniques that hold out the theoretical possibility of exponential improvements over CDCL, but which have so far turned out to be hard to implement efficiently in practice. The concept of speed, though, is full of enlightening character. He played a central role in the development of theoretical computer science in Europe. All the usual conference facilities will be provided, and the distinctive location will provide plenty of opportunities to discuss and share ideas. The Applied Computing 2017 conference aims to address the main issues of concern within the applied computing area and related fields. UCNC provides a forum for such scientists to meet and discuss their work. It will feature invited talks by leading researchers in both fields, and high level contributed papers selected through open competition and rigorous review. CIPSH is the global representation of the humanities within UNESCO, founded in 1949 at the request of UNESCO to bring together national and international non-governmental organisations in the human sciences. Since some teaching is done in German, knowledge of German is required for positions that involve teaching. Keynote speakers: Leon van der Torre (University of Luxembourg) and Leila Amgoud (IRIT - CNRS, France). The field of computational linguistics has made much progress in developing models of syntactic and semantic parsing. It is the forum at which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences. The 2nd Logic Mentoring Workshop (LMW) will focus on the technical and practical aspects of a career in logic research, including talks and panel sessions from leaders in the subject. They will also be expected to participate in and contribute to the development of the teaching programme of their discipline. Take some common terms to describe tempo in music: largo (broadly), adagio (slow and stately), allegro (fast, quickly and bright), vivacissimo (very fast and lively). The final selection of the program will be made with an eye towards diversity. - Fundamental Computer Science Aufgrund der ständigen Veränderungen bzw. Track B: Logic, Semantics, Automata and Theory of Programming Requirements for the applicant are a clear commitment to science and interest in (some of) the topics of the project: universal algebra, model theory (homogeneous structures), Ramsey theory, constraint satisfaction. The Fall School offers the following four courses, each of which consists of ten 90-minutes lectures: - To provide a platform for presenting and discussing new ideas and results. Submission deadline: Sunday November 6th, 2016. Gradually expanding, distributed systems heighten the need of a dynamic interactive knowledge sharing process, while at the same time an increasing heterogeneity of resources renders this process more complex. This account of the hierarchy of sets also sheds new light on the abandonment of naive set theory. The school is co-located with Logic Colloquium 2017 (14-20 August) and Computer Science Logic 2017 (21-24 August). Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. This special issue of Studia Logica aims at filling this gap by focusing on the essential aspects of obligations generated from permissions. (2) poster presentation within a poster session, About 400 journalists, press officers and researchers will meet at the Rode Hoed in Amsterdam to network and exchange knowledge about recent developments in science and science communication. The literature in this field is extensive and provides a plethora of logics for modelling strategic ability. Practical issues center around the question of which modal connectives with associated laws or proof rules capture computational phenomena accurately and at the right level of abstraction. The aim of the IWCS conference is to bring together researchers interested in the computation, annotation, extraction, and representation of meaning in natural language, whether from a lexical or structural semantic perspective. from late scholasticism to humanism, from Spanish scholasticism to Cartesianism, the influence of Jansenism and Port-Royal. There will be a few slots available for contributed talks. His research is very broad in scope and it is a prime example of interdisciplinary research. - Legal frameworks for neuroscientific evidence We particularly welcome candidates who wish to work in areas represented within the Department, including logic and topos theory. Start date: July 1, 2018. The conference also serves as a venue for researchers to showcase their work on the theoretical foundations of computational models of law. That day is fully dedicated to the Foundations of Mathematics. CSL2017 is the 26th EACSL annual conference. But can we overcome the logical paradoxes? The school will consist of 10 five-hour courses, running in two parallel streams. The submissions are expected to discuss theories, evaluation, limitations, system development and techniques relevant to the workshop topics. We invite proposals for contributed talks (45 minutes including discussion) and posters (A1 size in portrait orientation). Submissions of papers are now called. The 6th International Conference on Computational Intelligence in Music, Sound, Art and Design (EvoMusArt) will be held in Amsterdam in 19-21 April 2017, as part of the evo* event. Events mit begrenzter Personenzahl sind inzwischen wieder möglich. - Artificial Intelligence The NIAS-Lorentz Program *calls for coordinators for the NIAS-Lorentz Theme Group* (NLTG) 2018/2019: http://www.nias-lorentz.nl/program.html. Module 2 is a grant for junior researchers at the beginning of their scientific career. Authors are invited to submit 1-2 pages abstracts in PDF format, including references. High-quality submissions on the general topic of automated deduction, including foundations, applications, implementations, theoretical results, practical experiences and user studies are solicited. Principal Investigator (PI) is Michael Moortgat.
Management: be10 Artist Management Info@be10.ch www.be10.ch Willkommen auf dem offiziellen Vevo Kanal von Beatrice Egli! The Brazilian Logic Meeting (EBL) is a traditional event of the Brazilian Logic Society (SBL). - Frameworks for moral, ethical, and legal reasoning For instance, debtors are obligated to comply when their creditors exercise their right to request payment. The successful applicant may be appointed to a permanent professorship or a fixed-term associate/assistant professorship (tenure track system consisting of two stages, each 3 - 5 years), depending on his or her qualifications and career stage. philosophy, logic, argumentation theory, and literature. Wenn sie dann auch noch singt, ist es um das Publikum geschehen. Course 2 (August 21 to August 25): Dynamic Epistemic Logic, main lecturers: Alexandru Baltag and Sonja Smets (ILLC, University of Amsterdam). To emphasise its attention to those at early stages of their careers, the network is glad to inaugurate, in addition to its biennial main conferences, its first graduate conference. Peter will discuss both Van Inwagen's article on Modal Epistemology and his own reply (Hawke) on Van Inwagen's Modal Skepticism. The TOP Grants programme aims to strengthen or renew challenging and innovative lines of research. Submissions must be original and should not have been published previously. SR 2017 will be co-located with TARK 2017, which will be held in Liverpool on July 24-26, 2017. They have been occurring since 1979. avatars or modelling devices as in certain types of logics). Forschung und Wissenschaft ermöglichten den immer präziseren Eingriff in die menschlichen Organe und ihre Abläufe. (3) presence and discussion only: general audience who participates without presenting a paper / poster. Keynote speakers: Maria Lasonen-Aarnio (University of Michigan), Johan van Benthem (Amsterdam, Stanford). this funding scheme is not intended to support the preparation of ERC Starting/Consolidate/Advanced grant proposals. The project is officially hosted at the Department of Philosophy at Stockholm University, Sweden. The projects take place within different scientific areas. different areas of Linguistics. A dinner will follow at a nearby restaurant. Do we have to distinguish different reasoning strategies to interpret conditional sentences and how does this relate to the distinction between causal inference and diagnostic inference? There are also several other professors, postdocs, and PhD students in the TCS Group working on other aspects of algorithms and computational complexity. 500 words) to the organizers by November 15th, 2017. INT10 will be celebrated as a workshop of the Thirteenth AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE). The ideal candidate will demonstrate a clear passion for teaching. The first two days of the conference will be directed especially towards PhD students. A BA in philosophy or other field relevant to the project is required. Iris van de Pol is a PhD candidate at ILLC. community in MILA as well as fellow students. We invite submissions on the logic and philosophy of time, linked to themes drawn from the work of Arthur Prior. linguistics, psychology, and neuroscience, and 3) linguistics, ), SAT, SMT, and others. This position provides the opportunity for conducting world-class research as a member of an interdisciplinary team. issues. The panel discussion is followed by informal networking drinks with fellow students and alumni. The last preceding Symposia were held in Gdansk, Liverpool, Oslo, Wroclaw, Budapest, Lübeck. CREOL aims at gathering together researchers from different communities (Applied Ontology, NLP, AI, Semantic Web) to investigate the relationship between representations of objects and events in ontological and linguistic resources, and their interpretation in their context of occurrence. 3Tel. Swansea University is intensifying its investments in Computer Science. Invited Speakers:Markus Krötzsch (TU Dresden), Andreas Pieris (Edinburgh), and Uli Sattler (Manchester). In the talk I shall present examples of this situation, and I shall discuss special properties of atomic toposes that arise from sites of this nature. If you would like to contribute a talk (30-45 minutes), then please send a one-page abstract to Luca Tranchini at cptp-cfp at informatik.uni-tuebingen.de. More details are available at the following pages: http://www4.uninsubria.it/on-line/home/naviga-per-tema/didattica/post-lauream/dottorati-di-ricerca/articolo14089.html, http://www4.uninsubria.it/on-line/home/naviga-per-tema/servizi/servizi-per-la-ricerca/opportunita-di-ricerca-presso-luniversita-degli-studi-dellinsubria/assegni-di-ricerca-senior.html. Track 1: Foundation of Algorithms in Mathematics, Engineering & Scientific Computation Rough diamond submissions are limited to 6 pages and may consist of an extended abstract. Negation and negativity are key features of human languages. While negation is a phenomenon of semantic opposition, negativity adresses a broader spectrum of phenomena. On the one hand it will look at the overlap between ontologies and computational linguistics; and on the other the relationship between knowledge modelling and terminologies -- as well as the many points of intersection between these two topics. We welcome presentation proposals from all relevant research fields on the following topics (broadly understood): argumentation and context, context and fallacies, context and the norms of reasoning, rationality and context, reasoning and cognitive development, reasoning and its evolutionary environment, reasoning and pragmatics, and reasoning and relativism. We invite submissions of original, unpublished work in any area and at the intersection of Linguistics, Historical Linguistics, Bioinformatics, Biology and Mathematics. In software industry, engineers do formal logic day in and day out, even though they may not realize that. Specifically, the project involves the design and semantics of a functional programming language for quantum computing, loosely modelled on the Quipper language. Lockerungen ist es uns derzeit nicht möglich, die Datenbank aktuell zu halten. The conference will include a special session "Logic, concepts and communication", a panel discussion "Proposal of a BD/MD/PhD in philosophy on: Philosophy & Computer Science. All papers are invited in the following (non-exclusive) topics: Second-order quantifier elimination (SOQE) means to compute from a given logic formula with quantifiers upon second-order objects such as predicates, an equivalent formula in which these quantified second-order objects do no longer occur. MOL invites the submission of papers on original, substantial, completed, and unpublished research. On January 8th, 2018, during UvA's Dies Natalis celebration, the University of Amsterdam has awarded an honorary doctorate to Prof. Barbara Partee for her groundbreaking contributions to formal semantics and to the development of the research community in this interdisciplinary field that brings linguistics, philosophers and logicians together. The University of Manchester boasts one of the most innovative and successful schools of computer science in the world. Regular Papers classified as Full Papers will be assigned a 12-page limit in the Conference Proceedings, while Regular Papers classified as Short Papers have an 8-page limit. This conference aims to cover both technological as well as non-technological issues related to these developments. +49 7222 968790www.volksschauspiele.deinfo@volksschauspiele.de, Veranstalter
Applicants are expected to have a First Class or Distinction Masters level degree, or equivalent, in a relevant scientific or technical discipline, such as computer science or mathematics, and are expected to be within the top 10% of their class.