The COIN (Coordination, Organizations, Institutions and Norms) workshop series began in 2005 with a single satellite workshop at AAMAS in Utrecht [1]. Since then two meetings have been organized each year, with one typically attached to AAMAS and the other to another major conference in a different continent from AAMAS [2], [3], [4]. This year, exceptionally, a third event is being held in supp...

Commercial Users of Functional Programming (CUFP) is a yearly workshop that is aimed at the community of software developers who use functional programming in real-world settings. This scribe report covers the talks that were delivered at the 2012 workshop, which was held in association with ICFP in Copenhagen. The goal of the report is to give the reader a sense of what went on, rather than to...

Our proposal is to apply a Game Theoretic approach to the games played in Agent Reputation and Trust Final Competitions. Using such testbed, three international competitions were successfully carried out jointly with the last AAMAS international Conferences. The corresponding way to define the winner of such competitions was to run a game with all the participants (16). Our point is that such g...

The past several years have seen much progress in the area of propositional reasoning and satisfiability testing. There is a growing consensus by researchers on the key technical challenges that need to be addressed in order to maintain this momentum. This paper outlines concrete technical challenges in the core areas of systematic search, stochastic search, problem encodings, and criteria for ...

Computational social choice is an exciting interdisciplinary field at the intersection of computer science and social choice theory. In this article, I discuss some current and new directions in the field. This is an accompanying paper of my IJCAI 2016 Early Career Spotlight invited talk.

We present a new approach to text line aggregation that can work as both a line formation stage for a myriad of text segmentation methods (over all orientations) and as an extra level of filtering to remove false text candidates. The proposed method is centred on the processing of candidate text components based on local and global measures. We use orientation histograms to build an understandi...

Two new spectrophotometric methods (M1 and M2) are developed for the determination of vardenafil in bulk and in tablet dosage forms. The method M1 involves oxidative coupling of vardenafil with 3-methyl-2-benzothiazolinone hydrazone hydrochloride in presence of ferric chloride in acidic medium yielding green colored chromogen with absorption maxima at 625 nm. The method M2 is based on the oxida...

AIn this study a simple and reliable stability-indicating RP-HPLC method was developed and validated for analysis of Dexpanthenol in an artificial tear formulation. The chromatographic separation was performed on a HPLC C18 column (25.0 cm  4.6 mm, 5 m) using a mixture of 0.037 M monobasic potassium phosphate in water (adjusted with 0.1% (v/v) phosphoric acid to a pH of 3.2) and methanol (90:...

AIn this study a simple and reliable stability-indicating RP-HPLC method was developed and validated for analysis of Dexpanthenol in an artificial tear formulation. The chromatographic separation was performed on a HPLC C18 column (25.0 cm  4.6 mm, 5 m) using a mixture of 0.037 M monobasic potassium phosphate in water (adjusted with 0.1% (v/v) phosphoric acid to a pH of 3.2) and methanol (90:...