Notice

Weekly Bulletin

AISB Weekly Bulletin Items for June 2011

Event Bulletin

Subscribe to event bulletin.

CALL FOR PAPERS/POSTERS: AI-2011, 13th-15th Dec 2011, Cambridge (UK) (DEADLINE: 10:06:2011)
more details: http://www.bcs-sgai.org/ai2011/

FINAL CALL FOR PAPERS: LOGICS, AGENTS & MOBILITY, 10 September 2011, GERMANY (DEADLINE: 13:06:2011)
more details: http://web.me.com/farwer/LAM11

CALL FOR PAPERS: FORMAL METHODS, 26-30 Sep 2011, BRAZIL (DEADLINE: 05:06:2011)
more details: http://www.each.usp.br/cbsoft2011/

CALL FOR PAPERS: Context Aware Intelligent Assistance, 4 Oct 2011, GERMANY (DEADLINE: 01:07:2011)
more details: http://ursaminor.informatik.uni-augsburg.de/CAIA2011

CALL FOR PAPERS: "Emotion and computing - current research and future impact", October 4/5, 2011, GERMANY (DEADLINE: 27:06:2011)
more details: http://www.emotion-and-computing.de

3rd CALL FOR PAPERS: Solomonoff 85th Memorial Conference, 30 Nov - 2 Dec 2011, AUSTRALIA (DEADLINE: 16:06:2011)
more details: http://www.Solomonoff85thMemorial.monash.edu/

CALL FOR PAPERS: Mathematical Aspects of Computer and Information Sciences, 19-21 Oct 2011, CHINA (DEADLINE: 31:07:2011)
more details: http://macis2011.cc4cm.org/

FINAL CALL FOR PAPERS: 8th Panhellenic Logic Symposium, July 4 - 8 , 2011 , GREECE (DEADLINE: 15:06:2011)
more details: www.cs.uoi.gr/~pls8/

Gottlob Frege Lectures in Theoretical Philosophy 2011, June 29-July 1, ESTONIA
more details: http://daniel.cohnitz.de/index.php?frege

SYMPOSIUM: Algorithms and Data Structures , 15-17 Aug 2011, USA (DEADLINE: 15:06:2011)
more details: http://www.wads.org

CALL FOR PARTICIPATION: Algebra and Coalgebra in Computer Science, 29 Aug - 2 Sep 2011, UK (DEADLINE: 15:07:2011)
more details: http://calco2011.ecs.soton.ac.uk/

CALL FOR PAPERS: Types for Proofs and Programs, 8-11 Sep 2011, NORWAY (DEADLINE: 19:06:2011)
more details: http://www.types.name

CALL FOR CONTRIBUTIONS: Games for Design and Verification, 31 Aug - 3 Sep 2011, FRANCE (DEADLINE: 20:06:2011)
more details: http://www.lsv.ens-cachan.fr/games2011/

CALL FOR PAPERS: Constraints and Language Processing, 27 Sep 2011, GERMANY (DEADLINE: 10:07:2011)
more details: http://control.ruc.dk/CSLP2011/

CALL FOR PARTICIPATION: Computer Aided Verification, 16-20 Jul 2011, USA (DEADLINE: 20:06:2011)
more details: http://www.cs.utah.edu/cav2011

2nd CALL FOR PAPERS: Methods for Modalities, 9-12 Nov 2011, SPAIN (DEADLINE: 15:07:2011)
more details: http://personal.us.es/hvd/m4m/

CALL FOR PARTICIPATION: Automated Deduction, 31 Jul - 5 Aug 2011, POLAND (DEADLINE: 18:06:2011)
more details: http://cade23.ii.uni.wroc.pl

CALL FOR EXTENDED ABSTRACTS: Computational Models for Spatial Languages, 20 July 2011, USA (DEADLINE: 20:07:2011)
more details: http://cosli.org

2nd CALL FOR PAPERS: Machine Learning and Affective Computing, Oct 9th, 2011, USA (DEADLINE: 24:06:2011)
more details: http://mlac.media.mit.edu/

CALL FOR PAPERS: Modeling and Using Context , 26-30 Sep 2011, GERMANY (DEADLINE: 24:06:2011)
more details: http://context-11.teco.edu/

CALL FOR PAPERS: Technologies and Applications of Artificial Intelligence, November 11-13, 2011, TAIWAN (DEADLINE: 12:07:2011)
more details: http://taai2011.cse.yzu.edu.tw/

CALL FOR PROPOSALS: Midwest PhilMath Workshop, 5-6 Nov 2011, USA (DEADLINE: 09:09:2011)
more details: http://www.rub.de/phil-lang/spe4

2nd CALL FOR PAPERS: Australasian Association of Logic, 14-15 Dec 2011, NEW ZEALAND (DEADLINE: 01:08:2011)
more details: http://www.victoria.ac.nz/hppi/about/events-philosophy.aspx#AAL2011

CALL FOR PAPERS: Environment, Economics, Energy, Devices, Systems, Communications, Computers, Aug 23-25, 2011 , ITALY
more details: www.iaasat.org

CALL FOR PAPERS: Granular Computing, November 8-10, 2011, TAIWAN (DEADLINE: 01:07:2011)
more details: http://grc2011.nuk.edu.tw/

CALL FOR PARTICIPATION: Models and Logics for Quantitative Analysis, 5 Sep 2011, GERMANY
more details: http://wiki.ercim.eu/wg/MLQA

CALL FOR PAPERS: Imperial College Computing Student Workshop, 29-30 Sep 2011, UK (DEADLINE: 15:07:2011)
more details: http://iccsw.doc.ic.ac.uk/

FINAL CALL FOR PAPERS: Solomonoff 85th Memorial Conference, 30 Nov- 2 Dec, 2011, AUSTRALIA (DEADLINE: 02:07:2011)
more details: http://www.Solomonoff85thMemorial.monash.edu.au/

Opportunities Bulletin

Subscribe to opportunities bulletin.

Senior Fellowship in Neurophilosophy, GERMANY (DEADLINE: 10:07:2011)
more details: http://www.ruhr-uni-bochum.de/phil-lang/jobs.html

SUMMER SCHOOL: Logic, Language and Information, 1-12 Aug 2011, SLOVENIA (DEADLINE: 15:06:2011)
more details: http://esslli2011.ijs.si/

Two postdoctoral positions in philosophy (2y, philosophy of science and logic), AUSTRIA

PhD Scholarships in Semantics, Analysis, Verification, DENMARK
more details: http://www2.imm.dtu.dk/~nielson/Scholarship-2011-Announcement.pdf

PhD student position in formal methods, Enschede, THE NETHERLANDS (DEADLINE: 01:07:2011)
more details: http://www.utwente.nl/vacatures/en/

W3 Professorship in Logic and Philosophy of Language, Jena, GERMANY (DEADLINE: 30:06:2011)

50% position (3y) as PhD student or postdoc in theoretical philosophy, GERMANY (DEADLINE: 01:07:2011)

PhD student position in theoretical philosophy (formal epistemology), GERMANY (DEADLINE: 31:07:2011)

PhD student position (2y) in computational models over the real numbers, GERMANY (DEADLINE: 06:07:2011)

PhD Studentship UNIVERSITY OF NOTTINGHAM

FALL SCHOOL: FORMAL LANGUAGES AND APPLICATIONS, Oct 31 Nov 4, 2011, SPAIN
more details: http://grammars.grlmc.com/fsfla2011/

Post-doc position in bioinformatics/computational biology, USA

Two postdoctoral positions in algorithm design, ITALY (DEADLINE: 15:07:2011)

Research Fellow in Cognitive Vision, LEEDS UNIVERSITY

PhD Studentship - REINS Project, UK (DEADLINE: 27:06:2011)

Miscellaneous Bulletin

Subscribe to miscellaneous bulletin.


All Bulletin Items by Month

Jan. Feb. Mar. Apr. May Jun. Jul. Aug. Sep. Oct. Nov. Dec.
200611/200612/2006
20071/20072/20073/20074/20075/20076/20077/20078/20079/200710/200711/200712/2007
20081/20082/20083/20084/20085/20086/20087/20088/20089/200810/200811/200812/2008
20091/20092/20093/20094/20095/20096/20097/20098/20099/200910/200911/200912/2009
20101/20102/20103/20104/20105/20106/20107/20108/20109/201010/201011/201012/2010
20111/20112/20113/20114/20115/20116/20117/20118/20119/201110/201111/201112/2011
20121/20122/20123/20124/20125/20126/20127/20128/20129/201210/201211/201212/2012
20131/20132/20133/20134/20135/20136/20137/20138/20139/201310/201311/201312/2013
20141/20142/20143/20144/20145/20146/20147/2014


Advertising within the Weekly Bulletin

Our weekly bulletin is emailed to all our members who have not opted out from it. It typically contains conference calls and job advertisements. This is a free service. If you wish to place an item in the bulletin please email the contents in plain text to bulletinXX at aisb dot org dot uk where XX are the last two digits of the year number.

We would really appreciate it if organisers of conferences and workshops advertised in the weekly bulletin were prepared to put up an AISB poster or place a few AISB flyers on a table somewhere. If you would be willing to do this please indicate as such when you send us your bulletin item.